Real-Time Extended Interface Automata for Software Testing Cases Generation
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 te...
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2014-01-01
|
| Series: | The Scientific World Journal |
| Online Access: | http://dx.doi.org/10.1155/2014/731041 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849308605867622400 |
|---|---|
| author | Shunkun Yang Jiaqi Xu Tianlong Man Bin Liu |
| author_facet | Shunkun Yang Jiaqi Xu Tianlong Man Bin Liu |
| author_sort | Shunkun Yang |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-1b23f16c52c94196a981ec9f8455df14 |
| institution | Kabale University |
| issn | 2356-6140 1537-744X |
| language | English |
| publishDate | 2014-01-01 |
| publisher | Wiley |
| record_format | Article |
| series | The Scientific World Journal |
| spelling | doaj-art-1b23f16c52c94196a981ec9f8455df142025-08-20T03:54:24ZengWileyThe Scientific World Journal2356-61401537-744X2014-01-01201410.1155/2014/731041731041Real-Time Extended Interface Automata for Software Testing Cases GenerationShunkun Yang0Jiaqi Xu1Tianlong Man2Bin Liu3School of Reliability and Systems Engineering, Beihang University, Beijing 100191, ChinaSchool of Reliability and Systems Engineering, Beihang University, Beijing 100191, ChinaSchool of Reliability and Systems Engineering, Beihang University, Beijing 100191, ChinaSchool of Reliability and Systems Engineering, Beihang University, Beijing 100191, ChinaTesting 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.http://dx.doi.org/10.1155/2014/731041 |
| spellingShingle | Shunkun Yang Jiaqi Xu Tianlong Man Bin Liu Real-Time Extended Interface Automata for Software Testing Cases Generation The Scientific World Journal |
| title | Real-Time Extended Interface Automata for Software Testing Cases Generation |
| title_full | Real-Time Extended Interface Automata for Software Testing Cases Generation |
| title_fullStr | Real-Time Extended Interface Automata for Software Testing Cases Generation |
| title_full_unstemmed | Real-Time Extended Interface Automata for Software Testing Cases Generation |
| title_short | Real-Time Extended Interface Automata for Software Testing Cases Generation |
| title_sort | real time extended interface automata for software testing cases generation |
| url | http://dx.doi.org/10.1155/2014/731041 |
| work_keys_str_mv | AT shunkunyang realtimeextendedinterfaceautomataforsoftwaretestingcasesgeneration AT jiaqixu realtimeextendedinterfaceautomataforsoftwaretestingcasesgeneration AT tianlongman realtimeextendedinterfaceautomataforsoftwaretestingcasesgeneration AT binliu realtimeextendedinterfaceautomataforsoftwaretestingcasesgeneration |