METHOD FOR TESTING SYSTEM SPECIFICATIONS BY DETECTING FEATURE CONFLICTS IN SAID SYSTEM SPECIFICATIONS

摘要

A method (200) of detecting feature conflicts in a system specification includes generating (210) phase transitions of a system specification, defined with a graphical notation, and translating (230) the phase transitions into one or more abstract implementation. Feature combinations of the one or more abstract implementation are analysed (260) to detect one or more feature conflicts in the system specification.

In this manner, an analysis can be made on the implied concurrent behaviour of features in system specifications, particularly partial specifications, which allows feature conflict detection.