| 基于即时验证的软件验证工具改进设计与实现 |
| |
| 引用本文： | 郭丽娟,胡军,张剑. 基于即时验证的软件验证工具改进设计与实现[J]. 计算机科学与探索, 2011, 38(10) |
| |
| 作者姓名： | 郭丽娟 胡军 张剑 |
| |
| 作者单位： | 1. 南京航空航天大学信息科学与技术学院 南京 210016
2. 南京航空航天大学信息科学与技术学院 南京 210016;南京大学计算机软件新技术国家重点实验室 南京 210093 |
| |
| 摘 要： | 基于设计模型的分析技术是现代复杂嵌入式软件系统高可靠性的重要保障手段.基于即时验证(On-the-flyverification)方法对一个构件化嵌入式软件设计模型原型验证工具T-CBESD进行了改进设计与实现.集成Topcased和JFLAP扩展了T-CBESD图形化建模接口；设计并实现了相关输入处理与转换；重新设计并实现了状态空间数据结构,包括功能、非功能行为(实时、资源、能耗等)验证问题在内的多个基于路径的一致性即时验证算法.给出了改进工具在火灾预警系统中的应用实例与分析.
|
| 关 键 词： | 嵌入式软件设计 UML交互概观图模型 接口自动机 即时验证算法 形式化验证工具 |
Improved Design and Implementation of T-CBESD Based on On-the-Fly Verification Methods |
| |
| GUO Li-juan,HU Jun,ZHANG Jian. Improved Design and Implementation of T-CBESD Based on On-the-Fly Verification Methods[J]. Journal of Frontier of Computer Science and Technology, 2011, 38(10) |
| |
| Authors: | GUO Li-juan HU Jun ZHANG Jian |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
