操作系统是应用系统正确、安全运行的基础软件。微内核操作系统可提高系统的可扩展性,增强系统的可靠性和安全性,有很好的应用前景。系统调用是操作系统提供给用户的唯一接口,用户可以通过系统调用进行相应的功能操作,但同时也可以通过系统调用的漏洞进行破坏。所以,对操作系统中各个系统调用的测试可减少系统调用中存在的安全隐患,加强操作系统的安全。本文以微内核操作系统Minix3为例,对微内核的系统调用进行了基于属性的建模和测试,主要研究工作包括以下几个方面：首先,我们深入阅读了Minix3操作系统源码,对其实现的功能进行了深入的分析,了解了微内核操作系统体系结构的特点,并比较了微内核系统调用与宏内核系统调用不同的地方。其次,对微内核系统调用进行了测试。在源代码的基础上,提取系统调用的属性,以属性为粒度进行CPN建模,执行系统调用测试,并给出了实验结果。最后,由于操作系统的安全性是通过一系列的系统调用体现的,其中与安全访问策略相关的系统调用尤为重要,直接关系到资源的控制权力。因此本文针对操作系统的安全访问策略,对与安全密切相关的系统调用进行了基于角色的访问控制测试,并给出了实验结果。下一步工作的重点是对属性的粒度进行统一的规约,从而可以对模型的复杂度进行较好的控制。对系统的安全测试,还需从别的角度进行测试。