[SoftwareV&V] 16. Falut-Based Testing

[원문링크]

https://adorable-aspen-d23.notion.site/SoftwareV-V_16_Falut-Based-Testing-59b47cdd61874028b9bc73ab5c1512c3

SoftwareV&V_16_Falut-Based Testing

[2021 - 1학기 수강한 Software V&V 강의 정리본입니다.]

(Software Verification & Validation)

 

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들이 너무 많다
  • Statistical mutation : random 샘플
• —> * Weak mutaiton : 하나의 mutantdp 버그 여러 개 심고 하나만 발견해도 발견한걸로 치기