原文传递
OSEK/VDX操作系统的一致性测试
| 论文题名： | OSEK/VDX操作系统的一致性测试 |
| 关键词： | OSEK标准;VDX操作系统;一致性测试;分类树;汽车电子网络 |
| 摘要： | 欧洲汽车行业在20世纪90年代中期开发了一个名为OSEK/VDX的设计规范，它规定了将各种先进汽车电子设备网络化组合在一起的方法。目前，已有不少的公司和研究机构开发了OSEK操作系统。由于OSEK/VDX标准是用自然语言描述的，存在二义性，造成不同开发者开发的OSEK/VDX操作系统可能存在差异。为了检验这些操作系统的规范一致性，需要对其进行一致性测试。 本文在深入理解OSEK操作系统规范的基础上，提出了使用分类树构造测试用例，对OSEK操作系统进行一致性测试的方法。该方法首先从OSEK操作系统规范抽取测试目的，其次根据测试目的形成分类树并从分类树中构造测试用例，然后在OSEK操作系统上执行这些测试用例，最后根据测试用例的执行结果，判断操作系统的规范符合性。基于分类树的OSEK操作系统一致性测试方法，既利用了OSEK操作系统只有少量功能模块和API服务的特点，也利用了分类树结构化和系统化的优点。 本文的主要工作和贡献可以集中为三点： (1)提出基于分类树的操作系统一致性测试规范 这个规范规定了进行操作系统一致性测试的流程，包括四步，首先是从标准中抽取出测试目的，其次是根据标准和测试目的，使用分类树构造抽象测试用例，然后是在具体操作系统上实现和执行测试用例，最后是分析测试用例的执行结果。规范同时规定了每个步骤具体内容的表示形式，包括测试目的的表示、测试情况的表示和抽象测试用例的表示。 (2)使用分类树构造OSEK操作系统一致性测试集 通过深入理解OSEK操作系统规范，分析API服务的执行环境、执行动作和执行效果，获得分类树的输入域；通过分析测试目的，利用分类树工具，得到分类树的测试情况；通过组合各种测试情况，最终构造得到抽象测试集。 (3)对MiniOSEK进行一致性测试 根据MiniOSEK的实现特点，将分类树构造的抽象测试集实例化，然后在MiniOSEK上执行这些测试集，并对测试的结果进行分析。测试结果表明，MiniOSEK参与测试的模块都通过了一致性测试。 |
| 作者： | 张志雄 |
| 专业： | 计算机系统结构 |
| 导师： | 李曦 |
| 授予学位： | 硕士 |
| 授予学位单位： | 中国科学技术大学 |
| 学位年度： | 2010 |
| 正文语种： | 中文 |
相关文献
检索历史
应用推荐
