Michael Hennell
Encyclopedia
Professor Michael A. Hennell (born 09 Sep 1940) is a British
computer scientist who has made leading contributions in the field of in software testing
.
Michael Hennell is Professor Emeritus of Mathematical Sciences
, University of Liverpool
in England
.
As part of his leading role in software testing, Hennell is a member of the editoral board of the journal Software Testing, Verification and Reliability (STVR), a major international journal in the field of software testing.
Hennell's academic research was initially conducted in Nuclear physics
, resulting in the use of Computational science
for addressing complex nuclear mathematics. Assessing the quality of the mathematical libraries on which this work depended lead Professor Hennell into the world of Software testing
, specifically in the use of Static code analysis
for quantifying the effectiveness of test data, which led to the development of the Linear Code Sequence and Jump
concept.
In 1975 Professor Hennell founded Liverpool Data Research Associates
Ltd. (LDRA) to commercialize the software test-bed designed to analyse numerical software.
United Kingdom
The United Kingdom of Great Britain and Northern IrelandIn the United Kingdom and Dependencies, other languages have been officially recognised as legitimate autochthonous languages under the European Charter for Regional or Minority Languages...
computer scientist who has made leading contributions in the field of in software testing
Software testing
Software testing is an investigation conducted to provide stakeholders with information about the quality of the product or service under test. Software testing can also provide an objective, independent view of the software to allow the business to appreciate and understand the risks of software...
.
Michael Hennell is Professor Emeritus of Mathematical Sciences
Mathematical sciences
Mathematical sciences is a broad term that refers to those academic disciplines that are primarily mathematical in nature but may not be universally considered subfields of mathematics proper...
, University of Liverpool
University of Liverpool
The University of Liverpool is a teaching and research university in the city of Liverpool, England. It is a member of the Russell Group of large research-intensive universities and the N8 Group for research collaboration. Founded in 1881 , it is also one of the six original "red brick" civic...
in England
England
England is a country that is part of the United Kingdom. It shares land borders with Scotland to the north and Wales to the west; the Irish Sea is to the north west, the Celtic Sea to the south west, with the North Sea to the east and the English Channel to the south separating it from continental...
.
As part of his leading role in software testing, Hennell is a member of the editoral board of the journal Software Testing, Verification and Reliability (STVR), a major international journal in the field of software testing.
Hennell's academic research was initially conducted in Nuclear physics
Nuclear physics
Nuclear physics is the field of physics that studies the building blocks and interactions of atomic nuclei. The most commonly known applications of nuclear physics are nuclear power generation and nuclear weapons technology, but the research has provided application in many fields, including those...
, resulting in the use of Computational science
Computational science
Computational science is the field of study concerned with constructing mathematical models and quantitative analysis techniques and using computers to analyze and solve scientific problems...
for addressing complex nuclear mathematics. Assessing the quality of the mathematical libraries on which this work depended lead Professor Hennell into the world of Software testing
Software testing
Software testing is an investigation conducted to provide stakeholders with information about the quality of the product or service under test. Software testing can also provide an objective, independent view of the software to allow the business to appreciate and understand the risks of software...
, specifically in the use of Static code analysis
Static code analysis
Static program analysis is the analysis of computer software that is performed without actually executing programs built from that software In most cases the analysis is performed on some version of the source code and in the other cases some form of the object code...
for quantifying the effectiveness of test data, which led to the development of the Linear Code Sequence and Jump
Linear Code Sequence and Jump
Linear code sequence and jump 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
Liverpool Data Research Associates is a provider of software analysis, test and requirements traceability tools for the Public and Private sectors and a pioneer in static and dynamic software analysis.-History:...
Ltd. (LDRA) to commercialize the software test-bed designed to analyse numerical software.