| 基于属性的Minix3系统调用的建模和测试 |
| |
| 引用本文： | 岳婧媛,李华,郭亚杰,贺楠,庞滨.基于属性的Minix3系统调用的建模和测试[J].内蒙古大学学报(自然科学版),2011,42(5):570-575. |
| |
| 作者姓名： | 岳婧媛 李华 郭亚杰 贺楠 庞滨 |
| |
| 作者单位： | 1. 内蒙古大学计算机学院,呼和浩特,010021
2. 内蒙古大学计算机学院,呼和浩特010021;内蒙古大学网络信息中心,呼和浩特010021 |
| |
| 基金项目： | 国家自然科学基金项目(60863015); 教育部春晖项目(z2007-1-01032); 内蒙古自然科学基金重点项目(200711020803,20080404ZD20)内蒙古自然科学基金项目(20080404MS0906); 内蒙古自治区高等学校科学研究项目(NJ09012); |
| |
| 摘 要： | 面向属性的测试关注所要测试的部分,比非面向属性需要少得多的测试序列,可以降低测试的复杂度,用层次Petri网对系统进行建模可增强模型的可读性.提取Minix3系统调用的属性,利用层次Petri网对系统调用在功能层次进行了建模,可降低在代码层次中产生的复杂度,提高测试效率.
|
| 关 键 词： | Minix3 系统调用 属性 层次Petri网 |
Modeling and Testing of Minix3 System Call Based on Property |
| |
| YUE Jing-yuan,LI Hua,GUO Ya-jie,HE Nan,PANG Bin.Modeling and Testing of Minix3 System Call Based on Property[J].Acta Scientiarum Naturalium Universitatis Neimongol,2011,42(5):570-575. |
| |
| Authors: | YUE Jing-yuan LI Hua GUO Ya-jie HE Nan PANG Bin |
| |
| Institution: | YUE Jing-yuan1,LI Hua1,2,GUO Ya-jie1,HE Nan1,PANG Bin2(1.College of Computer Science,Inner Mongolia University,Hohhot 010021,China,2.Center of Network and Information,China) |
| |
| Abstract: | 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. |
| |
| Keywords: | Minix3 system call property hierarchical Petri net |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
