王甜甜
- 作品数：140 被引量：349H指数：10
- 供职机构：哈尔滨工业大学更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金黑龙江省高等教育教学改革工程项目更多>>
- 相关领域：自动化与计算机技术文化科学经济管理建筑科学更多>>
- 一种使用收缩执行依赖图识别库函数的方法
- 一种使用收缩执行依赖图识别库函数的方法，属于软件逆向工程领域。所述方法为：1）对目标函数和库函数建立执行依赖图(EDG)；2）对EDG的局部EDG序列化，得到特征值序列和有序邻接矩阵；3）参照库函数EDG将目标函数和库函...
- 邱景苏小红马培军赵玲玲王甜甜
- 一种基于多图神经网络协同学习架构的显著性物体检测装置及方法
- 本发明是一种基于多图神经网络协同学习架构的显著性物体检测装置及方法。本发明涉及计算机视觉技术领域，确定显著性边缘特征与显著性区域特征，将显著性边缘特征与显著性区域特征分别通过图投影操作转化为边缘图节点与区域图节点；进行初...
- 刘冰王甜甜付平高丽娜陈浩林朱玉晴付洪硕闫铮
- 基于大模型的SysML状态机图形式化需求验证方法
- 一种基于大模型的SysML状态机图形式化需求验证方法，属于计算机软件开发技术领域。方法如下：收集SysML状态机图数据集，追溯对应需求文本，而后对SysML状态机图以及需求文本进行翻译并进行验证；对SysML状态机图以及...
- 葛楚妍王甜甜吴翔虎苏小红金野王克朝
- 基于切片属性图表示学习的函数级代码漏洞检测方法
- 本发明公开了一种基于切片属性图表示学习的函数级代码漏洞检测方法，首先引入新的切片准则，并提出切片属性图的概念，基于切片准则和程序切片技术生成代码的切片属性图，提取与漏洞候选关键点有依赖关系的图结构信息、节点属性信息和代码...
- 苏小红郑伟宁蒋远魏宏巍王甜甜赵玲玲
- 一种基于软件事务内存的并发缺陷规避系统及方法
- 本发明公开了一种基于软件事务内存的并发缺陷规避系统及方法，所述系统由事务自动划分模块、可回滚内存模块、可回滚I/O模块、条件变量处理模块和加锁解锁处理模块5个模块构成，所述方法为：一、实现对目标程序的自动事务划分；二、实...
- 禹振苏小红王甜甜赵玲玲
- 面向有效错误定位的测试用例优选方法被引量：9
- 2014年
- 针对已有测试用例选择方法在提高错误定位有效性方面存在局限性的问题,首先,定义"失效覆盖向量相似度优先排序"准则,将执行路径与失效执行路径相似的成功测试用例赋予较高的优先级;然后定义"失效覆盖等价划分优化选择"准则,选择能够最大区分失效执行语句的成功测试用例集合;在此基础上,建立测试用例优选模型(effective selection,ES).不同于已有方法,ES充分利用失效执行路径来提高错误定位的有效性.该模型被应用于优选Siemens测试用例集合,其结果被应用于Tarantula等4种错误定位方法.结果表明,ES在约简率Reduction和衡量错误定位有效性的Expense_increase两个指标方面,均优于已有的基于语句和基于向量的测试用例约简方法.ES不但可以获得97%以上的约简率,提高错误定位的效率,而且具有较低的Expense_increase,显著提高了错误定位的有效性.
- 王克朝王甜甜苏小红马培军童志祥
- 关键词：测试用例
- 一种知识与模型驱动的机载软件智能化失效模式分析方法
- 一种知识与模型驱动的机载软件智能化失效模式分析方法，属于计算机软件技术领域。所述方法为：通过解析和挖掘适航标准文本，构建适航标准‑准则知识‑失效模式库。基于解析适航标准‑准则知识‑失效模式库以及机载软件失效数据，构建机载...
- 王甜甜杨培豪金勤超王亦平吴翔虎苏小红王克朝陈源龙
- 基于频繁闭合序列模式挖掘的学生程序雷同检测被引量：1
- 2015年
- 针对学生程序抄袭导致考核可信度降低而人工检测抄袭工作量巨大的问题,提出了程序雷同检测模型,首先通过词法分析将程序转换成token序列,并将其散列映射为数字序列;然后采用BIDE挖掘算法挖掘频繁闭合序列;在此基础上,识别相似代码片段,并计算程序之间的相似度,进而判定程序是否雷同。实验结果表明,与目前应用广泛的雷同程序检测工具MOSS相比,本文方法提高了雷同检测的准确性,不但可以准确地给出雷同统计信息,还能够较为直观地显示雷同代码片段。
- 王克朝王甜甜苏小红马培军
- 关键词：计算机软件抄袭检测相似度
- 一种新的过程间静态切片快速算法被引量：3
- 2015年
- 针对传统的基于PDG、SDG的程序切片算法需要计算与程序切片无关的数据依赖而导致计算复杂度高的问题,提出一种新的过程间静态切片快速算法.该算法无需使用PDG、SDG的程序中间表示形式,而是根据TOKEN序列和复合语句控制结构信息表,将程序表示为id UCf五元结构,并在此基础上计算程序的过程间静态切片.实验结果表明,该算法在保证多层嵌套结构程序的静态切片完整性的前提下,充分考虑了函数调用信息,降低了时间与空间复杂度.本算法只计算与切片相关的数据依赖、控制依赖以及函数调用信息,计算复杂度低.
- 苏小红龚丹丹王甜甜马培军
- 关键词：系统依赖图数据依赖
- 基于程序理解的编程题自动评分方法被引量：36
- 2009年
- 针对传统的编程题自动评分方法没有考虑学生程序是怎样实现编程任务的,以及不能从程序文本的语法结构和语义角度衡量学生程序与正确答案的接近程度等问题,提出一种基于程序理解的自动评分方法.以程序理解的一般过程及基本策略为依据,结合人工阅卷的思维过程,建立评分模型.评分过程可划分为3个阶段:首先将程序代码转换成系统依赖图中间表示形式;然后,对系统依赖图进行标准化转换,消除程序表达方式的多样性;最后,匹配标准化后的学生程序与模板程序系统依赖图并根据匹配结果给出评分.该方法被应用于"C语言编程题自动评分系统"中.实验结果表明:它可以根据学生程序的语法和语义衡量学生程序实现编程任务的正确程度,具有较高的准确性.
- 马培军王甜甜苏小红
- 关键词：自动评分语义
