File:Automated test case generation for reactive software systems based on environment models (IA automatedtestcas109452131).pdf
Original file (1,275 × 1,650 pixels, file size: 372 KB, MIME type: application/pdf, 76 pages)
Captions
Captions
Summary[edit]
Automated test case generation for reactive software systems based on environment models
(   ) |
||
|---|---|---|
| Author |
Imanian, James A. |
 |
| Title |
Automated test case generation for reactive software systems based on environment models |
|
| Publisher |
Monterey, California. Naval Postgraduate School |
|
| Description |
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. Subjects: Computer software; Testing; Validation; Verification |
|
| Language | English | |
| Publication date | June 2005 | |
| Current location |
IA Collections: navalpostgraduateschoollibrary; fedlink |
|
| Accession number |
automatedtestcas109452131 |
|
| Source | ||
| Permission (Reusing this file) |
Approved for public release, distribution unlimited | |
Licensing[edit]
|
This work is in the public domain in the United States because it is a work prepared by an officer or employee of the United States Government as part of that person’s official duties under the terms of Title 17, Chapter 1, Section 105 of the US Code.
Note: This only applies to original works of the Federal Government and not to the work of any individual U.S. state, territory, commonwealth, county, municipality, or any other subdivision. This template also does not apply to postage stamp designs published by the United States Postal Service since 1978. (See § 313.6(C)(1) of Compendium of U.S. Copyright Office Practices). It also does not apply to certain US coins; see The US Mint Terms of Use.
|
 |
| This file has been identified as being free of known restrictions under copyright law, including all related and neighboring rights. | ||
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 22:13, 14 July 2020 |  | 1,275 × 1,650, 76 pages (372 KB) | Fæ (talk | contribs) | FEDLINK - United States Federal Collection automatedtestcas109452131 (User talk:Fæ/IA books#Fork8) (batch 1993-2020 #8767) |
You cannot overwrite this file.
File usage on Commons
The following page uses this file: