检索结果-内蒙古大学图书馆

计算机科学 2015年第4期42卷 151-155页

作者：曾一李函逾刘慧君余双双周波重庆大学计算机学院重庆400030 软件理论与技术重庆市重点实验室重庆400030

针对代码与模型之间的不一致性问题,提出了一种基于UML模型和java代码之间的一致性检测方法。首先,对UML类图和时序图进行形式化描述,并提出时序调用图(SD-CG)这一概念,在此基础上完成类的关联关系到关联属性的转换以及UML时序图到时序... 详细信息

针对代码与模型之间的不一致性问题,提出了一种基于UML模型和java代码之间的一致性检测方法。首先,对UML类图和时序图进行形式化描述,并提出时序调用图(SD-CG)这一概念,在此基础上完成类的关联关系到关联属性的转换以及UML时序图到时序调用图SD-CG的转换;其次,通过方法调用图CG来表达类方法之间的调用关系,从而反映代码动态行为,由此通过对java源代码的词法分析与语法分析,可获得类的信息及方法调用图CG;然后设计了UML模型与java源代码间一致性检测算法,包括对类间静态信息以及时序调用图SD-CG与方法调用图CG间的一致性检测;最后,通过开发UML模型与java源代码一致性检测工具,验证了所提出的方法是可行有效的。

关键词： UML模型 java代码时序调用图方法调用图一致性检测

来源：评论

学校读者我要写书评

暂无评论

基于静态分析的java代码风格自动化走查

基于静态分析的Java代码风格自动化走查

引用

作者：杨春雨同济大学

学位级别：硕士

软件项目开发往往是一个团队合作的过程，在合作中开发人员无法避免的需要阅读其他成员编写的代码，来理解具体的实现方式或原理。那么使用了整齐、一致的代码风格的软件项目，它自身的可读性、以及可扩展能力就可以得到一定的基础保障... 详细信息

软件项目开发往往是一个团队合作的过程，在合作中开发人员无法避免的需要阅读其他成员编写的代码，来理解具体的实现方式或原理。那么使用了整齐、一致的代码风格的软件项目，它自身的可读性、以及可扩展能力就可以得到一定的基础保障，尤其是对于一些历史遗留的软件项目来说。而实际情况却是，开发团队中的每一位开发人员都会有他自己的编程习惯，再加上现如今软件开发周期时间有限、版本迭代速度快、日常工作量大等因素，在软件项目中保持统一、整齐的代码风格是非常困难的。　　但是，由于软件项目的代码风格问题很少会对现阶段的项目程序产生致命的影响，所以软件项目的代码风格很难像软件缺陷一样受到开发人员和管理人员的重视。这就导致了，很多开发人员会直接选择无视软件项目中出现的代码风格问题，而不是主动的去更正它们。而随着软件项目开发或迭代的进行，代码风格问题会反复地出现并不断的累加，最终形成非常复杂、棘手，甚至难以修复的问题。　　所以可有效改善软件项目中代码风格的最直接方法就是，像软件测试一样将自动化、程序化的检查方法集成到软件项目开发的过程当中。同时，考虑到软件项目工程往往非常庞大、代码行数多、依赖关系复杂，于是本文提出了一个基于静态分析的代码风格自动化走查方法。　　首先，在本文中，分类、整理并总结了一个在日常软件项目开发过程中值得开发人员关注的几类代码风格问题集合;然后又借助静态分析工具对几个非常受欢迎的开源软件项目进行了代码风格走查，分析并列出了在所选开源项目中出现次数最多的代码风格问题及其出现的原因;并依据开源软件项目的走查分析结果，本文提出了一个基于缺陷模式匹配的，可以在软件项目开发过程中对代码风格问题进行自动化走查的方法JAPSW;最后，用代码实现了文中提出的基于静态分析的代码风格自动化走查方法，并通过设计一组模拟实验的方式，验证了代码风格自动化走查方法的可行性与正确性。

关键词： java代码自动化走查代码静态分析软件项目质量

来源：评论

学校读者我要写书评

暂无评论

基于java代码的混淆技术研究

基于JAVA代码的混淆技术研究

引用

作者：刘勇桂林电子科技大学

学位级别：硕士

由于Sun公司已经免费提供JVM的源代码,并且java源代码被编译成字节码存储在***文件中,而这些***文件格式的规范又是可公开获取的,这使得有技术背景的任何人都能很轻易地编写出可以处理、修改或转换.class文件的工具。虽然java应用程序... 详细信息

由于Sun公司已经免费提供JVM的源代码,并且java源代码被编译成字节码存储在***文件中,而这些***文件格式的规范又是可公开获取的,这使得有技术背景的任何人都能很轻易地编写出可以处理、修改或转换.class文件的工具。虽然java应用程序能够“编写一次,随处运行”,但这种环境的架构方式使java程序远比本机应用程序更容易被黑客逆向工程。现在保护 java程序比较实用的方法就是对 java代码进行混淆变换,增加程序被逆向分析的难度,使其被反编译后可理解性很差,以此达到保护java软件的目的。\n 目前,很多的代码混淆技术对代码进行混淆变换之后,虽然增加了 java源程序的复杂度以及抗攻击能力,但与此同时也在很大程度上增加了程序的执行开销。为了提高基于垃圾代码的控制流混淆方法的优化效果,针对插入分支垃圾代码以及循环垃圾代码会引入大量的额外开销的问题,本文从软件保护中代码混淆技术出发,对代码混淆技术的研究现状和原理、混淆算法攻击以及基于控制流混淆技术进行了深入的探索和研究,提出基于 java代码控制混淆中插入垃圾代码的改进方案。本文主要工作如下:\n 1.基于java代码控制流混淆算法中,其插入分支垃圾代码,能够在一定程度上增加程序的复杂度,但是由于插入差异性较大的垃圾代码时,很容易被攻击者静态分析所识破,因此为了进一步增强 java程序的安全性,本文提出所插入的垃圾代码必须具备一定的相关性,这样可以进一步增加java软件被逆向分析的难度。\n 2.基于java代码的控制流混淆算法中,所插入的分支垃圾代码以及循环垃圾代码,在程序执行时所有垃圾代码都会被执行,这会在很大程度上增加系统的开销,为此本文提出一种非全执行的控制流混淆算法。相比一般的控制流混淆算法,该算法既能在一定程度上保持原有程序的复杂度,又能不会给 java程序带来过多的系统执行开销。\n 3.由于近几年一些主流的反编译软件其针对性极强,类型单一的混淆算法,已经不再能满足软件安全性的要求,本文提出引入标识符重名的混淆方法。标识符重命名方法与其他种类的混淆方法相比,其优势在于给系统带来的额外开销非常小,并且能为软件增加一定的安全性。\n 论文工作研究表明,新的混淆变换方法,不仅能在一定程度上保护 java软件的安全,同时还能很好的保证软件的执行效率,具有较高的实用价值。

关键词： java代码混淆技术抗攻击能力软件保护

来源：评论

学校读者我要写书评

暂无评论

java代码安全缺陷分析软件研究

Java代码安全缺陷分析软件研究

引用

第四届信息安全漏洞分析与风险评估大会

作者：董国伟郭涛时志伟王眉林中国信息安全测评中心北京 100085

安全缺陷分析软件可以有效地检测源代码或中间代码中的安全缺陷。作者在广泛研究的基础上，对Bandera、ESC/java、FindBugs、JLint、PMD等五种java缺陷分析软件进行了对比，从工作原理、可检测的缺陷类型、发现的缺陷数量等方面综述了... 详细信息

安全缺陷分析软件可以有效地检测源代码或中间代码中的安全缺陷。作者在广泛研究的基础上，对Bandera、ESC/java、FindBugs、JLint、PMD等五种java缺陷分析软件进行了对比，从工作原理、可检测的缺陷类型、发现的缺陷数量等方面综述了它们之间的差异。实验结果表明，每种软件都能发现某些特定的缺陷类型，并且软件所基于的分析技术是影响其检测结果的主要因素。

关键词：系统安全缺陷分析工具软件 java代码缺陷类型

来源：评论

学校读者我要写书评

暂无评论

浅谈java代码安全性暴露问题

引用

浙江纺织服装职业技术学院学报 2006年第3期5卷 64-66页

作者：董云铮浙江纺织服装职业技术学院

有两类攻击可能会威胁应用程序的安全性:静态威胁和动态威胁。开发人员不能完全控制动态威胁,但对于静态威胁,是可以采取一些预防措施来消除的。本文讨论的重点是可能潜伏在java应用程序中的java代码安全性暴露及消除静态威胁的方法。

关键词： java代码安全№暴露动态威胁静态威胁

来源：评论

学校读者我要写书评

暂无评论

UML模型和java代码之间的一致性检测方法

UML模型和Java代码之间的一致性检测方法

引用

2014湖北省计算机学会学术年会

作者：曾一李函逾刘慧君余双双周波重庆大学计算机学院重庆400030 软件理论与技术重庆市重点实验室重庆400030 重庆大学计算机学院重庆400030

针对代码与模型之间的不一致性问题,提出了一种基于UML模型和java代码之间的一致性检测方法.首先,对UML类图和时序图进行形式化描述,并提出时序调用图(SD-CG)这一概念,在此基础上完成类的关联关系到关联属性的转换以及UML时序图到时序... 详细信息

针对代码与模型之间的不一致性问题,提出了一种基于UML模型和java代码之间的一致性检测方法.首先,对UML类图和时序图进行形式化描述,并提出时序调用图(SD-CG)这一概念,在此基础上完成类的关联关系到关联属性的转换以及UML时序图到时序调用图SD-CG的转换;其次,通过方法调用图CG来表达类方法之间的调用关系,从而反映代码动态行为,由此通过对java源代码的词法分析与语法分析,可获得类的信息及方法调用图CG;然后设计了UML模型与java源代码阃一致性检测算法,包括对类间静态信息以及时序调用图SD-CG与方法调用图CG间的一致性检测;最后,通过开发UML模型与java源代码一致性检测工具,验证了所提出的方法是可行有效的.

关键词：统一建模语言模型 java代码时序调用图方法调用图一致性检测

来源：评论

学校读者我要写书评

暂无评论

IBM公布能够自动生成java代码的编程工具

引用

现代电子技术 2003年第11期26卷 57-57页

来源：评论

学校读者我要写书评

暂无评论

一组新的柱面全景图投影公式及其交互浏览器的java Applet实现算法

引用

厦门大学学报（自然科学版） 2005年第4期44卷 479-483页

作者：潘伟姚晓静厦门大学自动化系厦门大学南洋研究院福建厦门361005

事先将在同一视点环绕拍摄的多幅部分重叠的图像正投影合成为一幅无缝的图像文件柱面全景图,它代表在拍摄点看到的周围360度视角的三维场景.在浏览时将用户观察的相应部分实时进行反投影为平面图像,然后投影到屏幕上.随着视角的改变,就... 详细信息

事先将在同一视点环绕拍摄的多幅部分重叠的图像正投影合成为一幅无缝的图像文件柱面全景图,它代表在拍摄点看到的周围360度视角的三维场景.在浏览时将用户观察的相应部分实时进行反投影为平面图像,然后投影到屏幕上.随着视角的改变,就可实现虚拟场景的漫游.柱面全景图的环视浏览具有很好的真实感和沉浸感,对计算机的硬件要求不高.本文详细介绍了这种全景图浏览器的实现原理,给出了一组全新且简便的投影与反投影公式,并在此基础上开发了交互式的java App let柱面全景图浏览器.最后给出了关键的java代码.

关键词：柱面全景图 Applet java 浏览器实现算法公式 java代码平面图像三维场景图像文件实现原理详细介绍硬件要求虚拟场景反投影正投影计算机沉浸感真实感交互式视角拍摄视点

来源：评论

学校读者我要写书评

暂无评论

java程序中数组越界和空指针错误的静态分析

引用

计算机应用 2009年第5期29卷 1376-1379页

作者：陈柏强郭涛阮辉严俊中国科学院软件研究所计算机科学国家重点实验室北京100190 中国科学院研究生院北京100049 中国信息安全测评中心北京100085

介绍了静态分析的相关背景知识,对java程序中数组越界和空指针错误的常见表现形式进行了归类,并通过实验评估了现有的java静态分析工具功能,指出了其在跨过程分析中的不足,并对如何改进进行了讨论。

关键词：静态分析工具 java代码数组越界空指针

来源：评论

学校读者我要写书评

暂无评论

基于模型驱动的Web服务符号执行与验证

引用

江西师范大学学报（自然科学版） 2022年第1期46卷 37-48页

作者：王昌晶陈茜丁希龙罗海梅左正康江西师范大学计算机信息工程学院江西南昌330022 江西师范大学管理科学与工程研究中心江西南昌330022 江西师范大学物理与通信电子学院江西南昌330022

Web服务测试与验证是保证Web服务功能正确的关键,目前大多数Web服务的研究无法对程序路径穷举遍历,不能保证分析的完备性.针对该不足,在基于模型驱动的3阶段Web服务模型转换生成方法的基础上,该文对转换生成的java代码进行符号执行与形... 详细信息

Web服务测试与验证是保证Web服务功能正确的关键,目前大多数Web服务的研究无法对程序路径穷举遍历,不能保证分析的完备性.针对该不足,在基于模型驱动的3阶段Web服务模型转换生成方法的基础上,该文对转换生成的java代码进行符号执行与形式化验证.符号执行方法可对程序运行的所有路径进行分析,为程序测试提供高覆盖率的测试用例,可以触发深层的程序错误,进而在java代码中加入JML方法契约,可对Web服务进行形式化验证.通过PayPal Web服务案例,采用模型驱动的方法将Web服务模型转换生成方法生成java代码,使用自动化工具对java代码进行符号执行;将Radl-WS服务建模语言转换为JML方法契约,并对java代码进行形式化验证.符号执行与形式化验证方法确保了生成的java代码可靠性与正确性,提高了自动化程度.

关键词： Web服务 Radl-WS java代码符号执行验证

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：