TRIC

TRIC - Tool for Requirements Inferencing and Consistency Checking

Relations between requirements influence a number of activities during software development such as consistency checking and change management. In most approaches and tools, there is a lack of precise definition of requirements relations. In this respect, deficient results may be produced. We aim at formal definitions of the relation types in order to enable reasoning about requirements relations. We give a requirements metamodel with commonly used relation types. The semantics of the relations is provided with a formalization in first-order logic. We use the formalization for consistency checking of relations and for inferring new relations. The TRIC tool supports both reasoning activities. It supports better understanding of dependencies between requirements. The application of requirements reasoning based on formal semantics resolves many of the deficiencies observed in other approaches.

TRIC is developed within the context of the QuadREAD project.

Features of the Tool

  • Managing Requirements: TRIC provides a GUI for managing requirements. The requirements engineer can add new requirements and update or delete existing requirements. There is also a a matrix view in order to represent and manage requirements and relations. The matrix view is less usable for large models. TRIC provides a visual editor in order to improve the usability of the tool for large models. The requirements engineer can select a smaller set of requirements to be shown in a graph.
     

  • Displaying Inconsistencies and Inferred Relations: The requirements relations are updated with inferred relations. Inconsistent relations are determined, if there are any. Inferencing and consistency checking enrich the set of requirements relations in the requirements specification.
     

  • Explaining Results of Reasoning: The requirements engineer may need further explanation of the result from the reasoning in order to update the requirements model. The tool visualizes how inferred relations are derived. The tool also provides a visualization for explanation of contradicting relations. Another visualization option provided by TRIC is to visualize the requirements related to a selected requirement at a given depth. Depth is the maximum number of relations between the requirement and its related requirements in the shortest path.
     

  • Change Impact Analysis: The requirements engineer input a change for a requirement in the requirements model. TRIC propagates this change in the model in a semi-automatic fashion by using the semantics of requirements relations.
     

  • Import/Export Mechanism for Other Requirements Management Tools: TRIC provides import/export mechanism in order to exchange requirements models with other requirements management tools such as IBM RequisitePro. Currently, TRIC can export (or import from) models to CSV format which can be imported by RequisitePro. There is also an import/export mechanism for Microsoft Excel in TRIC.


DOWNLOAD

Download TRIC (with Change Impact Analysis)
Download tutorial for TRIC pdf
Download tutorial for semantics of requirements relations pdf
Download example requirements model Course Management System (CMS) Version 1 with Inconsistent Relations and Version 2 without Inconsistent Relations



PEOPLE

Arda Goknil
Ivan Kurtev
Klaas van den Berg


PUBLICATIONS

Traceability of Requirements and Software Architecture for Change Management
Arda Goknil
PhD Thesis, University of Twente, 2011

Semantics of Trace Relations in Requirements Models for Consistency Checking and Inferencing
Arda Goknil, Ivan Kurtev, Klaas van den Berg, Jan Willem Veldhuis
Software and Systems Modeling Journal (SoSyM), Volume 10, Number 1, pp. 31-54, Springer, 2011


Change Impact Analysis for SysML Requirements Models based on Semantics of Trace Relations
David ten Hove, Arda Goknil, Ivan Kurtev, Klaas van den Berg, Koos de Goede
Traceability Workshop - European Conference on Model Driven Architecture Foundations and Applications (ECMDA-TW 2009)
Enschede, the Netherlands, June 23-26, 2009.


A Metamodeling Approach for Reasoning about Requirements
Arda Goknil, Ivan Kurtev, Klaas van den Berg
European Conference on Model Driven Architecture Foundations and Applications (ECMDA 2008)
Berlin, Germany, June 09-12, 2008


Change Impact Analysis based on Formalization of Trace Relations for Requirements
Arda Goknil, Ivan Kurtev, Klaas van den Berg
Traceability Workshop - European Conference on Model Driven Architecture Foundations and Applications (ECMDA-TW 2008)
Berlin, Germany, June 09-12, 2008