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

对Drjava和50个java语言开源项目的程序故障(差错)模式进行了分析,为其中一批比较常见的故障模式构建了故障模拟操作.设计并实现了一个基于BCEL库的字节码级java程序故障注入系统原型,它以静态方式对java目标程序进行故障模式扫描和故障注入,并给出相应的报告.对java示例程序所进行的故障注入实验初步验证了所开发的原型的有效性.

关键词： java程序故障模式故障模拟故障注入工具

来源：评论

学校读者我要写书评

暂无评论

java程序的死锁检验技术

Java程序的死锁检验技术

引用

作者：谭毅南京大学

学位级别：硕士

随着模型检验技术的日趋完善,用这种有限状态验证技术来检验软件的相关性质已逐渐成为软件工程领域研究的一个新的热点.Spin是当今世界上最好的模型检验工具之一.该文论述了用Spin来检查并发的java程序中的死锁的方法.这大致要经过三步... 详细信息

随着模型检验技术的日趋完善,用这种有限状态验证技术来检验软件的相关性质已逐渐成为软件工程领域研究的一个新的热点.Spin是当今世界上最好的模型检验工具之一.该文论述了用Spin来检查并发的java程序中的死锁的方法.这大致要经过三步.首先,对java程序进行静态的分析,抽取出可能导致死锁的部分.这是最为关键的一步,因为最后的模型的大小很大程度上取决于这一步的结果.然后,将抽取出来的这部分翻译成Promela描述的模型.最后,用Spin检验这个翻译出来的模型中是否存在死锁.该文的主要工作包括一下三个方面：1、对java中死锁的类型进行了分析.论述了java程序中可能引起等待的三种形式,即出口条件受到共享变量影响的循环引起的等待,锁定操作引起的等待和wait（）方法引起的等待.2、描述了java分层切片工具模型（JSTM）的设计思想和实现.该工具在分层切片的思想基础上,利用逐步求精的方法来得到面向对象程序的切片.3、提出了一种从java程序中抽取可能引起死锁的部分的方法.

关键词：死锁检验 Spin 模型检验 java程序

来源：评论

学校读者我要写书评

暂无评论

java程序运行时保护与监控技术研究

Java程序运行时保护与监控技术研究

引用

作者：奚阳南京大学

学位级别：硕士

随着软件系统的日益复杂，代码量越来越大。目前，java多线程的同步保护需要程序员手动完成，这样不仅加重了程序员的负担，而且难以实现读写互斥。此外，对方法调用顺序的运行时刻验证与监控也需要特殊的工具才能完成。对于程序进行并... 详细信息

随着软件系统的日益复杂，代码量越来越大。目前，java多线程的同步保护需要程序员手动完成，这样不仅加重了程序员的负担，而且难以实现读写互斥。此外，对方法调用顺序的运行时刻验证与监控也需要特殊的工具才能完成。对于程序进行并发控制和运行时跟踪/监控的需求日益迫切。目前有很多工具可以对程序进行动态验证，针对某些性质实现了运行时跟踪与监控。但是，大多数工具的使用方法比较复杂，且没有提供多线程并发程序的保护支持。\n 为此，我们参考目前流行的一些技术与框架采用的方法，采用AOP的思想，并结合现有的程序分析技术，提出利用java的annotation和反射机制来实现运行时刻监控和保护。这个方法具有简单易学的优点。基本思想如下：\n 1.程序员以java的annotation的方式声明设计意图，并在类的设计阶段将此设计意图加入到类的定义中；除此之外，程序员还需要提供一个工厂方法，类的使用者通过此工厂方法创建的对象将会受到运行时的监控；\n 2.类的使用者在使用类时，应该通过程序员提供的工厂方法来创建对象实例。通过java的反射机制可以获取annotation表示的设计意图，因此对象实例在运行时便可以受到跟踪与监控，从而使程序可以对各种操作行为进行保护及限制，以此来实现程序员的设计意图。\n 我们根据上述思想解决了多线程程序的并发保护和对象调用顺序的运行时刻监控问题。\n 在多线程并发保护问题时，程序员用@write和@read来分别修饰类中的写方法(会改变对象的状态)和读方法(不会改变对象的状态)。用户在被监控的对象上调用方法时，监控模块通过反射机制获取到这些annotation，然后根据是读方法还是写方法采取不同的保护行为。这个方法不仅可以帮助程序员自动实现多线程的读写互斥，还可以限制同时调用读方法的线程数量。\n 对于方法调用顺序的监控，我们的解决方法如下：程序员用annotation的方式，以正则表达式的形式修饰类的定义，以此来规定该类的方法被调用的约束。在监控某个对象时，我们通过反射机制获取到相应的annotation，并根据该正则表达式自动构造一个DFA，通过模拟DFA的状态转换来判断用户的调用行为是否合法，以此来实现对用户的调用行为的运行时刻监控。

关键词：软件系统 java程序运行时刻监控技术并发控制

来源：评论

学校读者我要写书评

暂无评论

java程序自动生成系统的设计与实现

JAVA程序自动生成系统的设计与实现

引用

作者：吴暾辉华侨大学

学位级别：硕士

该文阐述java程序自动生成系统的设计与实现.首先,文章提出java程序自动生成模型并简要分析其特点,然后着重阐述基于该模型的原型系统AUTOjava实现中的关键思想和算法.关键思想包括:采用哪种可视语言作为系统用户编程语言且容易用计算... 详细信息

该文阐述java程序自动生成系统的设计与实现.首先,文章提出java程序自动生成模型并简要分析其特点,然后着重阐述基于该模型的原型系统AUTOjava实现中的关键思想和算法.关键思想包括:采用哪种可视语言作为系统用户编程语言且容易用计算机实现;怎样用面向对象分析的观点看待PAD中的图标;怎样区分各种PAD图标更合理;采用怎样的数据结构描述PAD的树形结构更方便算法的实现;编辑PAD时如何显式地表现相应图标的变化;存储/恢复PAD树时结点中的指针以什么方式存储;java程序转换成PAD时采用什么手段跟踪潜藏在文本中的层次关系.关键算法有:相应于双亲-孩子-兄弟数据存储结构PAD树的遍历算法;编辑PAD时受影响结点的位置调整算法;PAD视图/文档相互转换算法;PAD/java程序相互转换算法.AUTOjava原型系统用Visual J+1.1开发平台在Windows 95环境下实现.它是一个基于java的集成化可视编程环境,具有平台无关,安全等特性,可以运行在Windows 98或Windows NT4.0上.系统实现了java编程可视化和java程序设计部分自动化.文章结尾对系统作一自我评价,并提出今后继续研究的方向.

关键词：软件工程软件设计自动化可视语言 PAD 图标 java程序

来源：评论

学校读者我要写书评

暂无评论

一种java程序Chopping方法

引用

计算机科学 2011年第1期38卷 150-155,161页

作者：蒋曹清应时倪友聪管华武汉大学软件工程国家重点实验室武汉430072 广西财经学院计算机与信息管理系南宁530003

程序Chopping对于程序理解、分析、调试、测试等具有重要的意义。已有的Chopping方法主要基于相互连接的系统依赖图(SDG),对于大程序这种SDG描述通常非常复杂,易导致程序Chopping结果不准确。针对这一问题,基于带标签的java程序描述方法... 详细信息

程序Chopping对于程序理解、分析、调试、测试等具有重要的意义。已有的Chopping方法主要基于相互连接的系统依赖图(SDG),对于大程序这种SDG描述通常非常复杂,易导致程序Chopping结果不准确。针对这一问题,基于带标签的java程序描述方法,提出一种java程序Chopping方法。该方法利用这种描述附带的程序依赖信息,分析参数依赖关系,并在此基础上给出Chopping算法。此程序Chopping方法能把java程序方法间的程序Chop-ping问题转换到java程序方法内进行分析,程序依赖图具有结点少、可重用、可并发构造等优点。最后通过实例和实验给出程序Chopping方法的实施过程及有效性。

关键词：程序Chopping Chopping算法 java程序 Chopping方法

来源：评论

学校读者我要写书评

暂无评论

多线程java程序的Petri网模型

引用

上海交通大学学报 1998年第10期32卷 124-126页

作者：鲍敢峰尤晋元上海交通大学计算机科学与工程系

Ｊａｖａ的多线程特性能有效地提高各种计算机资源的利用率．但是，多线程并行运行所造成的非确定性使得程序中潜在错误的定位和再现十分困难，这严重阻碍了Ｊａｖａ多线程机制的使用．提出了从Ｊａｖａ程序到Ｐｅｔｒｉ网的转化规则，... 详细信息

Ｊａｖａ的多线程特性能有效地提高各种计算机资源的利用率．但是，多线程并行运行所造成的非确定性使得程序中潜在错误的定位和再现十分困难，这严重阻碍了Ｊａｖａ多线程机制的使用．提出了从Ｊａｖａ程序到Ｐｅｔｒｉ网的转化规则，利用所得的Ｐｅｔｒｉ网模型能有效地支持并行和分布式软件的分析．该模型在应用中取得了很好的效果．

关键词： Petri网多线程 java程序

来源：评论

学校读者我要写书评

暂无评论

面向数据流的java程序指针分析技术研究

面向数据流的Java程序指针分析技术研究

引用

作者：钱巨东南大学

学位级别：博士

指针分析是许多程序分析工作的基础，它从源程序中抽取各指针变量的指向信息、各表达式间的别名信息，以及其它指针相关的信息，从而使后继分析能够准确地识别各程序点上访问的存储空间，判定它们的运行时类型，并进行指针信息相关的推... 详细信息

指针分析是许多程序分析工作的基础，它从源程序中抽取各指针变量的指向信息、各表达式间的别名信息，以及其它指针相关的信息，从而使后继分析能够准确地识别各程序点上访问的存储空间，判定它们的运行时类型，并进行指针信息相关的推导。多年来，人们对指针分析技术进行了广泛而深入的研究，取得了许多研究成果，使得它在程序编译、程序变换、软件维护、软件逆向工程与再工程等领域得到广泛应用，受到了广大软件研究人员的高度重视。\n 尽管如此，随着面向对象语言的不断动态化，以及程序规模的不断扩大，指针分析方法在走向应用的过程中依然存在许多困难，如何保证分析精度和分析性能仍是十分值得研究的问题。为了进一步提高指针分析的实用性，本文围绕程序数据流提取这一应用点，对java程序指针分析中的若干关键技术进行了深入研究。文章首先针对语句层的数据流提取问题，提出了点间确定别名的概念，并给出了一组利用点间确定别名优化依赖分析精度的方法；然后针对模块层的数据流提取，提出了一种基于贡献度的调用栈抽象模型，并通过其实例——线程敏感的指针分析和关注点敏感的指针分析——展示了它在优化数据流分析效率方面的效果。最后，论文还讨论了一些与指针分系统实现有关的问题。\n 具体的，论文工作的主要成果表现在以下几个方面：\n ()提出了点间确定别名的概念。这些别名能够描述不同程序点上访问路径之间的关系，相比于现有别名，具有更强的表达能力。根据点间确定别名的概念，给出了两种不同的计算点间确定别名的方法，它们分别基于数据流迭代和值编号技术，具有不同的技术特点，为点间确定别名的后继应用奠定了基础。\n ()给出了多种利用点问确定别名提高数据流分析精度的方法。利用点间确定别名首先可以识别强更新和相对更新，此外它们还能够用于优化程序的副作用分析，识别不可实现的访问路径组合和无效的过程间数据流，从而最终优化依赖图的构建。\n ()提出了一种基于贡献度的调用栈抽象模型，它结合一个调用信息对分析精度的贡献程度，来决定其是否需要出现在最终的调用上下文中。以该模型为基础，指针分析方法可以利用有限长度的调用上下文，最大程度地提高分析精度，这将使分析具有更佳的性价比。\n ()以基于贡献度的调用栈抽象为基础，提出了一种线程敏感的指针分析方法和一种关注点敏感的指针分析方法。这两种方法都是面向应用的，且具有粗粒度的上下文敏感性。与已有的其它基于调用串的指针分析方法相比，前者对于线程间数据流的提取具有更好的精度-性能比，而后者充分考虑了面向方面程序的结构特点，可以相当程度地提高方面间数据流识别的效能。结合关注点敏感的指针分析，本文还给出了一种高效的有害通知识别方法。

关键词：数据流 java程序指针分析技术

来源：评论

学校读者我要写书评

暂无评论

一个生成java程序同步序列集的新算法

引用

暨南大学学报（自然科学与医学版） 2006年第5期27卷 670-675页

作者：孙玉霞暨南大学计算机系广东广州510632

为了提高在java程序可达性测试中的同步序列生成效率,提出了一个新算法从无时序约束关系的同步事件派生竞争变形体集,避免或减少了不可行的竞争变形体的生成.定义了同步事件之间的线程家族时序约束关系,并详述了此约束关系的信息抽取算... 详细信息

为了提高在java程序可达性测试中的同步序列生成效率,提出了一个新算法从无时序约束关系的同步事件派生竞争变形体集,避免或减少了不可行的竞争变形体的生成.定义了同步事件之间的线程家族时序约束关系,并详述了此约束关系的信息抽取算法和判定算法.

关键词： java程序可达性测试同步序列时序约束竞争变形体

来源：评论

学校读者我要写书评

暂无评论

基于java程序的功能点度量

引用

计算机工程 2009年第4期35卷 28-30,34页

作者：顾勋梅邵志清淮海工学院计算机科学系连云港222005 华东理工大学信息学院计算机科学与工程系上海200237

针对软件项目开发中维护阶段的成本和工作量难以估计的问题,提出一种基于java程序的功能点度量方法,并介绍从目标程序中抽取数据功能点以及事务功能点的计算规则,同时以java源代码为例说明具体的度量过程。实验结果表明,该方法是有效可... 详细信息

针对软件项目开发中维护阶段的成本和工作量难以估计的问题,提出一种基于java程序的功能点度量方法,并介绍从目标程序中抽取数据功能点以及事务功能点的计算规则,同时以java源代码为例说明具体的度量过程。实验结果表明,该方法是有效可行的。

关键词：功能点分析度量 java程序

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：