Mason Archival Repository Service

Generating Cost-effective Criteria-based Tests from Behavioral Models

Show simple item record

dc.contributor.advisor Offutt, Jeff
dc.contributor.author Li, Nan
dc.creator Li, Nan en_US
dc.date.accessioned 2014-09-18T01:56:58Z
dc.date.available 2014-09-18T01:56:58Z
dc.date.issued 2014-05 en_US
dc.identifier.uri https://hdl.handle.net/1920/8921
dc.description.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.
dc.format.extent 196 pages en_US
dc.language.iso en en_US
dc.rights Copyright 2014 Nan Li en_US
dc.subject Computer science en_US
dc.subject Model-based Testing en_US
dc.subject Software Engineering en_US
dc.subject Software Testing en_US
dc.subject Test Automation en_US
dc.subject Test Generation en_US
dc.subject Test Oracles en_US
dc.title Generating Cost-effective Criteria-based Tests from Behavioral Models en_US
dc.type Dissertation en
thesis.degree.level Doctoral en
thesis.degree.discipline Computer Science en
thesis.degree.grantor George Mason University en


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search MARS


Browse

My Account

Statistics