stringtranslate.com

Michael Hennell

El profesor Michael A. Hennell (nacido el 9 de septiembre de 1940) es un científico informático británico que ha realizado contribuciones destacadas en el campo de las pruebas de software . [1]

Michael Hennell fue profesor de Ciencias Matemáticas de la Universidad de Liverpool en Inglaterra .

Como parte de su papel principal en las pruebas de software, Hennell fue miembro del consejo editorial de la revista Software Testing, Verification and Reliability (STVR), una importante revista internacional en el campo de las pruebas de software. [2]

La investigación académica de Hennell se llevó a cabo inicialmente en física nuclear , lo que resultó en el uso de la ciencia computacional para abordar matemáticas nucleares complejas. [3] La evaluación de la calidad de las bibliotecas matemáticas de las que dependía este trabajo llevó al profesor Hennell al mundo de las pruebas de software , [4] [5] [6] específicamente en el uso del análisis de código estático para cuantificar la efectividad de los datos de prueba, [7] lo que condujo al desarrollo del concepto de secuencia de código lineal y salto .

En 1975, el profesor Hennell fundó Liverpool Data Research Associates Ltd. (LDRA) para comercializar el banco de pruebas de software diseñado para analizar software numérico.

Referencias

  1. ^ Michael A. Hennell en el servidor de bibliografía DBLP
  2. ^ [1] Pruebas, verificación y confiabilidad de software, Pruebas, verificación y confiabilidad de software
  3. ^ MA Hennell, Un método hamiltoniano eficaz para la solución de la ecuación de Schrödinger. I. El problema unidimensional , 1975 J. Phys. A: Math. Gen. 8 171-17
  4. ^ MA Hennell, Un banco de pruebas experimental para software numérico. {I}. {Fortran} , The Computer Journal 21(4):333--336, @nov, 1978
  5. ^ MA Hennell y D. Hedley, Un banco de pruebas experimental para software numérico. {II}. {ALGOL 68} , The Computer Journal 22(1):53--56, @feb, 1979
  6. ^ MA Hennell, MR Woodward y D Hedley, Towards More Advanced Testing Techniques , Taller sobre software confiable, págs. 19-29, ed. por P. Raulefs, Hanser (Múnich-Viena) 1979 ISBN  3-446-12910-3
  7. ^ MA Hennell, D. Hedley y MR Woodward, Cuantificación de la eficacia de las pruebas de los programas Algol 68 , Actas de la conferencia ALGOL 68 de Strathclyde de 1977, págs. 36-41, ISSN 0362-1340