A survey of requirements verification techniques

Requirements verification is a set of procedures used to detect errors in requirement specifications. This paper discusses various types of requirement errors and illustrates each error with an example. It also examines several techniques used for requirements verification and the capability of each technique to identify various requirement errors. In addition, it reviews the use of each technique in various requirements analysis approaches and indicates the drawbacks of these techniques. This paper can help systems analysts to be aware of possible errors in requirement specifications and the limitations in requirements verification while using a requirements analysis approach.

[1]  Marvin A. Sirbu,et al.  OAM: an office analysis methodology , 1984 .

[2]  Janis A. Bubenko,et al.  Information Modeling in the Context of System Development , 1980, IFIP Congress.

[3]  Mary K. Vernon,et al.  SARA (System ARchitects Apprentice): Modeling, analysis, and simulation support for design of concurrent systems , 1986, IEEE Transactions on Software Engineering.

[4]  Justus D. Naumann,et al.  Prototyping: the new paradigm for systems development , 1982 .

[5]  Pam J. Mayhew,et al.  An Alternative Prototyping Classification , 1987, Comput. J..

[6]  Pamela Zave,et al.  An Operational Approach to Requirements Specification for Embedded Systems , 1982, IEEE Transactions on Software Engineering.

[7]  Douglas T. Ross,et al.  Applications and Extensions of SADT , 1985, Computer.

[8]  B MarimontRosalind.  A New Method of Checking the Consistency of Precedence Matrices , 1959 .

[9]  Antoni Olivé,et al.  Information derivability analysis in logical information systems , 1983, CACM.

[10]  Mack W. Alford.  A Requirements Engineering Methodology for Real-Time Processing Requirements , 1977, IEEE Transactions on Software Engineering.

[11]  James V. Hansen,et al.  ISMS: Computer-Aided Analysis for Design of Decision-Support Systems , 1979 .

[12]  Tom DeMarco,et al.  Structured Analysis and System Specification , 1978 .

[13]  Pericles Loucopoulos,et al.  Knowledge-based approach to requirements engineering using method and domain knowledge , 1988, Knowl. Based Syst..

[14]  Gerald M. Weinberg,et al.  Handbook of Walkthroughs, Inspections, and Technical Reviews: Evaluating Programs, Projects, and Products , 1990 .

[15]  Tarek K. Abdel-Hamid,et al.  The Economics of Software Quality Assurance: A Simulation-Based Case Study , 1988, MIS Q..

[16]  Thomas E. Bell,et al.  An Extendable Approach to Computer-Aided Software Requirements Engineering , 1976, IEEE Transactions on Software Engineering.

[17]  William R. King,et al.  The Design of Management Information Systems an Information Analysis Approach , 1975 .

[18]  Albert F. Case,et al.  Computer-aided software engineering (CASE): technology for improving software development productivity , 1985, DATB.

[19]  Barry W. Boehm,et al.  Improving Software Productivity , 1987, Computer.

[20]  Douglas T. Ross,et al.  Structured Analysis (SA): A Language for Communicating Ideas , 1977, IEEE Transactions on Software Engineering.

[21]  Mark R. Blackburn.  Using expert systems to construct formal specifications , 1989, IEEE Expert.

[22]  John C. Cherniavsky,et al.  Validation, Verification, and Testing of Computer Software , 1982, CSUR.

[23]  Sharon A. Stephens,et al.  Requirements expression and verification aid , 1978, ICSE '78.

[24]  B. Langefors,et al.  Some approaches to the theory of information systems , 1963 .

[25]  Barry W. Boehm,et al.  Verifying and Validating Software Requirements and Design Specifications , 1989, IEEE Software.

[26]  John Mylopoulos,et al.  Knowledge Representation as the Basis for Requirements Specifications , 1985, Computer.

[27]  Edsger W. Dijkstra,et al.  Notes on structured programming , 1970 .

[28]  Gruia-Catalin Roman,et al.  A taxonomy of current issues in requirements engineering , 1985, Computer.

[29]  Mohan Tanniru,et al.  Information System Verification and Validation during Requirement Analysis Using Petri Nets , 1989, J. Manag. Inf. Syst..

[30]  William E. Rzepka,et al.  A Case Study of SREM , 1985, Computer.

[31]  Mike Adler,et al.  An Algebra for Data Flow Diagram Process Decomposition , 1988, IEEE Trans. Software Eng..

[32]  Rosalind B. Marimont,et al.  A New Method of Checking the Consistency of Precedence Matrices , 1959, JACM.

[33]  J. Rockart.  Chief executives define their own data needs. , 1979, Harvard business review.

[34]  Edward Yourdon,et al.  Structured walkthroughs , 1978 .

[35]  Raymond T. Yeh,et al.  A software requirements analysis and definition methodology for business data processing , 1981, AFIPS '81.

[36]  William E. Howden.  Life-Cycle Software Validation , 1982, Computer.

[37]  Robert M. Poston,et al.  Software Quality Assurance , 1984, IEEE Transactions on Software Engineering.

[38]  L. Douglas Smith,et al.  Prototyping for Systems Development: A Critical Appraisal , 1985, MIS Q..

[39]  Thomas E. Bell,et al.  Software requirements: Are they really a problem? , 1976, ICSE '76.

[40]  William E. Howden,et al.  Tutorial : software testing & validation techniques , 1981 .

[41]  Henk Sol,et al.  Information Systems Design Methodologies: A Comparative Review , 1983 .

[42]  James Martin,et al.  Information engineering , 1981 .

[43]  Pam J. Mayhew,et al.  In Favour of System Prototypes and their Integration into the Systems Development Cycle , 1983, Comput. J..

[44]  H. Schneider.  Automated Tools for Information Systems Design , 1982 .

[45]  François Bodart,et al.  Computer-Aided Specification, Evaluation and Monitoring of Information Systems , 1985, ICIS.

[46]  Kweku Ewusi-Mensah,et al.  Identifying subsystems in information systems analysis , 1984, Inf. Syst..

[47]  A. Rochfeld,et al.  MERISE: An information system design and development methodology , 1983, Inf. Manag..

[48]  Gene E. Sievert,et al.  Specification-Based Software Engineering with TAGS , 1985, Computer.

[49]  Ernest A. Hershey,et al.  PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems , 1976, IEEE Transactions on Software Engineering.

[50]  J. D. Johannes,et al.  Systems Simulation: The Art and Science , 1975, IEEE Transactions on Systems, Man, and Cybernetics.

[51]  Sherman C. Blumenthal,et al.  Management information systems : a framework for planning and development , 1969 .

[52]  Ken Orr,et al.  Structured requirements definition , 1981 .