王甜甜
- 作品数：140 被引量：349H指数：10
- 供职机构：哈尔滨工业大学更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金黑龙江省高等教育教学改革工程项目更多>>
- 相关领域：自动化与计算机技术文化科学经济管理建筑科学更多>>
- 如何在程序设计课程中培养计算思维能力被引量：10
- 2013年
- 近年来,随着"计算思维"在计算机基础课程教学中的地位和作用越来越突出,培养学生的计算思维和问题求解能力已成为程序设计课程的核心目标,为此程序设计课程必须从过去的单纯将程序设计作为一种编程工具、以讲解语法和程序设计方法为主向培养学生的计算思维和问题求解能力转变。本文从什么是计算思维、为什么要在程序设计课程中引入计算思维、程序设计课程重点应该培养计算思维、如何在程序设计课程中培养计算思维等几个方面,分别进行了阐述与分析,并结合课程教学给出了具体实例。
- 苏小红车万翔王甜甜赵玲玲
- 关键词：程序设计计算思维教学改革
- 多线程程序数据竞争检测和验证方法研究综述!被引量：6
- 2017年
- 随着软件规模的日益增长,多线程并发程序带来的缺陷也很快蔓延开来。数据竞争作为多线程并发程序中常见的问题,经常会导致程序不能正常运行,或更为严重地导致程序直接崩溃。数据竞争产生的条件往往都比较隐蔽和苛刻,不仅需要特定的输入,而且还需要特定的线程执行交错。因此,数据竞争很难被检测出来。本文介绍了多线程数据竞争检测和验证相关的研究现状,并对已有的数据竞争检测和验证方法在检测能力以及检测效率等方面做出比较、分析以及归纳。同时,对未来数据竞争检测和验证相关的研究方向进行了展望。
- 禹振杨振苏小红王甜甜
- 关键词：多线程
- 基于Modelica模型的AUTOSAR工具箱
- 本发明公开了一种基于Modelica模型的AUTOSAR工具箱，该工具箱以Modelica语言为基础表示AUTOSAR标准电子架构模型，并在此基础上提供一系列AUTOSAR功能的支持，包括AUTOSAR模型配置、AUTO...
- 王甜甜杨培豪吴翔虎董帅马芊鸿王梓轩
- 一种基于深度学习和强化学习的多粒度代码漏洞检测方法
- 本发明公开了一种基于深度学习和强化学习的多粒度代码漏洞检测方法，步骤如下：1)解析源代码，获取代码对应的中间代码表示；2)对中间代码进行切片，获取比源程序更小的代码段；3)使用代码分段表示方法将输入的代码段转化为低维连续...
- 蒋远苏小红王甜甜
- 面向程序分析的插桩技术研究被引量：5
- 2015年
- 为了满足测试覆盖分析和软件调试等程序分析技术对插桩技术的需求,提出了插桩模型,开发了一款实用的插桩工具。基于双缓冲技术,构建词法分析器和语法分析器。在语法分析归约时同步收集插桩信息,然后根据插桩策略执行插桩,生成目标文件。得到的程序运行时信息被应用于影响广泛的四种软件自动调试分析方法。对于这四种方法。缺陷语句均被准确识别为最可疑语句。应用结果表明,该方法能够为准确高效的程序分析提供必要的运行时信息。
- 王克朝成坚王甜甜任向民
- 关键词：程序插桩语法树
- 基于加权软件行为图的等价变异体检测方法
- 本发明公开了一种基于加权软件行为图的等价变异体检测方法，首先解析原始程序和变异体的源代码，进行语句级插桩，为后续执行时捕获执行路径奠定基础。其次，分别运行原始程序和变异体，在相同的输入下，如果变异体的输出与原始程序的输出...
- 苏小红龚丹王甜甜张彦航
- 基于大班翻转课堂的混合教学模式探索与实践被引量：96
- 2017年
- 各种MOOC平台的风起云涌,在改变学生学习方式的同时,也给教师的教学方式带来了新的挑战。将在线开放课程建设和应用纳入提高教学质量、提升人才培养水平的系统工程之中,探索MOOC应用新模式,已成为大势所趋。本文以哈工大"C语言程序设计"课程为例,介绍了如何基于MOOC/SPOC和大班翻转课堂进行混合式教学的探索,以及实践中的经验体会,最后介绍了学生对翻转课堂教学效果的反馈。
- 苏小红王甜甜张羽张彦航赵玲玲
- 关键词：程序设计课程
- 示例演化驱动的学生程序自动修复被引量：4
- 2019年
- 已有的程序自动化调试研究大多面向工业软件,而学生程序调试具有缺陷数多、类型复杂等特有难点问题,因此,针对学生程序设计应用背景,研究程序自动修复方法,利用模板示例程序指导补丁的演化.改进了遗传编程算法,包括适应度的计算、变异体的生成方式和变异位置及操作的选择方式,使其更加适合修复学生程序.提出了基于示例的静态错误定位方法,能够识别缺陷程序和参考程序差异和可能的变异操作,有效地缩小补丁的搜索空间以提高修复的准确性.提出了基于执行值序列的变量映射方法,以降低变异体的编译错误,提高修复的准确性.在此基础上,设计并实现了示例演化驱动的Java学生程序自动修复系统.实验结果表明,该方法可以修复含有多缺陷学生程序,对于所用的测试集,当学生程序只有1个～2个错误时,修复率将近100%;当含有3个缺陷时,修复率约为70%;当含有4个及以上缺陷时,修复率约为50%.
- 王甜甜许家欢王克朝苏小红
- 关键词：遗传编程
- C语言公共基础课教学内容与教学方法的改革与实践被引量：3
- 2014年
- 本文首先提出"以程序设计方法为主线,以语法和结构为核心,以培养能力和提高兴趣为目标,变应试为应用"的教学理念,在此教学理念指导下,主要介绍在C语言程序设计公共基础课教学中的教学内容与教学方法改革中所采取的具体措施和办法,最后介绍了这些教学内容与教学方法改革的实践效果。
- 苏小红赵玲玲王甜甜傅忠传
- 关键词：教学改革
- 基于K-最近邻的C克隆代码重构方法
- 2011年
- 在软件开发过程中，克隆代码已经成为引起软件缺陷的一个重要因素。针对现有的方法不能很好地处理内聚度低、功能交叉的克隆代码的问题，提出了一种基于K-最近邻的克隆代码重构方法。首先，对克隆代码进行静态分析，搜集控制依赖信息和数据流信息，再经过K-最近邻聚类方法，形成便于提取、功能独立的代码片段，然后对代码片段进行过程提取，使之成为一个独立的过程，并用过程调用替代原来的克隆代码。实验结果表明，该方法能够对克隆代码进行有效组织，并对功能独立的部分进行提取。
- 冯江辉王甜甜苏小红马培军
