Testing papers
Management Papers
- Software Testing and IEC 61508 – Project Case Study (NEW)
- IPL Testing Tools and Return on Investment (RoI)
- An Introduction to Software Testing
- Software Testing and Software Development Lifecycles
- An Introduction to Safety Critical Systems
- Why Bother to Unit Test?
- Organisational Approaches for Unit Testing
- Designing Unit Test Cases
- Host / Target Testing
- Structural Coverage Metrics: Their Strengths and Weaknesses
- Advanced Coverage Metrics for Object-Oriented Software
- A Strategy for Testing C++
- Testing State Machine Software with AdaTEST and Cantata
- IPL Tool Qualification and Auditing
Quality Assurance Papers
- IPL Testing Tools and the Galileo Software Standard (GSWS)
- IPL Testing Tools and FDA Software Validation Guidelines
- IPL Testing Tools and RTCA/DO-178B
- IPL Testing Tools and ECSS E-40
- IPL Testing Tools and MISRA Development Guidelines for Vehicle Based Software
- IPL Testing Tools and ISO9001/BS5750/TickIT
- IPL Testing Tools and SEI Capability Maturity Model
- IPL Testing Tools and DOD Mil Std 498
- IPL Testing Tools and IEC 61508
- IPL Testing Tools and MoD Def Stan 00-55
- IPL Testing Tools and CENELEC PR-EN50128
- IPL Testing Tools and IEC 880
- IPL Testing Tools and ESA PSS-05-0, Issue 2
- IPL Testing Tools and DOD-STD-2167A
Technical Papers
- Testing C with Cantata++
- C++ - It's Testing Jim, But Not As We Know It!
- Testing Embedded C++ with Cantata++
- Achieving Testability when using Ada Packaging and Data Hiding Methods
- Designing Testable Ada
- Testing Techniques For Ada 95
Other Papers
- For a description of the use of AdaTEST on a DO-178B project, see: Testing Safety-Critical Software with AdaTEST , by Thomas Østerlie and Ståle Dahl.
- For a description of some experiences of introducing Cantata into aerospace systems work, please see the paper “ Measuring the Efficiency of Introducing a Systematic Tool Based Testing Process ” written by IAI engineers, and presented at the EuroSTAR conference in November 1999.