Early detection of requirements defects

A model-based approach for system behaviour requirements

Requirements faults are a major source of defects and quality problems. The cost of correcting them during the integration and test phase is high, especially when it leads to re-designing system components. Therefore validating the quality and completeness of product requirements in the earliest possible product development stage is of paramount importance. Traditional methods document system requirements in reports and databases, making it very difficult to find omissions, ambiguities and inconsistencies.

Our innovative approach uses executable models to represent system requirements. Specified input/output behaviour is connected to an interactive visualisation of external system behaviour, allowing early detection of any requirement ambiguity, fault or omission. This provides a more comprehensive exploration of the total system behaviour, together with a highly accurate analysis of the system’s exception handling.

Early detection of requirements defects


Method details

Method description

  1. Construct an executable model of the desired behaviour
  2. Develop an interactive visualisation of the externally visible interface
  3. Connect the executable model and interactive visualisation
  4. Ask domain experts to experiment with simulation and visualisation
  5. Correct errors and check with domain experts
  6. Repeat by adding more aspects of the desired behaviour

Research projects


Industrial partners:

  • NXP Semiconductors
  • Philips Healthcare


Business manager:

Frans Beenker


+31 (0)88-866 5420