期刊名称：International Journal of Computer Trends and Technology
电子版ISSN：2231-2803
出版年度：2018
卷号：61
期号：2
DOI：10.14445/22312803/IJCTT-V61P119
出版社：Seventh Sense Research Group
摘要：A model should be designed with some specification languages. Such specification languages are transformed from the customer requirements to testable requirements. In modelbased testing, abstract tests are generated from the UML model. These abstracts tests are transformed into the concrete tests with test inputs and to check the outputs with test oracles. This research mainly focused on possibility of the failures and exhibits the failures. In this research, the state invariants of the model are identified. State invariants are detected from the state machine diagram. The test oracles are measured in two parameters precision and frequency. The mutants are generated from the test data. The mutant’s reports are generated from the test case. In agile process, the test oracles are always not available because requirements are frequently changed. This research specifies generation of few adequate mappings, because instead of generating more inadequate mappings.The test cases are utilized to kill the generated mutants whenever the behaviour of the system changes.
关键词：Coverage Criterion; Model-based Testing; State Invariants; Test Oracles; Test Oracle Strategy
Loading...
