基于分类树的OSEK/VDX操作系统一致性测试研究

• 作者: 张志雄 李曦
• 来源期刊: 计算机系统应用
• 学科: 工学
• 关键词: OSEK/VDX操作系统 一致性测试 分类树方法
• 年，卷（期）: 2010,（11）
• 页码范围: 208-212,216
• 分类号: TP3
• 字数: 4395字
• 语种: 中文
• DOI: 10.3969/j.issn.1003-3254.2010.11.046

摘要

在深入研究OSEK/VDX操作系统规范的基础上,提出了基于分类树的OSEK/VDX操作系统的一致性测试方法.该方法的核心思想首先是从OSEK规范抽取出测试目的,其次根据规范和测试目的构造分类树和划分分类树的输入域,再次为分类树添加生成规则和限制条件,最后借助CTE XL工具自动生成一致性测试用例.通过对MiniOSEK的一致性测试,验证了使用分类树方法进行OSEK/VDX操作系统一致性测试的有效性与正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李曦	中国科学技术大学计算机科学与技术学院	119	751	13.0	21.0
5	张志雄	中国科学技术大学计算机科学与技术学院	1	3	1.0	1.0