摘要
面向属性的测试关注所要测试的部分,比非面向属性需要少得多的测试序列,可以降低测试的复杂度,用层次Petri网对系统进行建模可增强模型的可读性.提取Minix3系统调用的属性,利用层次Petri网对系统调用在功能层次进行了建模,可降低在代码层次中产生的复杂度,提高测试效率.
Testing of oriented property focuses on the part to be tested.It requires much less test sequences than non property oriented testing does and the test complexity is reduced simultaneously.Modeling with the hierarchical Petri nets can enhance the readability of the model.The property library of system calls on Minix3 operating system is extracted at the functional level.Modeling at the functional level can reduce the complexity generated at the code level and improve test efficiency.
出处
《内蒙古大学学报(自然科学版)》
CAS
CSCD
北大核心
2011年第5期570-575,共6页
Journal of Inner Mongolia University:Natural Science Edition
基金
国家自然科学基金项目(60863015)
教育部春晖项目(z2007-1-01032)
内蒙古自然科学基金重点项目(200711020803
20080404ZD20)内蒙古自然科学基金项目(20080404MS0906)
内蒙古自治区高等学校科学研究项目(NJ09012)