基于属性的Minix3系统调用的建模和测试  

Modeling and Testing of Minix3 System Call Based on Property

作　　者：岳婧媛[1] 李华[1,2] 郭亚杰[1] 贺楠[1] 庞滨[1,2] 

机构地区：[1]内蒙古大学计算机学院,呼和浩特010021 [2]内蒙古大学网络信息中心,呼和浩特010021

出　　处：《内蒙古大学学报（自然科学版）》2011年第5期570-575,共6页Journal of Inner Mongolia University：Natural Science Edition

基　　金：国家自然科学基金项目(60863015);教育部春晖项目(z2007-1-01032);内蒙古自然科学基金重点项目(200711020803;20080404ZD20)内蒙古自然科学基金项目(20080404MS0906);内蒙古自治区高等学校科学研究项目(NJ09012)

摘　　要：面向属性的测试关注所要测试的部分,比非面向属性需要少得多的测试序列,可以降低测试的复杂度,用层次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.

关 键 词：Minix3 系统调用 属性 层次Petri网 

分 类 号：TP316[自动化与计算机技术—计算机软件与理论]