2진수를 활용한 MCC 테스트 케이스 생성기 설계 및 구현
(A Design and Implementation of MCC Test Cases Generator using Binary Numbers)
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
소프트웨어 테스트는 소프트웨어 개발 프로세스의 필수적인 부분이다. 특히 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 테스트 케이스 검증 연구에 도움이 된다. 또한 더 많은 테스트 케이스를 통해 결함발견 가능성도 증가시킨다. 이를 통해 소프트웨어 테스트의 커버리지 검증의 효율성과 소프트웨어의 품질 및 안정성을 향상하는 데 기여할 수 있다.
Abstract
Software testing is essential in the software development process. Modified Condition / Decision Coverage (MC/DC) is a test case derivation technique that enhances the stability and reliability of software by effectively verifying complex conditions and decision structures. We propose the MCC Test Cases (MTC) generator in this study. This generator generates Multiple Condition Coverage (MCC) test cases using binary numbers to confirm the maximum coverage value of MC/DC testing. The proposed MTC generator utilizes some conditions from the Traffic Alert and Collision Avoidance System (TCAS)-II specification. It converts them into a Comma-Separated Values (CSV) file and then validates the coverage results through the VectorCAST program. So, MC/DC testing was performed using the MCC test case to confirm the maximum coverage value when performing MC/DC tests for each condition of the TCAS-II specification. This research is helpful for the verification of MC/DC test cases by confirming the maximum coverage value when performing MC/DC tests. Moreover, having more test cases increases the likelihood of discovering defects. Therefore, it can improve the efficiency of software test coverage verification, as well as the quality and stability of software.
참고문헌 (19)
- Shekhawat, S., "Automation of MC", DC Coverage Test Case Suite Deploying the Optimal Strategic Choice for Tool Development, 2021, pp.248, 433~443
- Barisal, S. K., "BOOMPizer : Minimization and prioritization of CONCOLIC based boosted MC", DC test cases, 2022, pp.34(10), 9757~9776
- Barisal, S. K., "MC", DC guided Test Sequence Prioritization using Firefly Algorithm, 2021, pp.14, 105~118
- Godboley, S., "Toward optimal mc", dc test case generation, 2021, 505~516
- Čegiň, J, "Test Data Generation for MC", DC Criterion using Reinforcement Learning, 2020 (2020), 354~357
- Jaffar, J., "Optimal MC", DC test case generation, 2019, 288~289
- Zhipeng, Q., "A Method of Test Case Generation Based on VRM Model", 2021 IEEE 6th ICCCS, pp.1099~1107 (2021)
- Y. Wang, "Uncovering Bugs in Code Coverage Profilers via Control Flow Constraint Solving", IEEE Transactions on Software Engineering, 49(11), pp.4964~4987 (2023)
- Z. Aghababaeyan, "Black-Box Testing of Deep Neural Networks through Test Case Diversity", IEEE Transactions on Software Engineering, 49(5), pp.3182~3204 (2023)
- P. Singh, "Reliability and Safety Engineering for Safety Critical Systems : An Interview Study With Industry Practitioners", IEEE Transactions on Reliability, 70(2), pp.643~653 (2021)
- L. E. G. Martins, "Requirements Engineering for Safety-Critical Systems : An Interview Study with Industry Practitioners", IEEE Transactions on Software Engineering, 46(4), pp.346~361 (2020)
- J. Shi, "Automated Test Cases Generator for IEC 61131-3 Structured Text Based Dynamic Symbolic Execution", IEEE Transactions on Computers, 73(4), pp.1048~1059 (2024)
- L. Guglielmo, "Measuring Software Testability via Automatically Generated Test Cases", IEEE Access, 12, pp.63904~63916 (2024)
- A. Perera, "An Experimental Assessment of Using Theoretical Defect Predictors to Guide Search-Based Software Testing", IEEE Transactions on Software Engineering, 49(1), pp.131~146 (2023)
- S. D. Semujju, "Search-Based Software Test Data Generation for Path Coverage Based on a Feedback-Directed Mechanism", Complex System Modeling and Simulation, 3(1), pp.12~31 (2023)
- J. Sundell, "Safety-critical software-quantification of test results", 2020 IEEE International Symposium on Software Reliability Engineering Workshops, pp.303~310 (2020)
- E. Weyuker, "Automatically generating test data from a Boolean specification", IEEE Transactions on Software Engineering, 20(5), pp.353~363 (1994)
- L. Yang, "Generating minimal test set satisfying MC", DC criterion via SAT based approach, 2018, 1899~1906
- Kitamura, T., "Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving", SAFECOMP 2018, pp.123~138 (2018)