论文部分内容阅读
面向属性的测试关注所要测试的部分,比非面向属性需要少得多的测试序列,可以降低测试的复杂度,用层次Petri网对系统进行建模可增强模型的可读性.提取Minix3系统调用的属性,利用层次Petri网对系统调用在功能层次进行了建模,可降低在代码层次中产生的复杂度,提高测试效率.
基于属性的Minix3系统调用的建模和测试
【摘 要】
：
面向属性的测试关注所要测试的部分,比非面向属性需要少得多的测试序列,可以降低测试的复杂度,用层次Petri网对系统进行建模可增强模型的可读性.提取Minix3系统调用的属性,利
【机 构】
：
内蒙古大学计算机学院,内蒙古大学网络信息中心
【出 处】
：
内蒙古大学学报：自然科学版
【发表日期】
：
2011年5期
【基金项目】
：
国家自然科学基金项目（60863015）, 教育部春晖项目（z2007-1-01032）, 内蒙古自然科学基金重点项目（200711020803 20080404ZD20）内蒙古自然科学基金项目（20080404MS0906）, 内蒙古自治区高等学校科学研究项目（NJ09012）
其他文献
在有效质量近似下,利用变分原理研究了有限高应变GaN/AlxGa1-xN柱形量子点中杂质态的结合能,计算了结合能随量子点高度、半径和杂质位置的变化,讨论了应变对结合能的影响.数
<正> 一、山东:出台发展个体私营经济的优惠政策 较之以往,山东这次出台的一系列优惠政策有了很大突破,机关、事业单位的工作人员经本单位同意,可离职从事个体经营或兴办私营
通信技术和广播电视技术的快速发展对有线电视网络质量、承载能力提出了更高的要求,传统有线电视已无法满足4K高清或VR等视频IP广播。针对一些现有解决方案中存在的弊端,提出
一、存在问题 笔者曾对100名低、中、高年级小学生作了如下调查：你喜欢上英语课吗？为什么？其中低、中年级有879％喜欢，原因大致是：
考虑一类同时含有多离散时滞和多时变中立时滞的中立微分方程解的渐近稳定性，得到了该方程解稳定的充分条件，它不仅依赖于多离散时滞，而且依赖于多中立时滞．这个时滞相关稳定性准
人类剪接位点的识别是当前研究的一个重要课题.根据人类剪接位点附近区域的保守性,以位置关联权重矩阵及DNA结构信息作为特征输入参数,应用支持向量机（SVM）对人类基因组中的供
4月3日,广东广电网络公司“南粤全媒体智慧云平台”上线启动仪式隆重举行。广东省委宣传部常务副部长白洁、广东省广播电视局局长刘小毅、广东广电网络公司董事长叶志容、广
在这几年的课改实践中。每住教师都是在探索中教学，又在教学中探索，其艰难程度可想而知。如今．教师在教学理念和教学方法上都有了新的变化，都是本着“以培养学生科学素养为宗旨”
基于一个辅助的Lame方程和摄动法，研究了Landan—Ginzburg—Higgs方程，得到了该方程的新的Jacobi椭圆函数形式的高阶渐进周期解．在极限情形下，可还原为经典的孤立波解．