Майкл Хеннелл

Британский учёный-компьютерщик (родился в 1940 году)

Профессор Майкл А. Хеннелл (родился 9 сентября 1940 года) — британский учёный-компьютерщик, внёсший выдающийся вклад в область тестирования программного обеспечения . ^[1]

Майкл Хеннелл был профессором математических наук в Ливерпульском университете в Англии .

В рамках своей ведущей роли в тестировании программного обеспечения Хеннелл был членом редакционной коллегии журнала Software Testing, Verification and Reliability (STVR), крупного международного журнала в области тестирования программного обеспечения. ^[2]

Первоначально академические исследования Хеннелла проводились в области ядерной физики , что привело к использованию вычислительной науки для решения сложных задач ядерной математики. ^[3] Оценка качества математических библиотек, от которых зависела эта работа, привела профессора Хеннелла в мир тестирования программного обеспечения , ^[4]^[5]^[6] в частности, в мир использования статического анализа кода для количественной оценки эффективности тестовых данных, ^[7] что привело к разработке концепции линейной кодовой последовательности и перехода .

В 1975 году профессор Хеннелл основал компанию Liverpool Data Research Associates Ltd. (LDRA) с целью коммерциализации испытательного стенда программного обеспечения, предназначенного для анализа численного программного обеспечения.

Ссылки

^ Майкл А. Хеннелл на сервере библиографии DBLP
^ [1] Тестирование программного обеспечения, проверка и надежность, Тестирование программного обеспечения, проверка и надежность
^ MA Hennell, Эффективный гамильтонов метод решения уравнения Шредингера. I. Одномерная задача , 1975 J. Phys. A: Math. Gen. 8 171-17
^ MA Hennell, Экспериментальный испытательный стенд для численного программного обеспечения. {I}. {Fortran} , The Computer Journal 21(4):333--336, @nov, 1978
^ MA Hennell и D. Hedley, Экспериментальный испытательный стенд для численного программного обеспечения. {II}. {ALGOL 68} , The Computer Journal 22(1):53--56, @feb, 1979
^ М. А. Хеннелл, М. Р. Вудворд и Д. Хедли, «На пути к более продвинутым методам тестирования» , Семинар по надежному программному обеспечению, стр. 19-29, изд. П. Раулефс, Хансер (Мюнхен-Вена), 1979 ISBN 3-446-12910-3
^ MA Hennell, D. Hedley и MR Woodward, Количественная оценка эффективности тестов программ на языке Algol 68 , Труды конференции Strathclyde ALGOL 68 1977, стр. 36 - 41, ISSN 0362-1340

[DBLP-1] Майкл А. Хеннелл на сервере библиографии DBLP

[2] [1] Тестирование программного обеспечения, проверка и надежность, Тестирование программного обеспечения, проверка и надежность

[An_effective_Hamiltonian_method_for_the_solution_of_the_Schrodinger_equation._I._The_one-dimensional_problem-3] MA Hennell, Эффективный гамильтонов метод решения уравнения Шредингера. I. Одномерная задача , 1975 J. Phys. A: Math. Gen. 8 171-17

[An_experimental_testbed_for_numerical_software._I._Fortran-4] MA Hennell, Экспериментальный испытательный стенд для численного программного обеспечения. {I}. {Fortran} , The Computer Journal 21(4):333--336, @nov, 1978

[An_experimental_testbed_for_numerical_software._II._ALGOL_68-5] MA Hennell и D. Hedley, Экспериментальный испытательный стенд для численного программного обеспечения. {II}. {ALGOL 68} , The Computer Journal 22(1):53--56, @feb, 1979

[Towards_More_Advanced_Testing_Techniques-6] М. А. Хеннелл, М. Р. Вудворд и Д. Хедли, «На пути к более продвинутым методам тестирования» , Семинар по надежному программному обеспечению, стр. 19-29, изд. П. Раулефс, Хансер (Мюнхен-Вена), 1979 ISBN 3-446-12910-3

[Quantifying_the_test_effectiveness_of_Algol_68_programs-7] MA Hennell, D. Hedley и MR Woodward, Количественная оценка эффективности тестов программ на языке Algol 68 , Труды конференции Strathclyde ALGOL 68 1977, стр. 36 - 41, ISSN 0362-1340