Generating Cost-effective Criteria-based Tests from Behavioral Models

Simple item page
dc.contributor.advisorOffutt, Jeff
dc.contributor.authorLi, Nan
dc.creatorLi, Nan
dc.date.accessioned2014-09-18T01:56:58Z
dc.date.available2014-09-18T01:56:58Z
dc.date.issued2014-05
dc.description.abstractIn 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.extent196 pages
dc.identifier.urihttps://hdl.handle.net/1920/8921
dc.language.isoen
dc.rightsCopyright 2014 Nan Li
dc.subjectComputer science
dc.subjectModel-based Testing
dc.subjectSoftware engineering
dc.subjectSoftware Testing
dc.subjectTest Automation
dc.subjectTest Generation
dc.subjectTest Oracles
dc.titleGenerating Cost-effective Criteria-based Tests from Behavioral Models
dc.typeDissertation
thesis.degree.disciplineComputer Science
thesis.degree.grantorGeorge Mason University
thesis.degree.levelDoctoral

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Li_gmu_0883E_10599.pdf
Size:
2.89 MB
Format:
Adobe Portable Document Format
Download

Collections

College of Engineering and Computing