Gold University of Minnesota M. Skip to main content.University of Minnesota. Home page.
 

What's inside.

ReqsCov
   

CriSys Home

CS Home

 
    Home > Tools > ReqsCov

ReqsCov

Installation of ReqsCov is done as follows:
  • First, the command line tool must be installed. This is as simple as downloading the tool, unpacking it into an appropriate directory (e.g. "C:\Crisys_Tools"), and then adding said directory to your working path. Note that currently, ReqsCov is only available for Windows and has only been tested on Windows XP.

  • Second, a ReqsCov Eclipse plugin can be installed. While this plugin is not required to use ReqsCov, it is a little easier than using the command line tool. The plugin requires that the command line tool be already installed.
A command line usage message is displayed by calling "ReqsCov" with no arguments. The ReqsCov Eclipse plugin is used by selecting "ReqsCov" from the "FormulaEvaluator" menu.

ReqsCov papers

Below is a list of papers related to ReqsCov. These papers outline the requirements coverage metrics measured by ReqsCov and the reasoning behind using such metrics. (Papers outlining the effectiveness of the metrics are forthcoming.)

Downloads

The Crisys Eclipse plugin update site is found here: http://crisys.cs.umn.edu/eclipse-updates/
The ReqsCov command line tool is found here: reqscov.zip
 
The University of Minnesota is an equal opportunity educator and employer.