A formal model for the functional test of software to achieve maturity integrated level 2
Modelo formal de pruebas funcionales de software para alcanzar el Nivel de Madurez Integrado 2
Main Article Content
Abstract
Downloads
Article Details
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.