Loading...
Please wait, while we are loading the content...
Similar Documents
A test generation framework for distributed fault-tolerant algorithms
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Miner, Paul Pasareanu, Corina S. Goodloe, Alwyn Bushnell, David |
| Copyright Year | 2009 |
| Description | Heavyweight formal methods such as theorem proving have been successfully applied to the analysis of safety critical fault-tolerant systems. Typically, the models and proofs performed during such analysis do not inform the testing process of actual implementations. We propose a framework for generating test vectors from specifications written in the Prototype Verification System (PVS). The methodology uses a translator to produce a Java prototype from a PVS specification. Symbolic (Java) PathFinder is then employed to generate a collection of test cases. A small example is employed to illustrate how the framework can be used in practice. |
| File Size | 969399 |
| Page Count | 8 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_20090025485 |
| Archival Resource Key | ark:/13960/t2n63hs0z |
| Language | English |
| Publisher Date | 2009-06-27 |
| Access Restriction | Open |
| Subject Keyword | Air Transportation And Safety Distributed Processing Fault Tolerance Algorithms Specifications Space Shuttles Failure Analysis Prototypes Java Programming Language Data Processing Mathematical Models Aerospace Safety Failure Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Article |
