电子学报2005，Vol.33Issue(5)：827-834,8.
一种面向性质的实时系统测试方法
An Approach to Property-Oriented Testing of Real-Time Systems
摘要
关键词
软件测试/实时系统/UML Statecharts/时序逻辑/测试序列分类
信息技术与安全科学引用本文复制引用
李书浩,王戟,齐治昌,董威..一种面向性质的实时系统测试方法[J].电子学报,2005,33(5):827-834,8.基金项目
国家自然科学基金(No.60233020,No.90104007,No.60303013) （No.60233020,No.90104007,No.60303013）
国家863项目(No.2001AA113202,No.2001AA113190) （No.2001AA113202,No.2001AA113190）
武汉大学软件工程国家重点实验室开放基金(No.SKLSE03-08) （No.SKLSE03-08）
国防科技大学计算机学院基金"基于构件的软件开发与测试" （）
