[go: nahoru, domu]

Jump to content

Michael Hennell: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
No edit summary
No edit summary
Line 1: Line 1:
Dr '''Michael A. Hennell''' (born 09 Sep 1940) is a [[United Kingdom|British]] computer scientist who has made leading contributions in the field of in [[software testing]].<ref>{{dblp name|name=Michael A. Hennell|id=h/Hennell:Michael_A=.html}}</ref><ref>[http://en.scientificcommons.org/michael_hennell Michael Hennell], ''[[Scientific Commons]]''.</ref>
Professor '''Michael A. Hennell''' (born 09 Sep 1940) is a [[United Kingdom|British]] computer scientist who has made leading contributions in the field of in [[software testing]].<ref>{{dblp name|name=Michael A. Hennell|id=h/Hennell:Michael_A=.html}}</ref><ref>[http://en.scientificcommons.org/michael_hennell Michael Hennell], ''[[Scientific Commons]]''.</ref>


Michael Hennell is Professor Emeritus of [[Mathematical Sciences]], [[University of Liverpool]] in [[England]].
Michael Hennell is Professor Emeritus of [[Mathematical Sciences]], [[University of Liverpool]] in [[England]].

Revision as of 16:00, 26 April 2010

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.[1][2]

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.[3]

Hennell's academic research was initially conducted in Nuclear physics, resulting in the use of Computational science for addressing complex nuclear mathematics [4]. Assessing the quality of the mathematical libraries on which this work depended lead Professor Hennell into the world of Software testing [5][6][7], specifically in the use of Static code analysis for quantifying the effectiveness of test data [8], which lead 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.

References

  1. ^ Template:Dblp name
  2. ^ Michael Hennell, Scientific Commons.
  3. ^ [1] Software Testing, Verification and Reliability, Software Testing, Verification and Reliability
  4. ^ 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
  5. ^ M. A. Hennell, An experimental testbed for numerical software. {I}. {Fortran}, The Computer Journal 21(4):333--336, @nov, 1978
  6. ^ M. A. Hennell and D. Hedley, An experimental testbed for numerical software. {II}. {ALGOL 68}, The Computer Journal 22(1):53--56, @feb, 1979
  7. ^ M.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 ISBN:3446129103
  8. ^ 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