基于程序变异的Simulink模型测试方法

为解决当前Simulink模型变异测试中测试执行开销大、测试用例生成效率低等问题,首先根据当前的Simulink模型变异算子集,基于程序变异技术提出了Simulink模型的变异测试过程和一组改进变异算子集.实验表明,在不影响测试用例集变异评分的情况下,该组变异算子集能够有效减少变异模型的生成数量,从而降低测试开销.其次,设计了一种基于搜索的Simulink模型变异测试用例生成方法,该方法将变异模型的测试用例生成问题转换为目标函数极小化问题,通过模拟退火算法对目标函数寻优,最终搜索出能够杀死该变异模型的测试用例.最后,将该方法应用于典型案例,验证了方法的正确性和有效性.

基于搜索的Simulink测试数据生成

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

Matlab/Simulink代码生成技术在RTDS上的应用

针对实际电力系统运行和控制的复杂性与Matlab仿真非实时性的矛盾,提出跨平台联合仿真。采用基于Matlab/Simulink代码生成技术与RTDS实时仿真系统相结合的方法,以高压直流输电系统模型为研究对象,利用Embedded Coder开发工具对系统的控制模块进行代码生成,并在RTDS中完成代码移植实验。通过对比仿真波形,验证得到结果行为一致。由此表明,该方法能够有效利用Simulink良好的开发环境和RTDS的实时仿真特性,在离线仿真成功的基础上,完成实时仿真测试,使工作便捷高效,同时保证结果精准可信。

RT-LAB在通用仿真与测试设备中的应用

介绍了RT-LAB软件及其特点,并利用其API接口函数设计了RT_STP仿真与测试平台,该平台集可视化建模、编译处理、试验控制、实时监控与数据分析等功能于一体,同时详细叙述了使用RT_STP平台开发RT-LAB应用的流程与方法。最后,将这种设计方法应用在通用仿真与测试设备的研制中,为先进飞控系统试验验证设计了一套完善的开环测试与闭环仿真、验收试验的通用试验环境。实践表明,基于RT-LAB的应用系统开发方便,实时性好,能够进行复杂的并行运算,而且具有通用性和型号无关性。