【作者】 彭永光； 李华； 叶新铭；

【机构】 内蒙古大学计算机学院；

【摘要】 程序切片是一种通过程序的数据流和控制流来分解程序的一种方法。Petri网提供了一种用于建模和验证并发系统行为的一种手段。Minix3是一种开源微内核操作系统,内核调用是其重要特点,它是处于Minix3结构模块最低层的内核为其上层驱动程序和服务器提供的一组特权调用。通过基于Petri网的程序切片方法对Minix3的一个内核调用-exec做了一个例化,并作测试研究分析。指出了在研究Minix3操作系统时简化程序分析和减小系统模型复杂度的一条思路。更多还原

【Abstract】 Program slicing is a method for decomposing programs by analyzing their data flow and control flow.Petri nets provide a means for modeling and verifying the behavior of concurrent systems.Minix3 is a open-source microkernel operating system, whose important characteristic is kernel calls, which is located in the lowest layer of the structure module, provides a set of privileged kernel calls to the drivers and servers above it.In this paper, we illustrate the exec kernel call which is of the Minix3 operating system by program slicing method based on Petri nets, and making testing research and analysis.The idea of simplifying program analysis and reducing the complexity of system model is pointed out by us in the research of Minix3 operating system.更多还原