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

计算机科学 2014年第8期41卷 219-223,244页

作者：贺涛缪淮扣钱忠胜上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海201114 江西财经大学信息管理学院南昌330013

Ajax技术使Web应用能够通过异步请求从服务端获取数据,并在网页上局部刷新显示。这使得一张网页可以包含多个不同状态,状态数的激增使其关系变得更加复杂,给Web应用的建模与测试带来了更大的难度。研究基于Ajax技术的Web应用的建模与测... 详细信息

Ajax技术使Web应用能够通过异步请求从服务端获取数据,并在网页上局部刷新显示。这使得一张网页可以包含多个不同状态,状态数的激增使其关系变得更加复杂,给Web应用的建模与测试带来了更大的难度。研究基于Ajax技术的Web应用的建模与测试用例生成方法,给出一种可行的产生测试用例的技术。结合课题组自身开发的项目进行建模与测试用例的生成分析,结果表明,该技术能有效地得到所需的测试用例。

关键词： Web应用模型检查测试用例 Ajax技术 Kripke结构

来源：评论

学校读者我要写书评

暂无评论

面向概率服务组合系统的需求描述

面向概率服务组合系统的需求描述

引用

第五届中国计算机学会服务计算学术会议

作者：开金宇缪淮扣高洪皓上海大学计算机工程与科学学院上海200444 上海市计算机软件评测重点实验室上海201114 上海大学计算中心上海200444

高度开放的计算环境使web服务系统面临各种不确定性.为了有效地配置计算资源以实现系统业务价值最大化,需要对不确定的概率服务组合系统需求进行建模.在LSC的基础上,本文提出了一种基于三段式概率消息的需求描述语言pLSC,用于描述概率... 详细信息

高度开放的计算环境使web服务系统面临各种不确定性.为了有效地配置计算资源以实现系统业务价值最大化,需要对不确定的概率服务组合系统需求进行建模.在LSC的基础上,本文提出了一种基于三段式概率消息的需求描述语言pLSC,用于描述概率服务组合系统中随机场景描述的不确定的需求.本文从马尔可夫随机过程特性出发,提出了随机变量与消息相结合的三段式概率消息概念,pLSC语言是一种基于三段式概率消息的需求描述语言,将三段式概率消息中随机变量对象化,通过随机变量对象消息交互序列直观表示随机场景描述的系统需求.文中给出了pLSC语言的图形表示方法,并展示了pLSCEditor编辑工具用于图形化编辑随机场景.

关键词： web服务概率服务组合系统三段式概率消息随机场景需求描述语言

来源：评论

学校读者我要写书评

暂无评论

编程语言 C 支持嵌入式处理器的扩展

编程语言 C 支持嵌入式处理器的扩展

引用

标准类型：国家标准

本标准规定了 ISO/IEC 9899:1999编程语言C的一系列扩展。这些扩展支持嵌入式处理器。本标准的每章都处理一个特定的主题。第4、5、6章的第一条都包含了对该主题的特征的技术描述。这些条文提供了概览但不包含所有的细节。每一章的最后...

标准号: GB/T 30997-2014

本标准规定了 ISO/IEC 9899:1999编程语言C的一系列扩展。这些扩展支持嵌入式处理器。本标准的每章都处理一个特定的主题。第4、5、6章的第一条都包含了对该主题的特征的技术描述。这些条文提供了概览但不包含所有的细节。每一章的最后一条都包含对ISO/IEC 9899:1999编程语言C的编辑性修改,这些修改对完整地规定ISO/IEC 9899:1999中相关主题是必要的,并提供一个完整的定义。附加的解释和原理列在附录中。本标准适用于使用C语言对嵌入式处理器进行程序开发的过程。

关键词：

来源：评论

学校读者我要写书评

暂无评论

基于复用簇的测试用例复用度量

引用

小型微型计算机系统 2013年第5期34卷 1035-1041页

作者：张娟童维勤蔡立志上海大学上海200072 上海市计算机软件评测重点实验室上海200235

随着软件测试复用实践的深入、测试用例库规模的不断扩大,对测试用例复用的管理和评价的研究也逐渐引起人们的关注.在详细分析了测试用例复用行为的基础上,提出复用簇和测试用例从属度的概念,并基于复用簇和从属度建立测试用例复用度量... 详细信息

随着软件测试复用实践的深入、测试用例库规模的不断扩大,对测试用例复用的管理和评价的研究也逐渐引起人们的关注.在详细分析了测试用例复用行为的基础上,提出复用簇和测试用例从属度的概念,并基于复用簇和从属度建立测试用例复用度量模型.模型以复用为导向,建立和复用行为相关联的复用簇管理模式,并通过从属度为复用建立度量方法.该复用度量模型实现了计算过程的自动化,改进了简单计算测试用例复用次数的度量方法,保证复用度量的客观性和准确性,使复用度量的量化评价成为可能.

关键词：测试用例套测试用例测试项从属度复用簇复用度量软件测试

来源：评论

学校读者我要写书评

暂无评论

面向制造业信息化的软件综合评价模型研究

引用

计算机应用与软件 2013年第6期30卷 97-100页

作者：宋俊典杨爽杨根兴李婷上海市计算机软件评测重点实验室上海201112 上海计算机软件技术开发中心上海201112 上海市软件行业协会上海200235

软件质量评价是软件质量保障研究的重要内容之一。当前软件质量评价的研究主要集中在通用模型的研究方面,普适性强但针对性差,不适用于某个特定领域或行业的软件质量评价。针对制造业信息化领域的应用需求,提出一种综合性的软件综合评... 详细信息

软件质量评价是软件质量保障研究的重要内容之一。当前软件质量评价的研究主要集中在通用模型的研究方面,普适性强但针对性差,不适用于某个特定领域或行业的软件质量评价。针对制造业信息化领域的应用需求,提出一种综合性的软件综合评价模型,系统地讨论基于该模型的软件质量综合评价方法和实现过程,并结合实际应用案例进行分析和验证。实验结果表明,该综合评价模型能有效地协助制造业企业在信息化实施时的软件评估和选型、软件评估活动的实施,从而指导面向领域应用的软件质量改进。

关键词：软件评价模型综合评估软件质量制造业信息化

来源：评论

学校读者我要写书评

暂无评论

基于副本分布策略的MapReduce性能优化技术

引用

华东理工大学学报（自然科学版） 2013年第6期39卷 739-745页

作者：钱孟远虞慧群华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112

集群中的节点由于其硬件配置不同导致其性能不同,使得集群环境成为异构环境。然而,在以Hadoop为代表的MapReduce实现中并没有充分考虑到环境的异构性,致使过多的Map任务需要从其他节点传输输入数据块,从而影响MapReduce在异构环境中的... 详细信息

集群中的节点由于其硬件配置不同导致其性能不同,使得集群环境成为异构环境。然而,在以Hadoop为代表的MapReduce实现中并没有充分考虑到环境的异构性,致使过多的Map任务需要从其他节点传输输入数据块,从而影响MapReduce在异构环境中的性能。提出了一种基于节点性能的数据块副本分布策略,使副本的分布与节点性能相适应,同时将可靠性、创建的传输开销及数据块间性能的平衡纳入考虑。结果表明:该策略在异构环境中能有效提升输入数据在本地的Map任务比例,并缩短MapReduce任务的完成时间。

关键词：分布式文件系统副本分布策略 MapReduce 异构环境

来源：评论

学校读者我要写书评

暂无评论

一种云存储数据完整性验证方法

引用

华东理工大学学报（自然科学版） 2013年第2期39卷 211-216页

作者：于洋洋虞慧群范贵生华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112

随着网络技术的迅速发展,基于云计算的应用已经渗透到社会的各个领域。云存储数据完整性技术是云计算的重要内容。然而,目前还缺乏对云存储数据完整性进行有效验证和分析的方法。提出了一种云存储数据完整性验证方法,该方法结合可恢复... 详细信息

随着网络技术的迅速发展,基于云计算的应用已经渗透到社会的各个领域。云存储数据完整性技术是云计算的重要内容。然而,目前还缺乏对云存储数据完整性进行有效验证和分析的方法。提出了一种云存储数据完整性验证方法,该方法结合可恢复性证明(PoR)和MD5的优势,利用数据分块、随机抽样和周期性验证技术及时验证出数据是否被损坏。具体实现及分析结果表明,该方法能有效地验证云存储数据的完整性,有助于提高云计算的安全性。

关键词：云存储数据完整性可恢复性证明 MD5

来源：评论

学校读者我要写书评

暂无评论

面向应用领域的软件质量特性分析

引用

上海大学学报（自然科学版） 2013年第3期19卷 286-292页

作者：杜春业张博锋蔡立志上海大学计算机工程与科学学院上海200072 上海计算机软件评测重点实验室上海201112

随着信息技术的快速发展,软件质量已经成为用户最为关心的问题.但由于目前较难证明软件产品的正确性,因此一直没有一个令人信服的软件质量评价方法.特别是已有的软件质量评价方法基本上都采用同一种评价指标对不同领域的软件进行评价,... 详细信息

随着信息技术的快速发展,软件质量已经成为用户最为关心的问题.但由于目前较难证明软件产品的正确性,因此一直没有一个令人信服的软件质量评价方法.特别是已有的软件质量评价方法基本上都采用同一种评价指标对不同领域的软件进行评价,缺乏对不同领域软件的个性化评价指标.针对不同领域的软件质量需求和应用,提出了不同的软件质量评价指标,为建立面向领域的软件产品基准体系提供依据,以满足软件产业发展的需要.

关键词：软件质量质量特性质量评价评价指标特性分析

来源：评论

学校读者我要写书评

暂无评论

一种基于AOcontPN的信息物理系统建模方法

引用

华东理工大学学报（自然科学版） 2013年第2期39卷 217-221页

作者：钱之琳虞慧群华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112

信息物理系统(CPS)是计算、控制和通信相融合的系统。现有的建模方法不能很好地实现其离散和连续混合的复杂行为。对此提出了一种基于面向方面连续Petri网的AOcontPN建模方法。依据CPS需求分析,将一些普遍存在的物理连续过程抽取出来,... 详细信息

信息物理系统(CPS)是计算、控制和通信相融合的系统。现有的建模方法不能很好地实现其离散和连续混合的复杂行为。对此提出了一种基于面向方面连续Petri网的AOcontPN建模方法。依据CPS需求分析,将一些普遍存在的物理连续过程抽取出来,作为一个功能性的方面连续Petri网,织入到基本Petri网中。这样不仅解决了CPS系统中连续过程的行为分析、复用等问题,也使得整个系统可以使用离散系统的形式化方法来验证。

关键词： CPS 面向方面方法连续Petri网建模

来源：评论

学校读者我要写书评

暂无评论

Stored-XSS漏洞检测的研究与设计

引用

计算机应用与软件 2013年第3期30卷 17-21页

作者：李冰赵逢禹上海理工大学光电信息与计算机工程学院上海200093 上海计算机软件技术开发中心上海市计算机软件评测重点实验室上海201112

跨站脚本XSS(Cross Site Scripting)漏洞已经成为了大多数网站共同面对的Web安全问题,对XSS漏洞的有效预防检测有利于提高Web安全。分析XSS漏洞的攻击原理,指出现有动态分析方法在检测存储型XSS漏洞方面的不足,提出一种有效的存储型漏... 详细信息

跨站脚本XSS(Cross Site Scripting)漏洞已经成为了大多数网站共同面对的Web安全问题,对XSS漏洞的有效预防检测有利于提高Web安全。分析XSS漏洞的攻击原理,指出现有动态分析方法在检测存储型XSS漏洞方面的不足,提出一种有效的存储型漏洞动态检测方法。设计并实现了Stored-XSS漏洞动态检测模型,并在实际的场景下对该模型进行了测试评估,实验证明提出的方法能对存储型XSS漏洞进行有效检测。

关键词： XSS漏洞 Web安全存储型XSS漏洞动态检测

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：