Back to results
George Mason University
Generating Cost-effective Criteria-based Tests from Behavioral Models
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.
Author and committee
dc:creator, dc:contributor.*- Author
-
- Li, Nan
Subjects
dc:subject × 7Identifiers
dc:identifier.*- Identifier
- hdl:1920/8921
- OAI identifier oai:identifier
- oai:MARS:1920/8921