Applying reduction techniques to software functional requirement specifications

Authors:
Jameleddine Hassine;Rachida Dssouli;Juergen Rilling
Affiliations:
Department of Computer Science, Concordia University, Montreal, Canada;Concordia Institute for Information Systems Engineering, Montreal, Canada;Department of Computer Science, Concordia University, Montreal, Canada
Venue:
SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
Year:
2004

Citing 10
Cited 3

Dynamic program slicing

Information Processing Letters
Using Program Slicing in Software Maintenance

IEEE Transactions on Software Engineering
Precise Documentation of Well-Structured Programs

IEEE Transactions on Software Engineering
Beyond traditional program slicing

ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Reduction and slicing of hierarchical state machines

ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Architecture-level dependence analysis in support of software maintenance

ISAW '98 Proceedings of the third international workshop on Software architecture
Deriving Message Sequence Charts from Use Case Maps Scenario Specifications

SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
The complexity of theorem-proving procedures

STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
Slicing of State-Based Models

ICSM '03 Proceedings of the International Conference on Software Maintenance
An evaluation of scenario notations and construction approaches for telecommunication systems development

Telecommunications Systems - Modeling, analysis, design and management

Generation of test purposes from use case maps

Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Slicing of component behavior specification with respect to their composition

CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
Timed use case maps

SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles

Quantified Score

Hi-index	0.00

Visualization

Abstract

Requirement Specification is gaining increasingly attention as a critical phase of software systems development. As requirement descriptions evolve, they quickly become error-prone and difficult to understand. Therefore, the development of techniques and tools to support requirement specification development, understanding, testing, maintenance and reuse becomes an important issue. This paper extends the well-known technique of program slicing to Functional Requirement Specification based on the Use Case Map notation. This new application of slicing, called UCM Requirement Slicing is useful to aid requirement comprehension and maintenance. In contrast to traditional program slicing, requirement slicing is designed to operate on the requirement specification of a system, rather than the source code of a program. The resulting requirement slice provides knowledge about high-level structure of a system, rather than its low-level implementation details. In order to compute a UCM Requirement slice, we provide a three steps slicing algorithm.