基于Petri网程序切片方法的Minix3的分析与测试研究
程序切片是一种通过程序的数据流和控制流来分解程序的一种方法。Petri网提供了一种用于建模和验证并发系统行为的一种手段。Minix3是一种开源微内核操作系统,内核调用是其重要特点,它是处于Minix3结构模块最低层的内核为其上层驱动程序和服务器提供的一组特权调用。通过基于Petri网的程序切片方法对Minix3的一个内核调用-exec做了一个例化,并作测试研究分析。指出了在研究Minix3操作系统时简化程序分析和减小系统模型复杂度的一条思路。
程序切片 内核调用 Petri网 开源微内核操作系统
彭永光 李华 叶新铭
内蒙古大学计算机学院 呼和浩特 010021
国内会议
武汉
中文
1-4
2009-08-15（万方平台首次上网日期，不代表论文的发表时间）