基于SmartRocket的箭载嵌入式软件集成测试

针对目前箭载嵌入式软件集成测试工具测试用例编写时间长、人力成本高、测试用例报告适用性低等方面的问题,提出一种基于Smart Rocket的箭载嵌入式软件集成测试方法。SmartRocket采用广度优先自顶向下集成测试方法确定集成测试组合,基于动态符号执行技术自动生成集成测试用例,在满足函数覆盖和调用覆盖指标下生成与实际要求相符的测试用例报告。通过实验发现,该集成测试方法能够很好地实现集成测试用例自动化,提高了测试用例报告适用性,一定程度地增加了箭载嵌入式软件集成测试人员的测试效率。