Automated test case generation for reactive software systems based on environment models
| dc.contributor.advisor | Auguston, Mikhail | |
| dc.contributor.advisor | Michael, James B. | |
| dc.contributor.author | Imanian, James A. | |
| dc.contributor.corporate | Naval Postgraduate School | |
| dc.contributor.department | Computer Science | |
| dc.date.accessioned | 2012-03-14T17:34:15Z | |
| dc.date.available | 2012-03-14T17:34:15Z | |
| dc.date.issued | 2005-06 | |
| dc.description.abstract | The goal of software testing is to expose as many faults as possible. Often one can increase the number of faults detected by running large amounts of test cases, therefore the ability to automatically generate applicable test cases for a System Under Test (SUT), would be a valuable tool. In this thesis an attributed event grammar is designed and used to build a model that describes the environment a SUT must operate in. This event grammar captures events, their precedence or inclusion relation to other events, and attributes of the events. An event is defined as an observable action that has a distinct beginning and end. The high level environment model is then used by a test generator to produce an event trace from which input for the SUT is extracted. Thousands of event traces can be generated. For reactive systems the event trace will have the appropriate time delays between inputs. The feasibility of this approach is proven by implementing a prototype of an automated test generator based on environment models. | en_US |
| dc.description.distributionstatement | Approved for public release; distribution is unlimited. | |
| dc.description.uri | http://archive.org/details/automatedtestcas109452131 | |
| dc.format.extent | xvi, 57 p. : ill. ; | en_US |
| dc.identifier.oclc | 62102703 | |
| dc.identifier.uri | https://hdl.handle.net/10945/2131 | |
| dc.publisher | Monterey, California. Naval Postgraduate School | en_US |
| dc.subject.lcsh | Computer software | en_US |
| dc.subject.lcsh | Testing | en_US |
| dc.subject.lcsh | Validation | en_US |
| dc.subject.lcsh | Verification | en_US |
| dc.title | Automated test case generation for reactive software systems based on environment models | en_US |
| dc.type | Thesis | en_US |
| dspace.entity.type | Publication | |
| etd.thesisdegree.discipline | Computer Science | en_US |
| etd.thesisdegree.grantor | Naval Postgraduate School | en_US |
| etd.thesisdegree.level | Masters | en_US |
| etd.thesisdegree.name | M.S. | en_US |
| etd.verified | no | en_US |
Files
Original bundle
1 - 1 of 1