摘要
轨道交通信号通信系统的结构越来越复杂,人工统计分析已经不能满足对现有软件详尽评价目标,使用测试用例自动化生成工具的需求日趋明显。SmartUnit是针对嵌入式软件生成高代码覆盖率的单元测试用例自动化生成工具。它基于动态符号执行技术,可以实现单元测试用例的去冗余,满足语句、分支以及修正条件判定覆盖(MC/DC覆盖准则)。本文介绍了SmartUnit技术,及其如何自动生成信号通信系统中的单元测试用例,并将生成的单元测试用例与TestBed单元测试工具实现无缝对接。
The communication system for rail transit signaling is becoming more and more com-plex in structure,manual statistical analysis cannot meet detailed evaluation of its existing soft-ware.So,the demand for using automated test case generation tools has become obvious.Smart-Unit is an automated unit test case generation tool that can generate high code coverage for em-bedded software.Using dynamic symbol execution techniques,SmartUnit can eliminate the re-dundancy of unit test cases and satisfy statement,branch,and modified condition/decision cover-age.This article introduces SmartU nit technology and describes how it automatically generates u-nit test cases for the communication systems for signaling and seamlessly integrates the resulting unit test cases with the TestBed unit test tool.
作者
陈慧琍
陈晓轩
Chen Huili;Chen Xiaoxuan
出处
《铁道通信信号》
2020年第6期43-47,共5页
Railway Signalling & Communication
关键词
信号通信系统
软件测试
符号执行
Signal communication system
Software testing
Symbolic execution
