Browsing by Author "Li, Nan"
Now showing 1 - 1 of 1
Results Per Page
Sort Options
Item Generating Cost-effective Criteria-based Tests from Behavioral Models(2014-05) Li, Nan; Li, Nan; Offutt, JeffIn 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.