Physical Sciences and Mathematics Commons^™

Software Testability Measure For Sae Architecture Analysis And Design Language (Aadl)Software Testability Measure For Sae Architecture Analysis And Design Language (Aadl), Hung Vo

All Theses

Testability is an important quality attribute of software, especially for critical systems such as avionics, medical, and automotive. Improvement in the early testability of software architecture, the first artifact of the software system, will help reduce issues and costs later in the development process.
AADL, an architecture analysis description language suitable for critical embedded, real-time systems, can be used for design documentation, analysis and code generation. Because the capability of AADL can be extended, it is possible to add new analyses to its core language. Tools such as the Open Source AADL Tool Environment (OSATE) provide plugins for processing AADL …