论文研究 基于搜索的Simulink测试数据生成.pdf

为满足基于模型的测试需求, 研究了基于搜索的Simulink模型测试数据生成方法。对于严格约束, 该方法利用代价函数规则构建目标函数, 针对Simulink模型复杂性的特点, 采用模拟退火算法对目标函数求优, 最终搜索出满足目标约束的测试数据。由此设计了一种综合考虑宽松约束和严格约束的Simulink测试数据生成框架, 最后实现了该方法在典型案例的应用。实践证明, 该方法快速有效地解决了Simulink模型的测试数据生成问题。