ReqsCov
ReqsCov is a tool which allows a user to measure the requirements coverage provided
by a test suite over a Lustre model. The tool allows three requirements coverage metrics (each defined
over Linear Temporal Logic requirements) to be measured:
naive coverage, antecedant coverage, and Unique First Clause (UFC) coverage.
More information concerning ReqsCov, including related papers, the tool itself (in both command line and
Eclipse plugin form) and documentation can be found here. |
