[发明专利]一种基于运行时验证技术的嵌入式系统软件调试系统有效
申请号: | 201710322906.9 | 申请日: | 2017-05-09 |
公开(公告)号: | CN106980576B | 公开(公告)日: | 2019-11-12 |
发明(设计)人: | 黄滟鸿;赵慧;史建琦;何积丰;李昂;方徽星 | 申请(专利权)人: | 华东师范大学;上海丰蕾信息科技有限公司 |
主分类号: | G06F11/36 | 分类号: | G06F11/36 |
代理公司: | 北京辰权知识产权代理有限公司 11619 | 代理人: | 董李欣 |
地址: | 200062 上*** | 国省代码: | 上海;31 |
权利要求书: | 暂无信息 | 说明书: | 暂无信息 |
摘要: | 本发明公开了一种基于运行时验证技术的嵌入式系统软件调试系统,所述系统包括:I/O仿真模块、需求规范检查单元、调试功能模块、执行控制模块。其中需求规范检查单元包括规范解析模块、分析模块、验证模块和决策模块;I/O仿真模块用于调试程序的数据的输入和输出,连接开发环境和单片机。执行控制模块用于控制调试系统的进程和运行,对调试系统进行状态设置。需求规范检查单元用于运行时验证程序是否满足时序停止条件。调试功能模块用于触发之后,对暂停的程序进行调试。本发明基于运行时验证,对满足一定的时序条件的程序进行触发调试,使得程序更加规范严谨,能够提高工作效率。 | ||
搜索关键词: | 一种 基于 运行 验证 技术 嵌入式 系统软件 调试 系统 | ||
【主权项】:
1.一种基于运行时验证技术的嵌入式系统软件调试系统,其特征在于,包括:I/O仿真模块,用于调试程序的数据的输入和输出,提供RDI接口连接开发环境,并将RDI转换成JTAG/SWD协议连接待调试的单片机;需求规范检查单元,集成运行时验证规范,用于在程序运行时验证程序是否满足时序停止条件;所述需求规范检查单元包括规范解析模块、分析模块、验证模块和决策模块;所述分析模块用于对当前运行程序的时序逻辑进行分析,包括以下步骤:(1)、定位当前运行的程序;(2)、访问与当前运行的程序相关的寄存器,从而获取相关数据;(3)、将该程序的语句分析成相应的规则数据,发送给验证模块;所述规范解析模块用于解析触发条件的需求规范,将其解析成一条条的时序条件,发送给验证模块;所述验证模块用于将所述分析模块分析出来的当前运行程序的时序逻辑与需求规范时序逻辑比较,验证两者是否符合;所述决策模块用于验证模块之后,用于在验证当前运行程序的时序逻辑满足需求规范时序逻辑时,触发相应的条件,对当前运行的程序采取相应的决策;调试功能模块,用于在需求规范检查单元验证出程序满足时序停止条件之后,对暂停的程序进行调试;执行控制模块,用于控制调试系统的进程和运行,对调试系统进行状态设置;其中,所述I/O仿真模块、需求规范检查单元、调试功能模块顺序连接。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于华东师范大学;上海丰蕾信息科技有限公司,未经华东师范大学;上海丰蕾信息科技有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201710322906.9/,转载请声明来源钻瓜专利网。
- 上一篇:一种事件处理方法及装置
- 下一篇:一种不锈钢面餐车