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

作者：张静内蒙古大学

学位级别：硕士

java多线程程序中存在并发、同步和交互行为,导致状态爆炸,算法错误检测难度较大。调试方法和测试方法都难以覆盖并发程序全部执行路径;软件模型检测方法自动搜索并发程序全部执行路径,但在状态爆炸时难以完成。本文针对java多线程程序... 详细信息

java多线程程序中存在并发、同步和交互行为,导致状态爆炸,算法错误检测难度较大。调试方法和测试方法都难以覆盖并发程序全部执行路径;软件模型检测方法自动搜索并发程序全部执行路径,但在状态爆炸时难以完成。本文针对java多线程程序提出层次着色Petri网(Hierarchical Coloured Petri Net,HCPN)粗粒度自动建模方法,在不影响模型检测结果的前提下,实现了模型及其状态空间规模缩减,有利于模型检测效率的提升。工作如下:1.提出了属性公式处理策略。粗粒度模型必须保留属性公式中待检测的状态信息,待检测状态相关的源程序语句须采用细粒度描述。因此本文提出了包含关键变量注释方法、检测相关语句自动识别方法、相关模型片段提示方法的属性公式处理策略。2.提出了包含语句粗细粒度判定功能的程序预处理方法。以语句为单位读取源程序,为每个函数构建语句二叉树,依据本文提出的粒度判定策略实现源程序语句粒度判定并标注。3.提出了细粒度和粗粒度模型描述方法。源程序中函数映射为模型页面,语句则根据类型分别映射为不同的模型片段。针对并发、同步、交互、检测相关语句等特定语句,采用细粒度描述,将一条语句映射为一个模型片段;对其他语句采用粗粒度描述,将多条语句映射为一个模型片段,并运用复杂弧表达式实现单个模型片段与多条语句的功能等价性。4.提出了复杂弧表达式生成方法。HCPN弧表达式采用ML(Meta Language)语法规则,本文通过预定义函数模板及嵌套调用的方式,实现粗粒度模型片段中复杂弧表达式生成。特别地,源程序语句中的嵌套关系被映射为函数调用,ML语言不支持的循环被映射为函数递归调用。最后,通过实例对比分析,验证了粗粒度建模方法可有效缩减模型及其状态空间规模,且不影响模型检测结果。

关键词：层次着色Petri网粗粒度建模 java多线程程序模型检测

来源：评论

学校读者我要写书评

暂无评论

基于扩展同步序列的java多线程程序可达性测试思路构建探索

引用

计算机光盘软件与应用 2014年第4期17卷 147-148页

作者：孙小淋烟台职业学院山东烟台264670

针对java程序的并发性特点,应用可达性测试是一种有效的方法。但是,为了克服java多线程程序在应用可达性测试的过程中,所产生的局限性和不能实现对事件的同步检测,或者同步检测错误等问题,需要应用一种基于扩展同步序列的可达性测试方法。

关键词：扩展同步序列 java多线程程序可达性测试思路

来源：评论

学校读者我要写书评

暂无评论

基于扩展同步序列的java多线程程序可达性测试方法探讨

引用

电子世界 2016年第13期 168-168页

作者：陈伟广东省工商高级技工学校

随着计算机技术的不断创新与发展,传统java多线程程序测试方法的局限性越加明显,基于拓展同步系列的可达性测试方法可以解决传统可达性测试方法的检测错误,并在java多线程程序检测中崭新出明显的优势。本文主要通过分析基于扩展同步序列... 详细信息

随着计算机技术的不断创新与发展,传统java多线程程序测试方法的局限性越加明显,基于拓展同步系列的可达性测试方法可以解决传统可达性测试方法的检测错误,并在java多线程程序检测中崭新出明显的优势。本文主要通过分析基于扩展同步序列的java多线程程序可达性测试,探讨基于扩展同步序列的可达性测试方法,旨在为我国计算机程序的编写和测试提供参考。

关键词：扩展同步序列可达性测试 java多线程程序

来源：评论

学校读者我要写书评

暂无评论

VC++和java框架下的多线程程序设计与实践

引用

电脑迷 2017年第19期 23-23页

作者：林波云南林业技术学院职业云南昆明 650224

随着社会经济大发展,科技的不断进步,以往的单线程已经不能适应现代社会的发展了.在科技发展的大背景下,出现了一种全新的系统,多线程程序.本文第一部分主要介绍了多线程技术的概念,第二部分则主要介绍了线程的创建与结束,第三部分主要... 详细信息

随着社会经济大发展,科技的不断进步,以往的单线程已经不能适应现代社会的发展了.在科技发展的大背景下,出现了一种全新的系统,多线程程序.本文第一部分主要介绍了多线程技术的概念,第二部分则主要介绍了线程的创建与结束,第三部分主要介绍了线程的同步,最后对多线程的性能和安全稳定作了研究,并提出了一些策略,仅供参考.

关键词： VC++ java多线程程序

来源：评论

学校读者我要写书评

暂无评论

探讨多线程java程序安全行为模型的静态检查方法

引用

电源技术应用 2013年第1期 320-320页

作者：张媛王希军许昌职业技术学院河南许昌 461000

随着社会科技的发展,当今软件需求程度和扩展性随之提高,多线程的应用之所以越来越广泛,是因为它是软件程序结构化的重要机制.由于多线程关系到程序的安全,故多线程应用程序的安全性也成为了新的研究热点之一.现在出现了许多的新技术和... 详细信息

随着社会科技的发展,当今软件需求程度和扩展性随之提高,多线程的应用之所以越来越广泛,是因为它是软件程序结构化的重要机制.由于多线程关系到程序的安全,故多线程应用程序的安全性也成为了新的研究热点之一.现在出现了许多的新技术和新方法,导致软件的安全性和保密性会令人产生怀疑,为了使软件安全可靠,我们必须使用各种安全技术来检查软件的搭配是否科学合理,使其发挥最大的安全效能.针对多线程java程序,应该由以下几种方法来表示,比如由多线程java程序自动生成安全相关行为模型的方法,又或者静态检查该模型是否满足安全策略的实现等.

关键词： java多线程程序安全行为模型静态检查方法

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：