Inception of Software Validation and Verification Practices within CMMI Level 2

Validation and verification are mandatory activities that software companies must perform when developing software products with a high degree of quality. Currently, more companies become aware that adopting CMMI (the software process maturity model developed by the Software Engineering Institute) can be a way to develop quality software. However, some companies are resistant to adopt CMMI maturity level 2 because they do not considerer this maturity level a benefit since its implementation is expensive and does not cover the validation and verification efforts. The simultaneous adoption of CMMI maturity level 2 with validation and verification process areas (from maturity level 3) lacks some methodological recommendations, since some dependencies exist between those two CMMI maturity levels. This PhD thesis will propose one approach to conciliate validation and verification practices with of CMMI maturity level 2 and by adopting ISO/IEC 29119 standard to fulfill a product lifecycle perspective.

[1]  Siv Friis.  Action research on systems development: case study of changing actor roles , 1988, CSOC.

[2]  Standard Glossary of Software Engineering Terminology , 1990 .

[3]  C. O. P. Hase,et al.  Rational Unified Process Best Practices for Software Development Teams , 2003 .

[4]  R. O'Brien.  An Overview of the Methodological Approach of Action Research , 2008 .

[5]  Bruno Legeard,et al.  Generation of test sequences from formal specifications: GSM 11‐11 standard case study , 2004, Softw. Pract. Exp..

[6]  Walter F. Tichy,et al.  Summary of the Dagstuhl workshop on future directions in software engineering: February 17–21, 1992, Schloß Dagstuhl , 1993, SOEN.

[7]  D.R. Wallace,et al.  Software verification and validation: an overview , 1989, IEEE Software.

[8]  Xi Chen,et al.  Analysis of Dependencies between Specific Practices in CMMI Maturity Level 2 , 2008, EuroSPI.

[9]  G. Cuevas,et al.  CMMI-ACQ: A Formal Implementation Sequences of the Processes Areas at Maturity Level 2 , 2008, 2008 Electronics, Robotics and Automotive Mechanics Conference (CERMA '08).

[10]  David E. Avison,et al.  Action research , 1999, CACM.

[11]  Leonard Steinborn.  International Organization for Standardization ISO 9001:2000 Quality Management Systems — Requirements , 2004 .

[12]  Diane L. Gibson,et al.  Performance Results of CMMI ® -Based Process Improvement , 2006 .

[13]  Doo-Hwan Bae,et al.  A Framework for the Vamp;V Capability Assessment Focused on the Safety-Criticality , 2005, 13th IEEE International Workshop on Software Technology and Engineering Practice (STEP'05).

[14]  Raghu Singh.  The Software Life Cycle Process Standard , 1995, Computer.

[15]  Stig Larsson,et al.  Experience Report: Using Internal CMMI Appraisals to Institutionalize Software Development Performance Improvement , 2006, 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO'06).

[16]  Tim Menzies,et al.  Learning IV&V Strategies , 2006, Proceedings of the 39th Annual Hawaii International Conference on System Sciences (HICSS'06).

[17]  Mario Jino,et al.  Analysis of an Artifact Oriented Test Process Model and of Testing Aspects of CMMI , 2006, PROFES.

[18]  Ana Regina Cavalcanti da Rocha,et al.  Applying ISO 9001:2000, MPS.BR and CMMI to Achieve Software Process Maturity: BL Informatica's Pathway , 2007, 29th International Conference on Software Engineering (ICSE'07).

[19]  Steven R. Rakitin.  Software verification and validation - a practitioner's guide , 1997 .

[20]  Ana Regina Cavalcanti da Rocha,et al.  Taba Workstation: Supporting Software Process Deployment Based on CMMI and MR-MPS.BR , 2006, PROFES.

[21]  Tim Menzies,et al.  Learning better IV&V practices , 2008, Innovations in Systems and Software Engineering.

[22]  Fabrizio Di Crosta.  GUIDE FOR ISO/IEC 12207 (SOFTWARE LIFE CYCLE PROCESSES) , 2010 .

[23]  Stefan Biffl,et al.  Improvement of design specifications with inspection and testing , 2005 .

[24]  Sanjai Rayadurgam,et al.  Test-sequence generation from formal requirement models , 2001, Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking.

[25]  M R De Villiers.  Three Approaches as Pillars for Interpretive Information Systems Research: Development Research, Action Research and Grounded Theory , .

[26]  Chong-Won Lee,et al.  A unified model for the implementation of both ISO 9001: 2000 and CMMI by ISO-certified organizations , 2006, J. Syst. Softw..

[27]  Mary Beth Chrissis,et al.  CMMI: Guidelines for Process Integration and Product Improvement , 2003 .

[28]  Mary Beth Chrissis,et al.  CMMI(R): Guidelines for Process Integration and Product Improvement (2nd Edition) (The SEI Series in Software Engineering) , 2006 .

[29]  Martin Höst,et al.  A case study investigating the characteristics of verification and validation activities in the software development process , 2003, 2003 Proceedings 29th Euromicro Conference.

[30]  Diane L. Gibson,et al.  Demonstrating the Impact and Benefits of CMMI ® : An Update and Preliminary Results , 2003 .

[31]  Glenford J. Myers,et al.  Art of Software Testing , 1979 .

[32]  Richard Baskerville,et al.  Investigating Information Systems with Action Research , 1999, Commun. Assoc. Inf. Syst..

[33]  Paul A. Strooper,et al.  An Iterative Empirical Strategy for the Systematic Selection of a Combination of Verification and Validation Technologies , 2007, Fifth International Workshop on Software Quality (WoSQ'07: ICSE Workshops 2007).

[34]  D. Ross Jeffery,et al.  An exploratory study of why organizations do not adopt CMMI , 2007, J. Syst. Softw..