基于模型检测的任务系统可测试性设计与实现.pdfVIP

3 ．设计基于模型检测的自动化测试系统，实现自动化生成测试用例以及对 系统状态转移进行模型检测，以及给出系统的可信性量化评估 4 ．实现基于表单流转任务系统测试框架的原型系统，实现了基于模型检测 的自动化测试系统的原型系统 Ⅳ、主要参考资料： 郑志明,马世龙,李未,等.软件可信复杂性及动力学统计分析方法[J]. 中国科 学F 辑：信息科学,2009,39(10):1050-1054. 刘克,单志广,王戟,等. “可信软件基础研究”重大研究计划综述[J]. 中国科学 基金，2008,22(3):145-151.