Dissertation/Thesis
View in EDS

A TECHNIQUE FOR TESTING HIGHLY RELIABLE REAL-TIME SOFTWARE

Bibliographic Details
Title: A TECHNIQUE FOR TESTING HIGHLY RELIABLE REAL-TIME SOFTWARE
Authors: Day Wednesday
Contributors: The Pennsylvania State University CiteSeerX Archives
Source: http://www.swtesting.com/stc_trot.PDF.
Collection: CiteSeerX
Subject Terms: Ada, Anna, software reuse, software testing, verification and validation, formal method specification for software testing
Description: The engineering of software systems that must be highly reliable is very difficult, and support tools and techniques are clearly needed. We are developing a technique and an associated tool set that uses executable specifications based on Annotated Ada (Anna) for software testing in hard real-time environments. Our initial tool, the test range oracle tool (TROT), supports the creation of simple test oracles that check the correctness of equation execution; future tools will have expanded capabilities. TROT was designed using commercial-off-the-shelf and reuse software to fit in with an on-going software development process and does not interfere with the software under test. Automating the verification and validation testing of software systems remains a problem area in software engineering. Testing software that must be highly reliable requires a large number of test cases. Analyzing and determining the correctness of these large number of test cases is very difficult and time consuming. Software engineers must often rely on engineering judgment or
Document Type: Thesis
Language: English
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.5862; http://www.swtesting.com/stc_trot.PDF
Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.5862
http://www.swtesting.com/stc_trot.PDF
Rights: Metadata may be used without restrictions as long as the oai identifier remains attached to it.
Accession Number: edsbas.A11FB315
Database: BASE
Description
Description not available.