可信软件实时性测试用例构造方法研究

摘要	第1-6页
ABSTRACT	第6-9页
第一章 绪论	第9-16页
·研究背景和意义	第9-10页
·研究现状和存在问题	第10-14页
·研究现状	第10-13页
·存在问题	第13-14页
·论文结构	第14-16页
第二章 可信软件测试用例生成技术及RSL 语言	第16-25页
·可信软件基础理论	第16-17页
·可信软件测试技术	第17-19页
·基本特征	第17-18页
·实时性测试用例生成技术	第18-19页
·RSL 语言	第19-25页
·RSL 语言概述	第20-21页
·RSL 基本语法结构	第21-23页
·TRSL 语言	第23-25页
第三章 基于TRSL 的实时性测试用例生成方法	第25-37页
·构造RTTC 的前提假设和步骤	第25-27页
·去除抽象时间因素	第27-28页
·划分子域并实例化子域约束	第28-32页
·构造具有时间约束的观测项和构造项	第32-34页
·构建RTTC	第34-37页
第四章 实例分析	第37-42页
·报警系统形式化规约的描述	第37-38页
·报警系统的实时性测试用例生成	第38-42页
第五章 总结与展望	第42-44页
参考文献	第44-48页
攻读硕士学位期间发表的论文	第48-49页
致谢	第49页