Professor Michael A. Hennell (born 9 September 1940) is a British computer scientist who has made leading contributions in the field of

software testing Software testing is the act of examining the artifacts and the behavior of the software under test by validation and verification. Software testing can also provide an objective, independent view of the software to allow the business to apprecia ...

. Michael Hennell was a Professor of

Mathematical Sciences The mathematical sciences are a group of areas of study that includes, in addition to mathematics, those academic disciplines that are primarily mathematical in nature but may not be universally considered subfields of mathematics proper. Statisti ...

University of Liverpool , mottoeng = These days of peace foster learning , established = 1881 – University College Liverpool1884 – affiliated to the federal Victoria Universityhttp://www.legislation.gov.uk/ukla/2004/4 University of Manchester Act 200 ...

England England is a country that is part of the United Kingdom. It shares land borders with Wales to its west and Scotland to its north. The Irish Sea lies northwest and the Celtic Sea to the southwest. It is separated from continental Europe b ...

. As part of his leading role in software testing, Hennell was a member of the editorial board of the journal ''

Software Testing, Verification and Reliability ''Software Testing, Verification, & Reliability'' is a peer-reviewed scientific journal in the field of software testing, verification, and reliability published by John Wiley & Sons. STVR was founded in 1991 by Derek Yates. Martin Woodward bec ...

'' (STVR), a major international journal in the field of software testing.
Software Testing, Verification and Reliability, ''

'' Hennell's academic research was initially conducted in

Nuclear physics Nuclear physics is the field of physics that studies atomic nuclei and their constituents and interactions, in addition to the study of other forms of nuclear matter. Nuclear physics should not be confused with atomic physics, which studies the ...

, resulting in the use of

Computational science Computational science, also known as scientific computing or scientific computation (SC), is a field in mathematics that uses advanced computing capabilities to understand and solve complex problems. It is an area of science that spans many disc ...

for addressing complex nuclear mathematics.M.A. Hennell, ''An effective Hamiltonian method for the solution of the Schrodinger equation. I. The one-dimensional problem'', 1975 J. Phys. A: Math. Gen. 8 171-17 Assessing the quality of the mathematical libraries on which this work depended lead Professor Hennell into the world of

Software testing Software testing is the act of examining the artifacts and the behavior of the software under test by validation and verification. Software testing can also provide an objective, independent view of the software to allow the business to apprecia ...

,M. A. Hennell, ''An experimental testbed for numerical software. . '', The Computer Journal 21(4):333--336, @nov, 1978M. A. Hennell and D. Hedley, ''An experimental testbed for numerical software. . '', The Computer Journal 22(1):53--56, @feb, 1979M.A. Hennell, M.R. Woodward and D Hedley, ''Towards More Advanced Testing Techniques'', Workshop on Reliable Software pp. 19-29., ed. by P. Raulefs, Hanser (Munchen-Wien) 1979 specifically in the use of

Static code analysis In computer science, static program analysis (or static analysis) is the analysis of computer programs performed without executing them, in contrast with dynamic program analysis, which is performed on programs during their execution. The term i ...

for quantifying the effectiveness of test data,M.A. Hennell, D. Hedley and M.R. Woodward, ''Quantifying the Test Effectiveness of Algol 68 Programs'', Proceedings of the Strathclyde ALGOL 68 conference 1977, pp. 36 - 41, ISSN 0362-1340 which led to the development of the

Linear Code Sequence and Jump Linear code sequence and jump (LCSAJ), in the broad sense, is a software analysis method used to identify structural units in code under test. Its primary use is with dynamic software analysis to help answer the question "How much testing is enough ...

concept. In 1975 Professor Hennell founded

Liverpool Data Research Associates Liverpool Data Research Associates (LDRA) is a provider of software analysis, and test and requirements traceability tools for the Public and Private sectors and a pioneer in static and dynamic software analysis. History LDRA was founded in 1975 ...

Ltd. (LDRA) to commercialize the software test-bed designed to analyse numerical software.

References

{{DEFAULTSORT:Hennell, Michael 1940 births Academic journal editors Academics of the University of Liverpool British technology company founders English computer scientists Software engineers Software testing people Living people