title: Real-time extended interface automata for software testing cases generation.
abstract: Testing and verification of the interface between software components are particularly important due to the large number of complex interactions, which requires the traditional modeling languages to overcome the existing shortcomings in the aspects of temporal information description and software testing input controlling. This paper presents the real-time extended interface automata (RTEIA) which adds clearer and more detailed temporal information description by the application of time words. We also establish the input interface automaton for every input in order to solve the problems of input controlling and interface covering nimbly when applied in the software testing field. Detailed definitions of the RTEIA and the testing cases generation algorithm are provided in this paper. The feasibility and efficiency of this method have been verified in the testing of one real aircraft braking system.
authors.affiliation: School of Reliability and Systems Engineering, Beihang University, Beijing 100191, China.
authors.forename: Shunkun
authors.initials: S
authors.lastname: Yang
authors.affiliation: School of Reliability and Systems Engineering, Beihang University, Beijing 100191, China.
authors.forename: Jiaqi
authors.initials: J
authors.lastname: Xu
authors.affiliation: School of Reliability and Systems Engineering, Beihang University, Beijing 100191, China.
authors.forename: Tianlong
authors.initials: T
authors.lastname: Man
authors.affiliation: School of Reliability and Systems Engineering, Beihang University, Beijing 100191, China ; Science & Technology on Reliability & Environmental Engineering Laboratory, Beijing 100191, China.
authors.forename: Bin
authors.initials: B
authors.lastname: Liu
mesh_terms: D001331:Automation; D012984:Software; D013996:Time and Motion Studies