Falut-Based Testing

1. Falut-Based Testing

• 일반적인 fault 지식(사전지식)에 기반한 testing
• mutation testing

1) 일반적인 fault testing

: 특정 system을 만들 때 항상 이런 fault가 발생하더라, 이 부분에 미리 test case를 만들어 두자

• $sum$ Brute Force Testing

2) Mutation testing

: test case들의 quality를 테스트하기 위한 테스팅

• 과정 : Original 프로그램을 100개 복사해서 각 프로그램에 버그를 하나씩 심어둠

          > mutation testing 결과 버그를 찾으면 Quality good, 아니면 bad
  

• Functional testing(brute,categoty,model) , Structural testing 모두에 적용 가능

• mutant : 버그 심어 놓은 프로그램

  mutation : 버그 (simple한거)

** 예상문제) DVM test case에서 mutation이 나올 수 있는 예시

• Assumptions

  • programs are nearly correct (개발자들은 똑똑하니까 ;빼먹기 등과 같은 simple한 에러만 존재할거야)
  • Coupling effect hypothesis : simple한 fault를 잘 찾는다 → complex 도 잘 찾는다.

• Mutant Operators

  

• 단점) 한 mutant에는 하나의 버그만 존재해야하기 때문에 test해야 할 mutant들이 너무 많다

  —> * Weak mutaiton : 하나의 mutantdp 버그 여러 개 심고 하나만 발견해도 발견한걸로 치기

  • Statistical mutation : random 샘플