内蒙古大学学报（自然科学版）
內矇古大學學報（自然科學版）
내몽고대학학보（자연과학판）
ACTA SCIENTIARUM NATURALIUM UNIVERSITATIS NEIMONGOL
2011年
5期
570-575
,共6页
岳婧媛%李华%郭亚杰%贺楠%庞滨
嶽婧媛%李華%郭亞傑%賀楠%龐濱
악청원%리화%곽아걸%하남%방빈
Minix3%系统调用%属性%层次Petri网
Minix3%繫統調用%屬性%層次Petri網
Minix3%계통조용%속성%층차Petri망
面向属性的测试关注所要测试的部分,比非面向属性需要少得多的测试序列,可以降低测试的复杂度,用层次Petri网对系统进行建模可增强模型的可读性.提取Minix3系统调用的属性,利用层次Petri网对系统调用在功能层次进行了建模,可降低在代码层次中产生的复杂度,提高测试效率.
麵嚮屬性的測試關註所要測試的部分,比非麵嚮屬性需要少得多的測試序列,可以降低測試的複雜度,用層次Petri網對繫統進行建模可增彊模型的可讀性.提取Minix3繫統調用的屬性,利用層次Petri網對繫統調用在功能層次進行瞭建模,可降低在代碼層次中產生的複雜度,提高測試效率.
면향속성적측시관주소요측시적부분,비비면향속성수요소득다적측시서렬,가이강저측시적복잡도,용층차Petri망대계통진행건모가증강모형적가독성.제취Minix3계통조용적속성,이용층차Petri망대계통조용재공능층차진행료건모,가강저재대마층차중산생적복잡도,제고측시효솔.
