마이클 헤넬

Michael Hennell

마이클 A 교수 헤넬(Hennell, 1940년 9월 9일 ~ )은 영국의 컴퓨터 과학자로 소프트웨어 [1]테스트 분야에서 선도적인 공헌을 하고 있습니다.

마이클 헤넬은 영국 리버풀 대학의 수리 과학 교수였다.

소프트웨어 테스트에 있어서의 주도적인 역할의 일환으로서 Hennell은 소프트웨어 [2]테스트 분야의 주요 국제 저널인 Software Testing, Verification and Reliability(STVR)의 편집 이사였습니다.

Hennell의 학술적 연구는 처음에는 핵물리학에서 수행되었고, 그 결과 복잡한 [3]핵수학을 다루기 위해 계산 과학을 사용하게 되었다.이 작업이 의존했던 수학적 라이브러리의 품질을 평가함으로써 헤넬 교수는 [4][5][6]소프트웨어 테스트의 세계로, 특히 [7]테스트 데이터의 효과를 정량화하기 위한 정적 코드 분석의 사용에 있어 선형 코드 시퀀스와 점프 개념을 개발하게 되었다.

1975년 Hennell 교수는 수치 소프트웨어를 분석하도록 설계된 소프트웨어 테스트베드를 상용화하기 위해 Liverpool Data Research Associates Ltd(LDRA)를 설립했습니다.

레퍼런스

  1. ^ 마이클 A. DBLP Bibliography Server의 Hennell 씨
  2. ^ [1] 소프트웨어 테스트, 검증 및 신뢰성, 소프트웨어 테스트, 검증 및 신뢰성
  3. ^ M.A. Hennell, 슈뢰딩거 방정식의 해밀턴식 해법에 효과적인 방법. I. 1차원 문제, 1975 J. Phys.A: 수학.제8세대 171-17
  4. ^ M. A. Hennell, 수치 소프트웨어의 시험대. {I}. {Fortran}, 컴퓨터 저널 21(4):333-336, @nov, 1978
  5. ^ M. A. 헤넬과 D.헤들리, 수치 소프트웨어의 실험용 테스트 베드입니다. {II}. {ALGOL 68}, 컴퓨터 저널 22 (1):53-56, @feb, 1979
  6. ^ M.A. Hennell, M.R. Woodward 및 D Hedley, 보다 고도의 테스트 기술을 향한 워크숍, 신뢰성 높은 소프트웨어에 관한 워크숍, P. Roulefs, Hanser(Munchen-Wien) 1979년 편집 ISBN3-446-12910-3
  7. ^ M.A. 헤넬, D.Hedley와 M.R. Woodward, Algol 68 프로그램의 테스트 효과 정량화, Strathclyde ALGOL 68 회의 1977의 속행, 36-41, ISSN 0362-1340