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

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

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

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

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

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

Ссылки

^ Майкл А. Хеннелл на DBLP библиографическом сервере
^ [1] Тестирование программного обеспечения, проверка и надежность, тестирование программного обеспечения, проверка и надежность
^ М. А. Хеннелл, Эффективный гамильтонов метод решения уравнения Шредингера. I. Одномерная задача , 1975 J. Phys. А: Математика. Быт. 8 171-17
^ М. А. Хеннелл, Экспериментальный стенд для численного программного обеспечения. {Я}. {Фортран} , Компьютерный журнал 21(4):333–336, ноябрь 1978 г.
^ М. А. Хеннелл и Д. Хедли, Экспериментальный стенд для численного программного обеспечения. {II}. {АЛГОЛ 68} , Компьютерный журнал 22(1):53--56, февраль 1979 г.
^ М. А. Хеннелл, М. Р. Вудворд и Д. Хедли, «На пути к более продвинутым методам тестирования» , Семинар по надежному программному обеспечению, стр. 19-29, изд. П. Раулефс, Хансер (Мюнхен-Вена), 1979 г. ISBN 3-446-12910-3
^ М. А. Хеннелл, Д. Хедли и М. Р. Вудворд, Количественная оценка эффективности тестирования программ 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] М. А. Хеннелл, Эффективный гамильтонов метод решения уравнения Шредингера. I. Одномерная задача , 1975 J. Phys. А: Математика. Быт. 8 171-17

[An_experimental_testbed_for_numerical_software._I._Fortran-4] М. А. Хеннелл, Экспериментальный стенд для численного программного обеспечения. {Я}. {Фортран} , Компьютерный журнал 21(4):333–336, ноябрь 1978 г.

[An_experimental_testbed_for_numerical_software._II._ALGOL_68-5] М. А. Хеннелл и Д. Хедли, Экспериментальный стенд для численного программного обеспечения. {II}. {АЛГОЛ 68} , Компьютерный журнал 22(1):53--56, февраль 1979 г.

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

[Quantifying_the_test_effectiveness_of_Algol_68_programs-7] М. А. Хеннелл, Д. Хедли и М. Р. Вудворд, Количественная оценка эффективности тестирования программ Algol 68 , Материалы конференции Strathclyde ALGOL 68, 1977, стр. 36–41, ISSN 0362-1340

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

[ 6 ]

[ 7 ]