Modelo formal de pruebas funcionales de software para alcanzar el Nivel de Madurez Integrado 2

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

doi:10.19053/01211129.3549

PDF (Español (Colombia))

FLIP

HTML (Español (Colombia))

How to Cite

Escobar-Sánchez, M. E., & Fuertes-Díaz, W. M. (2015). A formal model for the functional test of software to achieve maturity integrated level 2. Revista Facultad de Ingeniería, 24(39), 31–42. https://doi.org/10.19053/01211129.3549

Published: May 5, 2015

Doi

https://doi.org/10.19053/01211129.3549

Dimensions

PlumX

Issue

Vol. 24 No. 39 (2015)

Section

PAPERS

License terms (SEE)

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 who publish in this Journal accept the following conditions:

a. The authors retain the copyright and transfer the right of the first publication to the journal, with the work registered under the Creative Commons attribution license, which allows third parties to use what is published as long as they mention the authorship of the work and the first publication in this Journal.

b. Authors can make other independent and additional contractual agreements for the non-exclusive distribution of the version of the article published in this journal (eg, include it in an institutional repository or publish it in a book) provided they clearly indicate that the work It was first published in this Journal.

c. Authors are allowed and recommended to publish their work on the Internet (for example on institutional or personal pages) before and during the process.
review and publication, as it can lead to productive exchanges and a greater and faster dissemination of published work.

d. The Journal authorizes the total or partial reproduction of the content of the publication, as long as the source is cited, that is, the name of the Journal, name of the author (s), year, volume, publication number and pages of the article.

e. The ideas and statements issued by the authors are their responsibility and in no case bind the Journal.

Milton Eduardo Escobar-Sánchez

Universidad de las Fuerzas Armadas ESPE

Walter Marcelo Fuertes-Díaz

Universidad de las Fuerzas Armadas ESPE

Abstract

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.

Keywords:

formal model of functional tests

level 2 TMMI

software development process

Downloads

Download data is not yet available.

References (SEE)

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

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

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

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

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

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

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.

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

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.

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.

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

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

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.

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

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

Citado por: