基于自动机的时间系统形式验证技术 

时间系统的形式验证因时间域的引入而使研究工作更具挑战性,越来越受到学术界和工业界的关注。由于模型检查技术受状态空间等方面的限制,本文以定理证明器PVS(Prototype Verification System)为第三方工具,以时间自动机TA(Timed Automata)理论为基础,设计开发了一个能够...
上海大学  博士论文  2007年 下载次数(594)| 被引次数(8)

基于多形态时钟输入输出迁移系统的安全软件测试研究 

缺乏系统的科学的测试体系是一直以来影响安全软件测试可信度的根本问题。在现有的工程实践中,测试是实验性行为的认知和实施方案普遍存在,威胁着系统的安全性并且这一问题随着安全软件需求量的激增,职责范围的外延,规模的扩大和复杂度的提高变得越来越严重。因此,构造高效可信的安全测试方法和工具已经成为安全软件行业不可回避的挑战。本文...
华东师范大学  博士论文  2017年 下载次数(129)| 被引次数()