Generating Cost-effective Criteria-based Tests from Behavioral Models
Date
2014-05
Authors
Li, Nan
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
In software engineering, behavioral models such as finite state machines (FSMs) are used to represent key system behaviors. To evaluate the system behaviors, testers need to generate tests from the models and run the tests to check whether the execution meets the expectation. Coverage criteria are rules to specify which artifacts of the models (test requirements) should be included in the tests.
Description
Keywords
Computer science, Model-based Testing, Software engineering, Software Testing, Test Automation, Test Generation, Test Oracles