SW 테스트 - 뮤테이션/비버깅 테스트

1. 뮤테이션테스트/비버깅

  1) 소스 코드 구문을 일정한 규칙으로 변형 후

  2) 원본 프로그램으로 테스트할 때와 동일한 입력 값으로 서로 다른 결과를 출력시키는 테스트 케이스를 선정하여 수행하는 결함 기반 테스트

2. 뮤테이션테스트의 유형

  1) 구조적 연산자:  상수대치, 변수대치, 상수<->변수대치

  2) 객체지향적 : 1) 상속성 : IHD - (Inheritance) Hiding variable Deletion,

                                 IOD - (Inheritance) Overriding method Deletion

                                 IOR  - (Inheritance) Overriding method Rename

                    2) 다형성 :  OMD - Overloading method deletion,

                                  PCD -(Polymorphism) type Cast operator Deletion

3 뮤테이션 테스트 유형

  1) Do fewer : 일부 뮤턴트만 사용하는 샘플링과 선택된 뮤테이션

  2) Do Faster : 여러 뮤턴트의 동일한 컴파일러를 사용하는 뮤테이션 기법

  3) Do Smarter : Test 수행을 여러 기계에 분산 수행함

4. 뮤테이션 테스트 절차 : 뮤턴트 생성 > 테스트케이스 실행 > Kill Mutant가 아닌 경우

                              동등 Mutant를 마크, 이를 제외한 테스트재수행

5. 뮤테이션 점수 MS(P,T)

    - Number of Dead M / (Number of Mutant - Number of equivalent Mutant)

6. 뮤테이션테스트vs비버깅

  - 뮤테이션테스트 : Mutant를 통한 Testcase의 적합성판단, Test결과의 신뢰성확보

  - 비버깅 : 의도적 오류코드삽입으로 잔존오류도출, 잔존오류추정

 

 

• Mutant score = Dead mutant / Total mutant (Mutant score가 높을수록 좋음)