느린 시스템 유닛 테스트

Lazy systematic unit testing

Lazy Systematic Unit[1] Testing은 동적 분석을 통해 장치의 진화하는 사양을 유추할 수 있는 능력과 장치의 상태 공간을 경계 깊이로 철저히 탐색하고 테스트할 수 있는 시스템 테스트라는 두 가지 개념에 기초한 소프트웨어 장치 테스트 방법입니다.테스트 툴킷 JWalk는 Java 프로그래밍 [2]언어로 느린 시스템 단위 테스트를 지원하기 위해 존재합니다.

레이지 사양

Lazy Specification은 소프트웨어 사양에 대한 유연한 접근 방식을 말하며, 사양은 자주 수정되는 [1]코드와 병행하여 빠르게 진화합니다.이 사양은 시제품 소프트웨어 유닛의 반자동 분석을 통해 추론됩니다.여기에는 (장치 인터페이스의) 정적 분석 및 (장치 동작의) 동적 분석이 포함될 수 있습니다.동적 분석은 보통 프로그래머와의 제한된 상호 작용으로 보완됩니다.

Lazy 사양이라는 용어는 함수 프로그래밍의 게으른 평가와 유추하여 만들어졌습니다.후자는 온 디맨드로만 평가되는 하위 표현식의 지연된 평가를 나타냅니다.이는 코드 변경과 병행하여 발전하는 사양의 늦은 안정화와 유사하며, 이것이 안정적이라고 판단될 때까지 지속됩니다.

체계적인 테스트

체계적 테스트란 소프트웨어 테스트에 대한 완전한 적합성 테스트 접근방식을 말하며, 테스트된 유닛은 테스트 [3]가정까지 사양에 완전히 부합하는 것으로 나타납니다.이는 탐색적, 불완전 또는 무작위 형태의 테스트와 대비된다.테스트 종료 후 반복 가능한 정확성 보증을 제공하는 것이 목적입니다.

체계적인 테스트 방법의 예로는 Stream X-Machine 테스트[4] 방법 및 완전한 경계값 분석을 사용한 등가 파티션 테스트가 있습니다.

레퍼런스

  1. ^ a b A J H Simons, JWalk: 설계의 자기성찰과 사용자 상호작용에 의한 Java 클래스의 느린 시스템 단위 테스트, Automated Software Engineering, 14(4), 12월, B.누세이베, (보스턴: 스프링거, 2007), 369-418.
  2. ^ JWalk 홈페이지 http://www.dcs.shef.ac.uk/~ajhs/jwalk/
  3. ^ A J H Simons, 행동적으로 호환되는 객체 유형에 대한 회귀 테스트 이론, 소프트웨어 테스트, 검증 및 신뢰성, 16(3), UKTest 2005 특별호, 9월호, ED.M Woodward, P McMinn, M Holcombe 및 R Hierons (치체스터: John Wiley, 2006), 133-156.
  4. ^ F Ipate 및 W M L Holcombe, 일반 머신을 사용한 사양 및 테스트: 프레젠테이션 및 도입 사례, 소프트웨어 테스트, 검증 및 신뢰성, 8(2), (Chichester: John Wiley, 1998), 61-81.