CRITERIA AND ASSOCIATED TOOL FOR FUNCTIONNAL TESTCOVERAGE OF SAFETY CRITICAL SOFTWARE

摘要

We propose two specific functional test coverage criteria for safety criticalrnsoftware and describe the corresponding measurement tool named GATeL. The tworncriteria which are proposed illustrate different ways of formally expressing the idea ofrn"graphically covering" the functional requirement diagrams of a software under test.rnFrom a synthetic formal functional description (in Lustre) of those functionalrnrequirement diagrams, and additional user interactions to describe the selected testrncriterion, GATeL uses a constraint solver to define each of the test categories. The toolrnmay then either automatically scan a set of tests and fill the corresponding coveragernmatrix or generate a test sequence (inputs and expected outputs) for each of the nonemptyrncategories.rnBased on our recent experience, this approach has proved to scale up to real sizernproblems producing test scenarios and relevant coverage measurement.