임베디드 시스템의 명세 데이터를 이용한 테스트 코드 자동 생성 시스템 = Automatic Generation of Test Code System Using Detail Data for Embedded Systems

다국어 초록 (Multilingual Abstract)

There are many stages of developing embedded software including requirement analysis, design, coding, and testing. Among them, the software testing is important to make a software production without bugs. As the software testing often falls within the program coding stage, a programmer is in charge of testing software as well as making source codes. In this situation, making test codes for a program increases the burden on programmers. Also the test method can be different across programmers, so the result of the testing may not be trusted. This paper proposes the automatic generating system for the test code based on the requirement data. The proposed system generates test codes and test stubs according to test scenarios automatically. To show the performance of the implemented system, the code coverage of the test codes which have been written by programmers and that of the test codes generated automatically have been compared. According to the experiment result, the code coverage of two test codes is the same. This result shows that the system is helpful for a programmer to save considerable time and effort for the testing of embedded software, for the amount of test code is more than 40% of typical embedded software.

목차 (Table of Contents)

• Ⅰ서론 1
• Ⅱ관련 연구 4
• 2.1 V-모델 4
• 2.2 CodeProAnalyTix 6
• 2.3 임베디드 시스템의 테스팅 9
• 3.4 Coverity 12
• Ⅲ 테스트 코드 자동 생성 시스템 설계 및 구현 14
• 3.1 테스트 코드 자동 생성 시스템의 전체 구성 14
• 3.2 테스트 스텁 16
• 3.3 요구사항 데이터 19
• 3.4 테스트 코드 22
• 3.5 자동으로 생성된 테스트 코드 24
• Ⅳ코드 커버리지 비교 실험 27
• 4.1 코드 커버리지 비교 실험 27
• 4.2 코드 커버리지 및 코드 라인 비교 29
• Ⅴ결론 33