Dissertation/Thesis
A TECHNIQUE FOR TESTING HIGHLY RELIABLE REAL-TIME SOFTWARE
| Τίτλος: | A TECHNIQUE FOR TESTING HIGHLY RELIABLE REAL-TIME SOFTWARE |
|---|---|
| Συγγραφείς: | Day Wednesday |
| Συνεισφορές: | The Pennsylvania State University CiteSeerX Archives |
| Πηγή: | http://www.swtesting.com/stc_trot.PDF. |
| Συλλογή: | CiteSeerX |
| Θεματικοί όροι: | Ada, Anna, software reuse, software testing, verification and validation, formal method specification for software testing |
| Περιγραφή: | 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 |
| Τύπος εγγράφου: | Thesis |
| Γλώσσα: | English |
| Relation: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.5862; http://www.swtesting.com/stc_trot.PDF |
| Διαθεσιμότητα: | 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. |
| Αριθμός Καταχώρησης: | edsbas.A11FB315 |
| Βάση Δεδομένων: | BASE |
| Η περιγραφή δεν είναι διαθέσιμη |