基于SmartUnit的安全通信系统单元测试用例自动生成

轨道交通信号通信系统的结构越来越复杂,人工统计分析已经不能满足对现有软件详尽评价目标,使用测试用例自动化生成工具的需求日趋明显。SmartUnit是针对嵌入式软件生成高代码覆盖率的单元测试用例自动化生成工具。它基于动态符号执行技术,可以实现单元测试用例的去冗余,满足语句、分支以及修正条件判定覆盖(MC/DC覆盖准则)。本文介绍了SmartUnit技术,及其如何自动生成信号通信系统中的单元测试用例,并将生成的单元测试用例与TestBed单元测试工具实现无缝对接。