一种运行时验证监控器的构造方法 |
| |
引用本文: | 张可迪,董威.一种运行时验证监控器的构造方法[J].计算机光盘软件与应用,2012(20):75-76. |
| |
作者姓名: | 张可迪 董威 |
| |
作者单位: | 国防科学技术大学计算机学院,长沙 410073 |
| |
摘 要: | 本文结合作者课题内容,介绍了一种运行时验证技术中的监控器构造方法。该方法完整涵盖了从性质规约到监控器模型再到监控程序的全过程,过程中使用了相关开源的第三方软件使得该方法的自动化程度较高。同时由于该监控器的构造是基于三值语义,使得该监控器在一定意义上具有预测性。
|
关 键 词: | 运行时验证 监控器模型 监控程序 三值语义 |
本文献已被 CNKI 万方数据 等数据库收录! |
|