首页> 中文会议>第三届全国软件测试会议与移动计算、栅格、智能化高级论坛 >基于Petri网程序切片方法的Minix3的分析与测试研究

基于Petri网程序切片方法的Minix3的分析与测试研究

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《第三届全国软件测试会议与移动计算、栅格、智能化高级论坛》|2009年|1-4|共4页
会议地点武汉
作者
彭永光; 李华; 叶新铭;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类 TP311.56;
关键词
程序切片; 内核调用; Petri网; 开源微内核操作系统;

相似文献

中文文献
外文文献
专利

1. 基于搜索的程序切片方法在程序内聚度分析中的应用 [J] . 孙鹤 ,苏小红 ,马培军 . 黑龙江大学自然科学学报 . 2010,第001期
2. 基于时延Petri网和人工蜂群算法的航电系统并行测试研究 [J] . 刘云周 ,吴勇 ,邓雪杰 . 测控技术 . 2014,第011期
3. 基于改进Petri网的可信软件模型验证和测试研究 [J] . 李震 ,刘斌 ,殷永峰 . 计算机研究与发展 . 2010,第S1期
4. 基于Petri网和模拟退火遗传算法的并行测试研究 [J] . 马敏 ,陈光 ,陈东义 . 仪器仪表学报 . 2007,第2期
5. 一种基于程序切片相似度匹配的脆弱性发现方法 [J] . 刘强 ,况晓辉 ,陈华 . 计算机科学 . 2019,第007期
6. 基于改进Petri网的可信软件模型验证和测试研究 [C] . 李震 ,刘斌 ,殷永峰 . 第六届中国测试学术会议 . 2010
7. 基于程序切片的软件测试研究 [A] . 王磊 . 2007

基于Petri网程序切片方法的Minix3的分析与测试研究

摘要

著录项

相似文献

相关主题

期刊订阅