Affiliation:
1. Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo (USP), PO Box 668, São Carlos, São Paulo, Brazil
Abstract
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.
Publisher
Association for Computing Machinery (ACM)
Subject
Theoretical Computer Science,Software
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Model-based test case generation and prioritization: a systematic literature review;Software and Systems Modeling;2021-09-07
2. An Experimental Study for Complete-IOCO Theory;Proceedings of the 5th Brazilian Symposium on Systematic and Automated Software Testing;2020-10-20
3. n-Complete test suites for IOCO;Software Quality Journal;2018-11-28
4. n-Complete Test Suites for IOCO;Testing Software and Systems;2017
5. Complete IOCO test cases: a case study;Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation;2016-11-18