技术特征：
技术总结
本发明公开了一种基于运行时验证技术的嵌入式系统软件调试方法，所述系统包括：I/O仿真步骤、需求规范检查步骤、调试功能步骤、执行控制步骤。其中需求规范检查步骤包括规范解析步骤、分析步骤、验证步骤和决策步骤；I/O仿真步骤调试程序的数据的输入和输出，连接开发环境和单片机。执行控制步骤控制调试的进程和运行，对调试进行状态设置。需求规范检查步骤在程序运行时验证程序是否满足时序停止条件。调试功能步骤对暂停的程序进行调试。本发明基于运行时验证，对满足一定的时序条件的程序进行触发调试，使得程序更加规范严谨，能够提高工作效率。
技术研发人员：黄滟鸿;赵慧;史建琦;何积丰;李昂;方徽星
受保护的技术使用者：华东师范大学;上海丰蕾信息科技有限公司
技术研发日：2017.05.09
技术公布日：2017.09.12