Supporting requirements verification using XSLT

We present a light-weight approach for the automatic verification of requirements. This approach is not based on natural language parsing techniques but on the representation of requirements in XML. In our approach, XSLT stylesheets are used not only to automatically generate requirements documents, but also to provide verification-oriented heuristics as well as to measure the quality of requirements using some verification-oriented metrics. These ideas have been implemented in REM, an experimental XML-based requirements management tool also described.

[1]  Gustavo Rossi,et al.  Enhancing a requirements baseline with scenarios , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.

[2]  Linda H. Rosenberg,et al.  Requirements, Testing, and Metrics , 1998 .

[3]  Geri Schneider,et al.  Applying Use Cases: A Practical Guide , 1998 .

[4]  강문설.  [서평]「The Unified Modeling Language User Guide」 , 1999 .

[5]  Miguel Toro,et al.  Verifying software requirements with XSLT , 2002, SOEN.

[6]  Neil A. M. Maiden,et al.  Guiding use case authoring: results of an empirical study , 1999, Proceedings IEEE International Symposium on Requirements Engineering (Cat. No.PR00188).

[7]  Colette Rolland,et al.  Guiding the Construction of Textual Use Case Specifications , 1998, Data Knowl. Eng..

[8]  Julio Cesar Sampaio do Prado Leite,et al.  A Scenario Construction Process , 2000, Requirements Engineering.

[9]  Alistair Cockburn,et al.  Writing Effective Use Cases , 2000 .

[10]  Alan M. Davis,et al.  Identifying and measuring quality in a software requirements specification , 1993, [1993] Proceedings First International Software Metrics Symposium.

[11]  Suzanne Robertson,et al.  Mastering the Requirements Process , 1999 .

[12]  Wolfgang Emmerich,et al.  Static consistency checking for distributed specifications , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

[13]  Antonio Ruiz Cortés,et al.  A Requirements Elicitation Approach Based in Templates and Patterns , 1999, WER.