Abstract
In this paper we consider the many features of the Real-Time annex that are not as yet covered in ACATS. We identify a number of tests, but note that for the real-time programmer many of the crucial features of the annex cannot be validated by the type of tests found in ACATS.
- ACATS -- http://www.ada-auth.org/acats-files/4.0/docs/UG-1.HTMGoogle Scholar
Recommendations
Testing Ada Annex E-distributed systems
WPDRTS '95: Proceedings of the 3rd Workshop on Parallel and Distributed Real-Time SystemsWith the addition of special needs annexes to Ada 95, the traditional reliance on Ada Compiler Validation Capability style testing may not suffice. This paper explores some alternatives for testing a portion of the Distributed Systems Annex that deals ...
Chiba Scan Delay Fault Testing with Short Test Application Time
Delay fault testing using a scan design facilitating two-pattern testing, called Chiba scan testing, requires a long test application time (TAT) compared with well-known delay fault testing. This paper presents an improved Chiba scan testing with short ...
Faster mutation testing inspired by test prioritization and reduction
ISSTA 2013: Proceedings of the 2013 International Symposium on Software Testing and AnalysisMutation testing is a well-known but costly approach for determining test adequacy. The central idea behind the approach is to generate mutants, which are small syntactic transformations of the program under test, and then to measure for a given test ...






Comments