A formal model for the functional test of software to achieve maturity integrated level 2

Main Article Content


Milton Eduardo Escobar-Sánchez
Walter Marcelo Fuertes-Díaz


Software applications are becoming increasingly important for organizations because they allow to accomplish its core tasks efficiently. Therefore, it is compulsory to test the software quality. This research focuses on designing a formal model for the development of a functional software testing, that would achieve level 2 of Test Maturity Model Integrated (TMMI). To carry out this work, we started with a situational analysis using ISO-9001-2000. Then, several software quality models as ISO/IEC 9126, were reviewed. Also the main quality standards for software testing as TMM, TMMI, Test Process Improvement (TPI), and Test Management Approach (TMAP) were compared, based on some criteria such as the year of publication, licensing, defined levels, factories and risks. With this information a proposed model which is independent of the software development process was designed. It is based on the test cycle and it has been divided of four parts: Specification, Planning, Execution, and Evaluation. To validate this model, it was applied to a SMEs as a case of study. The results show the model efficiency. Also reveal that it is necessary to develop an organizational culture of quality within the company.


Article Details


The journal authorizes the total or partial reproduction of the published article, as long as the source, including the name of the Journal, author(s), year, volume, issue, and pages are cited.

The ideas and assertions expressed by the authors are their solely responsibility and do not represent the views and opinions of the Journal or its editors.

All articles included in the Revista Facultad de Ingeniería are published under the Creative Commons (BY) license.

Authors must complete, sign, and submit the Review and Publication Authorization Form of the manuscript provided by the Journal; this form should contain all the originality and copyright information of the manuscript.

The authors  keep copyright, however, once the work in the Journal has been published, the authors must always allude to it.

The Journal allows and invites authors to publish their work in repositories or on their website after the presentation of the number in which the work is published with the aim of generating greater dissemination of the work.


[1] G. J. Myers. The Art of software Testing. New York: John Wiley & Sons. 1979.

[2] Out of the crisis. Cambridge, MA: Massachusetts Institute of Technology. Center for Advanced Engineering Study, 1986.

[3] A. M. Turing. Computing machinery and intelligence. Mind, 433-460, 1950.

[4] W. E. Howden. “Methodology for the generation of program test data”. IEEE Transactions on Computers, 24(5), 554-560, 1975.

[5] “ANSI/IEEE STD 1008-1987 Standard for Software Unit Testing”. Institute of Electrical and Electronic Engineers, New York, 1988.

[6] W. C. Hetzel & B. Hetzel. The complete guide to software testing: QED Information Sciences Wellesley, MA, 1988.

[7] J. Tuya, I. R. Román & J. D. Cosín. Técnicas cuantitativas para la gestión en la ingeniería del software: NetBiblo, 2007.

[8] ISO-9001 (2014), Norma Internacional ISO 9001-2000, Spanish Translation Task Group, Disponible en: http://www.ccoo.us.es/uploads/descargas/documentacion/NormaInternacionalISO9001.pdf

[9] I. Padayachee, P. Kotze & A. van Der Merwe. ISO 9126 external systems quality characteristics, sub-characteristics and domain specific criteria for evaluating e-Learning systems. The Southern African Computer Lecturers’ Association, University of Pretoria, South Africa, 2010.

[10] M. A. Ampuero & Y. López-Trujillo. “Creando un profesional con disciplina en el proceso de desarrollo de software”. Ingeniería Industrial, 27(1), 4 pág, 2010.

[11] Myers. The art of software testing ( 2nd edition ed.), 2004.

[12] S. Sánchez Melchor. Una revisión y comparativa de Modelos de Procesos de Pruebas, 2010.

[13] A. S. Esteban. Marco metodológico para la mejora de las actividades de verificación y validación de productos software. Universidad Carlos III de Madrid, 2012.

[14] SWEBOK, Guide to the Software Engineering Body of Knowledge, 2004 Disponible en: http://www.swebok.org

[15] J. Zamora Hernández. Análisis de los procesos de verificación y validación en las organizaciones software, 2011.


Download data is not yet available.