基于SPARDL的模型和程序一致性测试

针对周期控制系统的时序一致性进行研究, 提出基于SPARDL(space aircraft description language)的模型和程序一致性测试方法, 通过模型抽取获取模式迁移图和控制流程图, 通过程序插桩获取程序执行路径, 实现了自动检测周期控制系统中的模式迁移和模块调用的一致性, 给出了基于模式迁移图和控制流程图的覆盖检测并用于指导程序测试用例的生成。结合具体的周期控制系统, 验证了一致性测试方法在实际工程中的有效性。