咨询与建议

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >一种程序运行过程符合性验证方法 收藏
一种程序运行过程符合性验证方法

一种程序运行过程符合性验证方法

专利申请号:CN202011378877.6

公 开 号:CN112579437B

发 明 人:孟小峰 刘丽 王璐璐 刘亮 冯斌 岳才杰 姜丽 

代 理 人:南京理工大学专利中心封睿

代理机构:南京理工大学专利中心

专利类型:发明专利

申 请 日:20221129

公 开 日:20201201

专利主分类号:G06F11/36

关 键 词:插桩 日志 符合性验证 程序运行 过程验证 过程图 程序运行过程 接收过程数据 软件运行过程 标准符合 标准规则 关系建立 过程数据 流程信息 流程验证 数据建模 验证程序 运行过程 传入的 回传 启停 解析 匹配 直观 指令 填补 环节 展示 

摘      要:本发明提出了一种程序运行过程符合性验证方法,包括动态插桩和过程验证两个环节,动态插桩工作时,接收并解析用户传入的指令,执行插桩启停过程,并回传过程数据日志;过程验证接收过程数据日志,提取日志中方法间的关系建立过程图模型,并将过程图模型与标准规则进行顺序匹配,从而验证程序运行过程的标准符合性。本发明通过插桩埋点、数据建模等方法直观、定量地展示出程序运行时内部的执行流程信息,提供了一种程序运行流程验证的方法,填补了针对软件运行过程符合性验证的空白。

读者评论 与其他读者分享你的观点

用户名:未登录
我的评分