• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

计算机工程与科学 ›› 2023, Vol. 45 ›› Issue (04): 622-629.

• 软件工程 • 上一篇    下一篇

基于决策表的AUTOSAR操作系统一致性测试研究

陈灿1,杨兴达1,方菱2   

  1. (1.安徽大学物质科学与信息技术研究院,安徽 合肥 230601;2.中国科学院合肥物质科学研究院,安徽 合肥 230031)
  • 收稿日期:2022-01-07 修回日期:2022-07-19 接受日期:2023-04-25 出版日期:2023-04-25 发布日期:2023-04-13
  • 基金资助:
    安徽省重点研究与开发计划(202004a05020041).

AUTOSAR operating system conformance test research based on decision table

CHEN Can1,YANG Xing-da1,FANG Ling2   

  1. (1.Institutes of Physical Science and Information Technology,Anhui University,Hefei 230601;
    2.Hefei Institutes of Physical Science,Chinese Academy of Sciences,Hefei 230031,China)
  • Received:2022-01-07 Revised:2022-07-19 Accepted:2023-04-25 Online:2023-04-25 Published:2023-04-13

摘要: 汽车开放系统架构(AUTOSAR)规范为车载嵌入式操作系统及其相关服务定义了一系列的抽象标准接口,得到了广泛应用。传统AUTOSAR操作系统一致性测试方法针对性不强,无法测试不同一致类级别的操作系统,被测系统需要符合最高一致类级别要求才可以通过测试,因此需要额外抽取符合要求的测试用例。基于决策表设计了一种面向 AUTOSAR 操作系统的一致性测试方法。决策表是一种表达事件在逻辑上相互依赖关系的符号手段,可将复杂的逻辑关系和多种条件组合情况详细地列举出来,且可根据需求进行重制。通过在设计测试用例时参照一致类进行划分,使得测试用例在生成时被赋予一致类属性,可针对不同级别操作系统进行测试。在实际实验中,该方法实现了不同一致类操作系统的针对性测试,对5个功能模块的4种一致类执行了测试,避免了379条测试用例的额外抽取,提升了测试效率。

关键词: 汽车开放系统架构, 操作系统, 决策表, 一致性测试

Abstract: The Automotive Open System Architecture (AUTOSAR) specification defines a series of abstract standard interfaces for in-vehicle embedded operating systems and related services, which have been widely used. The traditional AUTOSAR operating system conformance test method is not very specific and cannot test operating systems of different conformance class levels. The system under test needs to meet the highest conformance class level requirements to pass the test, so additional test cases that meet the requirements need to be extracted. This research designs a conformance test method for AUTOSAR operating system based on the decision table. The decision table is a symbolic means to express the logical interdependence of events. It can enumerate complex logical relations and multiple condition combinations in detail, and can be reproduced according to requirements. By referring to consis- tent classes when designing test cases, the test cases are given consistent class attributes when they are generated, and testing can be performed for different levels of operating systems. In actual experiments, this research method achieves targeted testing of different consistent operating systems, and carries out tests on four consistent types of five functional modules, avoiding the extra extraction of 379 test cases and improving test efficiency.

Key words: Automotive Open System Architecture, operating system, decision table, conformance test