Test Generation Tool for Modified Condition/Decision Coverage: Model Based Testing

Mounia El Qortobi, Amine Rahj, Jamal Bentahar, Rachida Dssouli

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Scopus citations

Abstract

Model-Based Testing (MBT) approaches are becoming an attractive prospect for safety-critical software testing due to their efficiency and the flexibility. Requirements based testing and structural testing are used for safety-critical systems software assessment. Structural testing criteria such as Modified Condition/Decision Coverage (MC/DC) satisfaction are required by DO-178C standard. Existing tools and techniques use MC/DC coverage criterion on the code. We propose to use model-based testing that integrates several coverage criteria such as du-path and MC/DC to enhance testing efficiency. We propose an approach that starts with requirements modeled as an Extended Finite State Machine (EFSM) that will be transformed into graphs we add special "coverage element"data structures that are integrated into the different models via graph labeling. The resulting transformation facilitates the traceability of testing information when moving from dataflow testing to control-flow testing and vice versa therefore making the combination of both approaches efficient for specification structural testing. The process view and the architecture of a supporting tool are given as well as the steps needed to generate MC/DC test sequences.

Original languageBritish English
Title of host publicationProceedings of 13th International Conference on Intelligent Systems
Subtitle of host publicationTheories and Applications, SITA 2020
Pages233-238
Number of pages6
ISBN (Electronic)9781450377331
DOIs
StatePublished - 23 Sep 2020
Event13th International Conference on Intelligent Systems: Theories and Applications, SITA 2020 - Virtual, Online, Morocco
Duration: 23 Sep 202024 Sep 2020

Publication series

NameACM International Conference Proceeding Series

Conference

Conference13th International Conference on Intelligent Systems: Theories and Applications, SITA 2020
Country/TerritoryMorocco
CityVirtual, Online
Period23/09/2024/09/20

Keywords

  • Automated test tool design
  • Avionics software verification and validation
  • MC/DC
  • Model-based testing
  • Test coverage criteria

Fingerprint

Dive into the research topics of 'Test Generation Tool for Modified Condition/Decision Coverage: Model Based Testing'. Together they form a unique fingerprint.

Cite this