A review state of the art software verification approaches

The qualified software has becoming great challenge in developing new software. In order to ensure that quality is built into software meet with user requirement then the software V&V activities is substantially required for checking the software against its specification. Numerous approaches are available today that is used to verify the requirement engineering and design phase make us difficult to select an appropriate method for V&V effort. The first challenge of this paper is to find out the suitable methods to apply to verification in requirement engineering and design phase through making the comparative study. It introduces an evaluation framework based on both of the requirement quality model and the process modeling. Finally, this paper presents the significant result of the evaluation.

[1]  Guowu Yang,et al.  Component-based hardware/software co-verification for building trustworthy embedded systems , 2007, J. Syst. Softw..

[2]  Jan Martijn E. M. van der Werf,et al.  A software framework for automated verification , 2007, SAC '07.

[3]  Alon Gluska.  Coverage-oriented verification of Banias , 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).

[4]  Guido Menkhaus,et al.  Analysis and verification of the interaction model in software design , 2005, 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05).

[5]  Tetsuo Tamai,et al.  A Framework for Matching Requirements Engineering Techniques to Project Characteristics and Situation Changes , 2005 .

[6]  Liang Tang,et al.  Simulation-based Design and Validation of Automated Contingency Management for Propulsion Systems , 2007, 2007 IEEE Aerospace Conference.

[7]  Pablo Sanchez,et al.  Formal meaning of coverage metrics in simulation-based hardware design verification , 2005, Tenth IEEE International High-Level Design Validation and Test Workshop, 2005..

[8]  P. S. Grover,et al.  Few useful considerations for maintaining software components and component-based systems , 2007, SOEN.

[9]  Camille Salinesi,et al.  Criteria for Comparing Requirements Variability Modeling Notations for Product Lines , 2006, Fourth International Workshop on Comparative Evaluation in Requirements Engineering (CERE'06 - RE'06 Workshop).

[10]  John Håkansson,et al.  The SAVE approach to component-based development of vehicular systems , 2007, J. Syst. Softw..

[11]  Savi Maharaj,et al.  Omnibus verification policies: a flexible, configurable approach to assertion-based software verification , 2005, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05).

[12]  David P. Gluch,et al.  Model-Based Verification: A Technology for Dependable System Upgrade , 1998 .

[13]  Junbeom Yoo,et al.  An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification , 2005, Reliab. Eng. Syst. Saf..

[14]  Robyn R. Lutz.  Targeting safety-related errors during software requirements analysis , 1993, SIGSOFT '93.

[15]  Stefan Biffl,et al.  Investigating the Defect Detection Effectiveness and Cost Benefit of Nominal Inspection Teams , 2003, IEEE Trans. Software Eng..

[16]  Enver Yücesan,et al.  CPM: A collaborative process modeling for cooperative manufacturers , 2007, Adv. Eng. Informatics.

[17]  Lorenzo Moneta,et al.  Impact of software review and inspection , 2000 .

[18]  David Detlefs,et al.  Simplify: a theorem prover for program checking , 2005, JACM.

[19]  Philippe Massonet,et al.  Early verification and validation of mission critical systems , 2005, Formal Methods Syst. Des..

[20]  Liang Y Liu,et al.  Verification and validation of a project collaboration tool , 2008 .

[21]  K. Rustan M. Leino,et al.  Extended Static Checking: A Ten-Year Perspective , 2001, Informatics.

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

[23]  Mark Lillibridge,et al.  Extended static checking for Java , 2002, PLDI '02.

[24]  Sebastián Uchitel,et al.  LTSA-WS: a tool for model-based verification of web service compositions and choreography , 2006, ICSE.