Search: onr:"swepub:oai:DiVA.org:hh-33212" >
Complete IOCO Test ...
Complete IOCO Test Cases : A Case Study
-
- Costa Paiva, Sofia (author)
- University of Sao Paolo, São Carlos, Brazil
-
- Simao, Adenilso (author)
- University of Sao Paolo, São Carlos, Brazil
-
- Varshosaz, Mahsa, 1985- (author)
- Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES)
-
show more...
-
- Mousavi, Mohammad Reza, 1978- (author)
- Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES)
-
show less...
-
(creator_code:org_t)
- 2016-11-18
- 2016
- English.
-
In: A-TEST 2016 - Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, co-located with FSE 2016. - New York, NY : ACM Press. - 9781450344012 ; , s. 38-44
- Related links:
-
https://hh.diva-port... (primary) (Raw object)
-
show more...
-
http://hh.diva-porta...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- Input/Output Transition Systems (IOTSs) have been widely used as test models in model-based testing. Traditionally, input output conformance testing (IOCO) has been used to generate random test cases from IOTSs. A recent test case generation method for IOTSs, called Complete IOCO, applies fault models to obtain complete test suites with guaranteed fault coverage for IOTSs. This paper measures the efficiency of Complete IOCO in comparison with the traditional IOCO test case generation implemented in the JTorX tool. To this end, we use a case study involving five specification models from the automotive and the railway domains. Faulty mutations of the specifications were produced in order to compare the efficiency of both test generation methods in killing them. The results indicate that Complete IOCO is more efficient in detecting deep faults in large state spaces while IOCO is more efficient in detecting shallow faults in small state spaces. © 2016 ACM.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Keyword
- Conformance testing
- Input output conformance (IOCO)
- Complete input output conformance
- Mealy input output transition systems
- fault models
Publication and Content Type
- ref (subject category)
- kon (subject category)
Find in a library
To the university's database