抽象语法树相关论文
随着现代计算机科学技术的飞快发展,计算机辅助教学的模式深深影响着教育教学方式和课程考核形式。计算机程序在线考试系统是目前......
代码摘要是代码的自然语言描述,高质量的代码摘要能够帮助开发人员更好地理解软件并进行开发和复用,以减少软件开发的时间和人工成......
在软件产品呈现多样化的今天,软件规模与复杂度也随之提高,给软件测试与质量保证带来了新的挑战。软件缺陷预测通过历史代码模块构......
随着移动互联网的迅猛发展,移动应用市场的竞争变得愈发激烈,除了应用软件的实用性与创新性外,软件质量的可靠性已逐渐成为移动应......
计算机技术的飞速发展对各行业的研究和生产起到了巨大的推动作用,而计算机编程作为其中不可或缺的工具被越来越多地投入生产和使......
JavaScript引擎是浏览器的重要组成部分,为网页添加各式各样丰富的动态界面,给用户提供流畅美观的浏览效果,是整个浏览器动态显示......
学位
随着计算机技术的发展,软件规模的不断扩大,对软件中代码的静态检测技术也提出了更大的挑战。代码静态检测是为了提前检查出代码中......
随着当今人类生活走向智能化和现代化,软件已经成为了影响生活至关重要的因素。软件缺陷预测（Software defect prediction,SDP）辅助......
在软件生命周期的每个阶段都不可避免的引入bug。开发人员,测试人员和最终的系统用户都可以使用错误跟踪系统来提交bug,对于开发人......
大数据的兴起促进了数据规模的突飞猛进。数据库中往往存储了大量高价值的数据,以往用户想要查询数据库内容时,需要编写结构化查询......
越界写入漏洞,又名CWE787,通过该漏洞可以修改索引或执行指针算法,修改缓冲区的边界之外的内存数据。如果后续有写入操作,便会产生......
软件漏洞预测技术能辅助软件开发和维护保证软件质量。然而,结构复杂且规模庞大的漏洞源码所生成的抽象语法树表示更加复杂,会使基......
C语言作为结构化程序设计语言的代表,被众多高校确定为理工科各专业的必修课程,提高编程实践能力是该课程的重要教学目标之一。为......
在软件工程领域,学者们对代码克隆检测技术的研究从来未停止过。代码克隆检测的目的是为了找出软件系统中存在的克隆,通过分析克隆......
为提高和保障电网安全稳定控制系统控制策略(简称稳控策略)的实现效率和可靠性,研制了一种基于UML活动图的稳控策略的自动编程实现......
软件系统与日俱增的复杂性使得基于模型的协同开发成为热点。作为具有图形和文本两种表达方式的异形模型,由于其在图形和文本中的......
21世纪,随着科技创新的飞速发展,各行各业都享受着电子化信息产品带来的便利。在这便利的背后是众多工作人员对于每一款软件系统质......
框架是前端开发的重要工具,在生产过程中使用一款合适的框架可以降低耦合,提高工作效率。本文设计并实现了一款前端框架,可以帮助......
学位
开发人员为提高软件开发效率,通常会复制已有的代码片段,并粘贴或进行微小修改后重复使用。因此,软件系统中经常会出现相似的代码......
在线测评系统的普及和推广，一方面给高校带来了教学和评估的便利，另一方面却也逐渐暴露出一些弊端，譬如它不能很好地给学生提供一些相......
信息技术的发展，对全球的经济、政治、科教、军事等社会发展的各方面带来了重大的影响。信息化不仅仅使人类社会获得了高效率和便利......
源代码分析是软件测试、系统分析和软件开发领域中的重要组成部分。近年来,源码分析工具的出现,为程序员分析源代码提供了很大便利......
监控组态软件在工业控制中应用越来越广泛，对用户编程接口的支持显得日益重要。目前，这一领域的技术还不很成熟，一般组态软件只提供脚......
该论文主要研究了C/C++语言程序切片中的指针分析算法.在安全性分析工具的设计中,我们采用程序切片技术进行安全性分析.当进行数据......
该文致力于完成面向对象程序(C++)切片工具中数据依赖图的构造,因为数据依赖图的构造可以归结到程序中到达-定值信息的求解,所以该......
该文的研究作为软件系统安全性分析项目的一部分,主要涉及了程序分析器中的若干关键技术,包括控制流图、控制依赖图、和类层次图理......
该论文主要研究C/C++中的类型转换,特别是隐式类型转换的静态安全性检测.通过分析各数据类型的特性,研究它们之间不安全的转换,根......
成都华好网景科技有限公司拥有自主知识产权的国产关系数据库管理系统华好OKSQL,在OKSQL V1.2 已经支持SQL92 入门级标准中大多数......
XML是可扩展标记语言(ExtensibleMarkupLanguage)的简称，具有有效的表达各种信息、数据和使各种应用协同工作的能力，它已经成为Web上......
全球信息化快速推动了中国软件产业的不断发展，极大地促进了软件测试业的进步，但在软件测试的认识、软件测试技术、软件测试商业化等......
C／C++语言开发者追求的是语言的高效性、灵活性，为此在不同程度上忽略了语言的安全性。而且由于程序员能力上的不够或者粗心大意，严重......
随着计算机科学技术的发展,软件质量面临着新的任务和考验,软件语义分析作为一种提高软件质量的重要手段受到了社会的广泛关注。但......
在经济快速发展的今天，人们对成本和效率有了更高的要求。为了打破平台对用户的束缚，充分利用已有的成果，节省重新开发的费用，平台迁移......
复杂的软件系统往往有很多未知的系统错误，这些潜在错误给软件的可靠性、稳定性带来了很大的挑战性。模型检测技术(建模)能够从软件......
本文在分析C/C++程序安全检查工具框架的基础上，根据安全检查的特殊需求，给出了一种基于分析器自动生成工具ANTLR构造C/C++安全检查......
重构技术在软件开发和维护的过程中所起的作用日益受到人们的重视,作为减少软件中Code Smell的有效途径,重构逐渐成为软件工程研究......
本文介绍了作者在疑问代码和不良习惯检测方面所做的工作，包括疑问代码模式收集、分析和检测，并对疑问代码中一类重要模式--重复代码......
随着软件系统的普及,软件测试成为保证软件质量、提高软件可靠性的重要手段。而软件测试的工作量很大,用人工测试几乎难以胜任,在......
本文所做工作是科研课题“C/C++软件安全检查工具”的一部分。根据该课题的实际要求,本文在充分研究C/C++语法结构的基础上,主要做......
本文在分析程序安全检查工具框架的基础上,根据安全检查的特殊需求,给出了一种基于ASM(一种字节码分析工具)构造Java安全检查器前......
本文针对一个C/C++程序静态安全检查工具,设计与实现了其中的数据流分析器,该数据流分析器为安全检查工具收集安全检查时需要的数......
TTCN-3是一种标准的测试描述语言,可用于多种通信端口上的各种响应系统的测试。TTCN-3已经被广泛地应用于协议测试。TTCN-3不仅可......
别名分析在提高数据流分析精度和构建性能良好的程序分析工具方面发挥着重要作用。本文在分析已有别名分析框架的基础上，提出并实现......
本文讨论的软件安全检查工具支持C/C++和Java程序的安全漏洞检查。工具由前端和后端两部分组成，采用C/C++和Java独立的前端和共用的......
数据库技术是信息化社会的重要基础,数据库课程是国内高校计算机专业的必修课程。数据库教学中高效能、高质量实验技能训练,对提高......
