属性驱动的Minix3系统调用建模与测试优化

该篇论文"基于属性的Minix3系统调用的建模和测试"发表于2011年9月的《内蒙古大学学报(自然科学版)》第42卷第5期，由岳婧媛、李华、郭亚杰等人合作完成。论文主要探讨了在微内核操作系统Minix3中，如何利用面向属性的测试方法来提高系统调用的测试效率和可读性。 传统的系统调用测试往往关注整个系统的实现细节，测试序列复杂且耗时。然而，作者提出通过提取Minix3系统调用的属性，将测试重点转向特定的功能或特性，这种方法显著减少了所需的测试序列，从而降低了测试的复杂度。层次Petri网作为一种建模工具，被用来在功能层次上对系统调用进行可视化表示，这不仅增强了模型的可理解性，而且有助于开发者更有效地设计和执行测试策略。 文章指出，与已有的基于宏内核的研究相比，如Linux系统调用的安全测试自动化，以及对系统调用序列的入侵检测，针对Minix3微内核的测试工作更为深入。虽然文献[6]对Minix3内核调用进行了代码层面的建模，但模型较为复杂。本文则通过层次化的方法，使得在功能层次上对系统调用进行分析和建模成为可能，从而简化了测试过程，提高了测试的针对性和效率。 作者引用了早期关于功能属性测试的概念，这些概念最早应用于程序测试，强调了选择和测试特定属性的重要性。通过这种方式，论文不仅提供了理论支持，还为微内核系统如Minix3的优化测试实践提供了一种创新的视角。 这篇论文的主要贡献在于提出了一种以属性为基础的系统调用建模和测试方法，这对于提高嵌入式系统尤其是微内核操作系统的可靠性和安全性具有实际价值。