Support to the Software Verification Process Area in Organization-Oriented Software Development Environments

• Andrea Oliveira Soares Barreto UFRJ
• Ana Regina Cavalcanti da Rocha UFRJ

DOI: https://doi.org/10.5753/sbqs.2005.16155

Abstract

The need to effectively verify software quality, i.e., to determine if the specified functional and non-functional requirements are met, is now more compelling then ever. This paper presents the definition of a software verification process. The goal of this process is to support this verification through all development or maintenance processes providing the means to deliver better products. To support the execution of the proposed process, a tool has been developed. This tool is part of the Enterprise-Oriented Software Development Environments.

Keywords: Software Verification, Development, Organization Oriented Process

References

Andersson, C. (2003) “Exploring the Software Verification and Validation Process with Focus on Efficient Fault Detection”, Licentiate Thesis, Lund Institute of Technology (LTH), Lund University, Sweden.

Berling, T., Runeson, P. (2003) “Evaluation of Perspective Based Review Method Applied in an Industrial Setting”, IEEE Proceedings Software, vol. 150, n° 3, pp.177-184.

CMU/SEI (2002) “Capability Maturity Model Integration (CMMI)”, Version 1.1 – Staged Representation, Carnegie Mellon University, Software Engineering Institute, Pittsburgh.

Golubic, S. (2003) “On Software Quality Verification in the Object-Oriented Development Environment”, 7th International Conference on Telecommunications – ConTEL, pp.557-563, Zagreb, Croatia.

Humphrey, W. S. (1995) “A Discipline for Software Engineering. Reading”, MA Addison-Wesley Publishing Company.

ISO/IEC 12207 (1995) “Information Technology – Software Life-Cycle Processes”.

Juristo, N., Moreno, A. M., Vegas, S. (2003) “Limitations of Empirical Testing Technique Knowledge”, Lecture Notes on Empirical Software Engineering, Series on Software Engineering and Knowledge Engineering - Vol. 12.

Kan, S. H. (2003) “Metrics and Models in Software Quality Engineering”, Addison- Wesley Publishing Company.

Laitenberger, O., Vegas, S., Ciolkowoski, M. (2002) “The State of the Practice of Review and Inspection Technologies in Germany”, Tech Report Number: ViSEK/011/E.

Montoni, M., Miranda, R., Rocha, A. R., Travassos, G. H. (2004) “Knowledge Acquisition and Communities of Practice: An Approach to Convert Individual Knowledge into Multi-Organizational Knowledge”, Workshop Learning Software Organization, Banff.

mpsBr - Modelo Brasileiro de Melhoria de Processo de Software (2004) “Apresentação do Modelo de Referência para Melhoria de Processo de Software: uma abordagem brasileira”, XXX Conferência Latinoamericana de Informática (CLEI2004), Arequipa, Peru.

Myers, G. J. (1979) “The Art of Software Testing”, Wiley.

Nunes, E. D., Silva, R., Rocha, A. R., Natali, A. C., Santos, G. (2005) “Uma Abordagem para Implantação de Processos de Software com ISO 9001 e CMMI”, IV Simpósio Brasileiro de Qualidade de Software, Porto Alegre – RS.

Pfleeger, S. L. (2004) “Software Engineering – Theory and Practice”, Nova Jersey, Prentice-Hall.

Porter, A. A., Votta, L. G. Jr., Basili, V. R. (1995) “Comparing Detection Methods for Software Requirements Inspections: A Replicated Experiment”, IEEE Transactions on Software Engineering, Vol. 21, No. 6, pp. 563-575.

Rocha, A. R. C., Aguiar, T. C., Souza, J. M. (1990) “TABA: A Heuristic Workstation for Software development”, In: Proceedings of COMPEURO 90, Tel Aviv, Israel.

Rocha, A. R. C., Maldonado, J. C., Weber, K. C. (2001) “Qualidade de Software – Teoria e Prática”, São Paulo, Prentice Hall.

Silva, L. F. S., Travassos, G. H. 2003, “Apoio Ferramental para Aplicação de Técnicas de Leitura Baseada em Perspectiva (PBR)”, Workshop de Teses – XVII Simpósio Brasileiro de Engenharia de Software, Manaus – AM.