Test selection criteria for real-time systems modeled as timed input-output automata

@article{EnNouaary2007TestSC,
  title={Test selection criteria for real-time systems modeled as timed input-output automata},
  author={Abdeslam En-Nouaary},
  journal={IJWIS},
  year={2007},
  volume={3},
  pages={279-292}
}
Purpose – This paper aims to address formal testing of real-time systems by providing readers with guidance for generating test cases from timed automata. Design/methodology/approach – In this paper, a set of test selection criteria is presented. Such criteria are useful for testing real-time systems specified by timed automata. The criteria are introduced after the presentation of timed automata model and the concepts related to it. Findings – The paper finds that the set of test selection… CONTINUE READING

Similar Papers

Loading similar papers…