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

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

An embedded system software debugging method based on runtime verification technology

The invention discloses an embedded system software debugging method based on runtime verification technology, which comprises a I/O simulation step, a requirements specification check step, a debugging function step, and an execution control step. Among them, the requirement specification check step includes specification analysis step, analysis step, verification step and decision step; I/O simulation step, data input and output of debugger, connect development environment and scm. Perform the control step, control the process and operation of debugging, and set the status of the debugging. The requirements specification check step verifies that the program meets the timing stop condition at the time the program is run. Debug the function steps and debug the suspended program. The invention is based on running time verification to trigger debugging of programs satisfying certain timing conditions, so that the program is more standard and precise, and can improve work efficiency.

【技术实现步骤摘要】
一种基于运行时验证技术的嵌入式系统软件调试方法
本专利技术涉及运行时验证技术，属于嵌入式系统软件调试

技术介绍
嵌入式系统软件调试系统一般是仿真器和调试器，这些硬件设备通常只集成了一种触发策略——通过打断点的形式，目标程序运行到该位置就触发中断条件停止，调试系统对其进行调试。或者某个变量变为某个值时停止。例如，申请号为201220580256.0的中国技术专利，涉及一种嵌入式在线仿真器，包括协议接口，所述协议接口通过数据线与计算机USB接口连接，协议接口上连接有系统状态读出逻辑单元和串并机构，串并机构上连接有数据校检单元和寄存器组，寄存器组上连接有断点控制逻辑单元、地址产生与控制逻辑单元、DMA控制逻辑单元和数据分配与状态控制逻辑单元；所述系统状态读出逻辑单元与数据校检单元、断点控制逻辑单元连接，系统状态读出逻辑单元、断点控制逻辑单元、地址产生与控制逻辑单元、数据分配与状态控制逻辑单元均与目标系统连接。该技术实现了设计人员通过计算机对目标系统进行实时在线仿真与调试，完善了目标系统软件与硬件功能开发与仿真调试流程。然而，软件分析中最重要的就是功能安全，目标程序在运行时，我们无本文档来自技高网...

【技术保护点】
一种基于运行时验证技术的嵌入式系统软件调试方法，其特征在于，包括：I/O仿真步骤，控制调试程序的数据的输入和输出，通过RDI接口连接开发环境，并将RDI转换成JTAG/SWD协议连接待调试的单片机；需求规范检查步骤，根据运行时验证规范，在程序运行时验证程序是否满足时序停止条件；调试功能步骤，在需求规范检查步骤验证出程序满足时序停止条件之后，对暂停的程序进行调试；执行控制步骤，控制调试的进程和运行，对调试进行状态设置。

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

【专利技术属性】
技术研发人员：黄滟鸿，赵慧，史建琦，何积丰，李昂，方徽星，
申请(专利权)人：华东师范大学，上海丰蕾信息科技有限公司，
类型：发明
国别省市：上海,31