Functional Requirements Coverage

, , ,

The classical notion of structural coverage measures to what extent a test suite exercises all items (statements, functions, variables, ...) of a program. If requirements are formally specified, for example using temporal logic, a notion of requirements coverage can be similarly defined, characterizing a test suite that covers a given requirement. With researchers at NASA Ames and Middlesex University, we have formalized this notion and are studying its application to the generation of test suites for autonomous space-bound applications.

LVL Members: Charles Pecheur

External Partners: NASA Ames (Guillaume Brat), Middlesex University (Franco Raimondi)

Related Publications: