A formal model for the functional test of software to achieve maturity integrated level 2
Main Article Content
Autores
Milton Eduardo Escobar-SánchezWalter Marcelo Fuertes-Díaz
Abstract
Article Details
Licence
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.
References
[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.