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