属性驱动的Minix3系统调用建模与测试优化
需积分: 9 173 浏览量
更新于2024-08-11
收藏 349KB PDF 举报
该篇论文"基于属性的Minix3系统调用的建模和测试"发表于2011年9月的《内蒙古大学学报(自然科学版)》第42卷第5期,由岳婧媛、李华、郭亚杰等人合作完成。论文主要探讨了在微内核操作系统Minix3中,如何利用面向属性的测试方法来提高系统调用的测试效率和可读性。
传统的系统调用测试往往关注整个系统的实现细节,测试序列复杂且耗时。然而,作者提出通过提取Minix3系统调用的属性,将测试重点转向特定的功能或特性,这种方法显著减少了所需的测试序列,从而降低了测试的复杂度。层次Petri网作为一种建模工具,被用来在功能层次上对系统调用进行可视化表示,这不仅增强了模型的可理解性,而且有助于开发者更有效地设计和执行测试策略。
文章指出,与已有的基于宏内核的研究相比,如Linux系统调用的安全测试自动化,以及对系统调用序列的入侵检测,针对Minix3微内核的测试工作更为深入。虽然文献[6]对Minix3内核调用进行了代码层面的建模,但模型较为复杂。本文则通过层次化的方法,使得在功能层次上对系统调用进行分析和建模成为可能,从而简化了测试过程,提高了测试的针对性和效率。
作者引用了早期关于功能属性测试的概念,这些概念最早应用于程序测试,强调了选择和测试特定属性的重要性。通过这种方式,论文不仅提供了理论支持,还为微内核系统如Minix3的优化测试实践提供了一种创新的视角。
这篇论文的主要贡献在于提出了一种以属性为基础的系统调用建模和测试方法,这对于提高嵌入式系统尤其是微内核操作系统的可靠性和安全性具有实际价值。
2013-06-30 上传
2021-10-11 上传
2021-02-23 上传
2021-03-19 上传
2019-02-09 上传
2008-04-09 上传
101 浏览量
2009-10-15 上传
2017-07-17 上传
weixin_38647822
- 粉丝: 3
- 资源: 935
最新资源
- 掌握Jive for Android SDK:示例应用的使用指南
- Python中的贝叶斯建模与概率编程指南
- 自动化NBA球员统计分析与电子邮件报告工具
- 下载安卓购物经理带源代码完整项目
- 图片压缩包中的内容解密
- C++基础教程视频-数据类型与运算符详解
- 探索Java中的曼德布罗图形绘制
- VTK9.3.0 64位SDK包发布,图像处理开发利器
- 自导向运载平台的行业设计方案解读
- 自定义 Datadog 代理检查:Python 实现与应用
- 基于Python实现的商品推荐系统源码与项目说明
- PMing繁体版字体下载,设计师必备素材
- 软件工程餐厅项目存储库:Java语言实践
- 康佳LED55R6000U电视机固件升级指南
- Sublime Text状态栏插件:ShowOpenFiles功能详解
- 一站式部署thinksns社交系统,小白轻松上手