Course: "Testing Complex Systems"
The three day course "Testing Complex Systems" covers many of the standard white-box testing techniques (such as statement coverage, path coverage, and the modified condition decision coverage (MCDC) required by Software Level A of RTCA/DO-178B "Software Considerations in Airborne Systems and Equipment Certification") and black-box testing techniques (such as functional analysis testing and cause-effect graph testing).
It also covers topics aimed at testing specific types of systems or subsystems (such as state-transition testing and syntax testing), and where testing has a particular focus (such as load testing).
The course "Testing Complex Systems" also focusses on design and the impact upon testability.
It also deals with various supporting disciplines including configuration management and documentation as they relate to testing.
Why?
Testing is one aspect of verification and validation (V and V) which aims to measure or improve the quality of a safety-critical or other high integrity system.
Aside:
Def(Aust) 5679 "The Procurement Of Computer-based Safety Critical Systems" views testing as complementary and unable to replace formal methods.
The Tactical Fighter Weapon System Support Unit (TFWSSU) at Williamtown RAAF base.