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

Modeling and Testing of Minix3 System Call Based on Property

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