版权所有:内蒙古大学图书馆 技术提供:维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
专利申请号:CN202011378877.6
公 开 号:CN112579437B
代 理 人:南京理工大学专利中心封睿
代理机构:南京理工大学专利中心
专利类型:发明专利
申 请 日:20221129
公 开 日:20201201
专利主分类号:G06F11/36
关 键 词:插桩 日志 符合性验证 程序运行 过程验证 过程图 程序运行过程 接收过程数据 软件运行过程 标准符合 标准规则 关系建立 过程数据 流程信息 流程验证 数据建模 验证程序 运行过程 传入的 回传 启停 解析 匹配 直观 指令 填补 环节 展示
摘 要:本发明提出了一种程序运行过程符合性验证方法,包括动态插桩和过程验证两个环节,动态插桩工作时,接收并解析用户传入的指令,执行插桩启停过程,并回传过程数据日志;过程验证接收过程数据日志,提取日志中方法间的关系建立过程图模型,并将过程图模型与标准规则进行顺序匹配,从而验证程序运行过程的标准符合性。本发明通过插桩埋点、数据建模等方法直观、定量地展示出程序运行时内部的执行流程信息,提供了一种程序运行流程验证的方法,填补了针对软件运行过程符合性验证的空白。