Майкл Һеннел

Майкл Һеннел (; 1940 елның 9 сентябре) — программа тәэминатын сынау даирәсенә әйдәп баручы кертем ясаган Бөекбритания компьютер галиме.

 Тәрҗемәи хәле 
Майкл Һеннел Англиядә Ливерпуль Университетында математик фәннәр профессоры булган.
Программа тәэминатында әйдәп баручы роль өлеше буларак Һеннел әфәнде программа тәэминатын сынау даирәсендә төп әйдәп баручы Software Testing, Verification and Reliability журналының мөхәррирләр идарәсенең әгъзасы булган Software Testing, Verification and Reliability, Software Testing, Verification and Reliability.
Һеннел әфәнденең академик өйрәнүе башта атом-төш физикасында булган, йомгакта катлаулы атом-төш математика белән эш итү өчен исәпләү фәнен куллану булган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. Бу эштә шуларга йогынты ясаган математик китапханәләрнең сыйфатына бәяләмә бирү профессор Һеннелны программа тәэминатын сынау дөньясына китергән, аеруча сынау бирелгән мәгълүматы эффективлыгын санда чагылдыру өчен статик код анализы кулланылышына, бу «Сызыкча код дәвамлыгы һәм сикерү» концепциясе үсешенә китергәнM. A. Hennell, An experimental testbed for numerical software. {I}. {Fortran}, The Computer Journal 21(4):333--336, @nov, 1978M. A. Hennell and D. Hedley, An experimental testbed for numerical software. {II}. {ALGOL 68}, 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 ISBN 3-446-12910-3M.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.
1975 елда профессор Һеннел санлы программа тәэминатын анализлау өчен ясалган программа тәэминатын коммерциализацияләү өчен Liverpool Data Research Associates Ltd. ширкәтен нигезләгән.

 Искәрмәләр 

Төркем:Программистлар
Төркем:Физиклар
Төркем:Математиклар