一种基于运行时验证技术的嵌入式系统软件调试系统

作者:黄滟鸿; 赵慧; 史建琦; 何积丰; 李昂; 方徽星
来源:2019-11-12, 中国, ZL201710322906.9.

摘要

本发明公开了一种基于运行时验证技术的嵌入式系统软件调试系统,所述系统包括:I/O仿真模块、需求规范检查单元、调试功能模块、执行控制模块。其中需求规范检查单元包括规范解析模块、分析模块、验证模块和决策模块;I/O仿真模块用于调试程序的数据的输入和输出,连接开发环境和单片机。执行控制模块用于控制调试系统的进程和运行,对调试系统进行状态设置。需求规范检查单元用于运行时验证程序是否满足时序停止条件。调试功能模块用于触发之后,对暂停的程序进行调试。本发明基于运行时验证,对满足一定的时序条件的程序进行触发调试,使得程序更加规范严谨,能够提高工作效率。