CAJ | 학술논문

针对嵌入式软件动态测试时的覆盖率分析问题,提出了一种嵌入式软件动态测试系统框架.该框架基于嵌入式软件测试的特点及路径覆盖的相关理论,包括被测试程序的静态分析、插桩技术和数据处理分析等部分.以静态分析指导插桩库的建立,通过插桩技术在程序分支或重要位置点植入探针,执行已插桩程序,获得动态测试跟踪数据,最后对数据进行处理分析并制作初步测试报告.结合该框架,模拟测试实验室现行项目208型海区终端的航标数据采集模块,得出路径覆盖率,证明该系统框架的可行性.
침대감입식연건동태측시시적복개솔분석문제,제출료일충감입식연건동태측시계통광가.해광가기우감입식연건측시적특점급로경복개적상관이론,포괄피측시정서적정태분석、삽장기술화수거처리분석등부분.이정태분석지도삽장고적건립,통과삽장기술재정서분지혹중요위치점식입탐침,집행이삽장정서,획득동태측시근종수거,최후대수거진행처리분석병제작초보측시보고.결합해광가,모의측시실험실현행항목208형해구종단적항표수거채집모괴,득출로경복개솔,증명해계통광가적가행성.
For the coverage analysis problems in embedded software dynamic testing,the dynamic testing system frame?work of embedded software is proposed. This framework based on the characteristics of embedded software testing and path coverage theory includes the static analysis of program under test,instrumentation technology and data processing analysis. The static analysis is used to direct the establishment of instrumentation library. Probes is implanted in program branches or important posi?tion through the instrumentation technology to execute the instrumented program and obtain the dynamic testing tracking data. At last,the data is processed and analyzed,and the preliminary testing report is made. The navigation mark data acquisition module of the existing project 208# sea area terminal was simulated and tested with the framework,and the path coverage rate was calculated. The result proved the feasibility of the system framework.