| Full text | |
| Author(s): |
Total Authors: 2
|
| Affiliation: | [1] Univ Sao Paulo, Inst Ciencias Matemat & Comp, POB 668, Sao Carlos, SP - Brazil
Total Affiliations: 1
|
| Document type: | Journal article |
| Source: | FORMAL ASPECTS OF COMPUTING; v. 28, n. 1, p. 65-78, MAR 2016. |
| Web of Science Citations: | 2 |
| Abstract | |
Model-based testing overcomes challenges in software testing by generating automated test cases from behavior models, e.g. finite state machine (FSM) and input/output transition system (IOTS). Despite the existence of methods for IOTSs, the problem of selection of test cases is an important and difficult topic. The current methods from IOTSs do not provide the same support offered by the existing theory for FSMs, as complete fault coverage. In this paper, we propose a test generation method for IOTSs based on the W method developed for FSMs. The basic idea is to generate a transition cover set and a characterization set and concatenate them to generate complete test suites for IOTSs in a bounded number of steps. The method generates test suites with complete fault coverage for a given fault domain and is targeted at a class of IOTSs, called mealy IOTS, which accepts inputs only in stable states. Results from a case study show the proposed algorithm can achieve better results than a classical method for IOTSs. (AU) | |
| FAPESP's process: | 12/02232-3 - Input/output transition systems: support to test case generation |
| Grantee: | Adenilso da Silva Simão |
| Support Opportunities: | Regular Research Grants |
| FAPESP's process: | 12/09650-5 - Testing based on Input Output Transition Systems |
| Grantee: | Sofia Larissa da Costa Paiva |
| Support Opportunities: | Scholarships in Brazil - Doctorate |