Майкл Һеннел
Майкл Һеннел (ингл. Michael Hennell; 1940 елның 9 сентябре) — программа тәэминатын сынау даирәсенә әйдәп баручы кертем ясаган Бөекбритания компьютер галиме.
| Майкл Һеннел | |
|---|---|
| Туган | 9 сентябрь 1940 (84 яшь) |
| Һөнәре | информатика өлкәсендә белгеч, инженер |
| Эш бирүче | Ливерпуль университеты[d] |
Тәрҗемәи хәле
үзгәртүМайкл Һеннел Англиядә Ливерпуль Университетында математик фәннәр профессоры булган.
Программа тәэминатында әйдәп баручы роль өлеше буларак Һеннел әфәнде программа тәэминатын сынау даирәсендә төп әйдәп баручы Software Testing, Verification and Reliability журналының мөхәррирләр идарәсенең әгъзасы булган[1].
Һеннел әфәнденең академик өйрәнүе башта атом-төш физикасында булган, йомгакта катлаулы атом-төш математика белән эш итү өчен исәпләү фәнен куллану булган[2]. Бу эштә шуларга йогынты ясаган математик китапханәләрнең сыйфатына бәяләмә бирү профессор Һеннелны программа тәэминатын сынау дөньясына китергән, аеруча сынау бирелгән мәгълүматы эффективлыгын санда чагылдыру өчен статик код анализы кулланылышына, бу «Сызыкча код дәвамлыгы һәм сикерү» концепциясе үсешенә китергән[3][4][5][6].
1975 елда профессор Һеннел санлы программа тәэминатын анализлау өчен ясалган программа тәэминатын коммерциализацияләү өчен Liverpool Data Research Associates Ltd. ширкәтен нигезләгән.
Искәрмәләр
үзгәртү- ↑ [1] 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, 1978
- ↑ M. A. Hennell and D. Hedley, An experimental testbed for numerical software. {II}. {ALGOL 68}, The Computer Journal 22(1):53--56, @feb, 1979
- ↑ 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 3-446-12910-3
- ↑ 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