[发明专利]一种基于运行时验证技术的嵌入式系统软件调试方法

摘要

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

主权项

1.一种基于运行时验证技术的嵌入式系统软件调试方法，其特征在于，包括：I/O仿真步骤，控制调试程序的数据的输入和输出，通过RDI接口连接开发环境，并将RDI转换成JTAG/SWD协议连接待调试的单片机；需求规范检查步骤，根据运行时验证规范，在程序运行时验证程序是否满足时序停止条件；所述需求规范检查步骤包括规范解析步骤、分析步骤、验证步骤和决策步骤；所述分析步骤对当前运行程序的时序逻辑进行分析；所述分析步骤对所述当前运行程序的时序逻辑进行分析包括以下步骤：(1)、定位当前运行的程序；(2)、访问与当前运行的程序相关的寄存器，从而获取相关数据；(3)、将该程序的语句分析成相应的规则数据；所述规范解析步骤解析触发条件的需求规范，将其解析成一条条的时序条件；所述验证步骤将所述分析步骤分析出来的当前运行程序的时序逻辑与需求规范时序逻辑比较，验证两者是否符合；所述决策步骤在验证当前运行程序的时序逻辑满足需求规范时序逻辑时，触发相应的条件，对当前运行的程序采取相应的决策；调试功能步骤，在需求规范检查步骤验证出程序满足时序停止条件之后，对暂停的程序进行调试；执行控制步骤，控制调试的进程和运行，对调试进行状态设置。