Sökning: onr:"swepub:oai:DiVA.org:hh-33212" >
Complete IOCO Test ...
Complete IOCO Test Cases : A Case Study
-
- Costa Paiva, Sofia (författare)
- University of Sao Paolo, São Carlos, Brazil
-
- Simao, Adenilso (författare)
- University of Sao Paolo, São Carlos, Brazil
-
- Varshosaz, Mahsa, 1985- (författare)
- Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES)
-
visa fler...
-
- Mousavi, Mohammad Reza, 1978- (författare)
- Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES)
-
visa färre...
-
(creator_code:org_t)
- 2016-11-18
- 2016
- Engelska.
-
Ingår i: 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
- Relaterad länk:
-
https://hh.diva-port... (primary) (Raw object)
-
visa fler...
-
http://hh.diva-porta...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Nyckelord
- Conformance testing
- Input output conformance (IOCO)
- Complete input output conformance
- Mealy input output transition systems
- fault models
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas