상세 보기
2진수를 활용한 MCC 테스트 케이스 생성기 설계 및 구현
(A Design and Implementation of MCC Test Cases Generator using Binary Numbers)
- 이로빈;
- 남영호
초록
소프트웨어 테스트는 소프트웨어 개발 프로세스의 필수적인 부분이다. 특히 MC/DC(Modified Condition / Decision Coverage)는 복잡한 조건과 결정 구조를 효과적으로 검증하여 소프트웨어의 안정성과 신뢰성을 높이는 데 사용된다. 본 연구에서는 MC/DC 수행의 최대 커버리지 값 확인을 위해 2진수를 활용한 MCC(Multiple Condition Coverage) 테스트 케이스 생성하는 MTC(MCC Test Cases) 생성기를 제안한다. 제안한 MTC 생성기는 TCAS(Traffic alert and Collision Avoidance System)-II 명세서 조건의 일부를 사용하여 CSV(Comma-Separated Values) 파일로 변환 후, VectorCAST 프로그램을 통해 커버리지 결과를 확인하였다. 그 결과 MCC 테스트 케이스로 MC/DC를 수행하여 TCAS-II 명세서의 각 조건들의 MC/DC 수행 시 최대 커버리지 값을 확인하였다. 이는 MC/DC 수행 시 커버리지 최댓값을 확인 함으로써 MC/DC 테스트 케이스 검증 연구에 도움이 된다. 또한 더 많은 테스트 케이스를 통해 결함발견 가능성도 증가시킨다. 이를 통해 소프트웨어 테스트의 커버리지 검증의 효율성과 소프트웨어의 품질 및 안정성을 향상하는 데 기여할 수 있다.
키워드
소프트웨어 테스트; 테스트 케이스; 커버리지; 다중조건 커버리지; 변경조건 결정 커버리지; Software Test; Test cases; Coverage; MCC; MC/DC
- 제목
- 2진수를 활용한 MCC 테스트 케이스 생성기 설계 및 구현
- 제목 (타언어)
- (A Design and Implementation of MCC Test Cases Generator using Binary Numbers)
- 저자
- 이로빈; 남영호
- 발행일
- 2024-08
- 저널명
- 스마트미디어저널
- 권
- 13
- 호
- 8
- 페이지
- 9 ~ 15