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

计算机工程 2012年第16期38卷 52-56页

作者：孙茂华缪淮扣高洪皓上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海201112

采用定理证明和逆向工程的方法,对Web应用中的数据库交互行为进行验证。使用Z规格说明描述需求模型,根据数据库交互的源代码和转换规则得到实现模型。从实现模型中获取Web应用的相关性质,通过Z/EVES定理证明器验证这些性质是否在需求模... 详细信息

采用定理证明和逆向工程的方法,对Web应用中的数据库交互行为进行验证。使用Z规格说明描述需求模型,根据数据库交互的源代码和转换规则得到实现模型。从实现模型中获取Web应用的相关性质,通过Z/EVES定理证明器验证这些性质是否在需求模型的Z规格说明中得到满足。在此基础上,设计该方法的验证框架,并开发相应的原型系统。通过图书馆数据库管理系统实例证明该方法的有效性。

关键词：形式验证 Z规格说明数据库交互逆向工程定理证明

来源：评论

学校读者我要写书评

暂无评论

支持团队分工的实时协同一致性维护技术研究

引用

小型微型计算机系统 2013年第1期34卷 34-40页

作者：高丽萍陈庆奎姚一成上海理工大学光电信息与计算机工程学院上海200093 上海计算机软件技术开发中心上海市计算机软件评测重点实验室上海201112 百度中国有限公司上海201203

团队分工是现代企业提升工作效率及竞争力的重要手段.实时协同采用全复制式架构虽然提高了并发度,减少了响应时间,但由于其无法提供对团队分工协作的支持,导致不同团队成员之间操作互相干扰,一致性维护复杂度高.本文提出采用分治策略,... 详细信息

团队分工是现代企业提升工作效率及竞争力的重要手段.实时协同采用全复制式架构虽然提高了并发度,减少了响应时间,但由于其无法提供对团队分工协作的支持,导致不同团队成员之间操作互相干扰,一致性维护复杂度高.本文提出采用分治策略,将文档按照不同团队的编辑请求划分为互不相交的任务区域,并通过修正本地操作执行广播过程及远程操作获取执行过程来支持各子文档的一致性.任务完成后,通过文档合并算法从分文档得到整体一致的共享文档.本文描述分治策略的工作流程,通过正确性证明及效率分析验证了策略的有效性,并通过具体应用分析了系统的工作过程.

关键词：团队分工实时协同一致性维护分治策略

来源：评论

学校读者我要写书评

暂无评论

大数据流计算环境下的低延时高可靠性的资源调度方法

引用

华东理工大学学报（自然科学版） 2017年第6期43卷 855-862页

作者：孙怀英虞慧群范贵生陈丽琼华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112 上海应用技术学院计算机科学与信息工程系上海200235

在大数据处理过程中,如何保证流数据处理的可靠性及实时性变得日益重要。本文使用数据流图(DSG)对大数据流应用过程进行描述,并将DSG表示为扩展的Petri网以便对数据流过程进行建模。提出了基于CPU利用率平均变化率的资源熵算法计算资源... 详细信息

在大数据处理过程中,如何保证流数据处理的可靠性及实时性变得日益重要。本文使用数据流图(DSG)对大数据流应用过程进行描述,并将DSG表示为扩展的Petri网以便对数据流过程进行建模。提出了基于CPU利用率平均变化率的资源熵算法计算资源组可靠性,并根据资源熵算法提出了基于时间和可靠性的资源调度算法(TRS-SCHE)以获得高可靠性、低延时的资源调度方案。通过仿真实验,模拟实现soda交通大数据分析应用并进行资源的调度,验证了TRSSCHE相比于Storm隔离调度算法在响应时间、请求失败率和算法时间复杂度方面的优势。

关键词： DSG 高可靠性低延时资源熵响应时间

来源：评论

学校读者我要写书评

暂无评论

基于神经网络的软件质量综合评价方法

引用

华东理工大学学报（自然科学版） 2004年第3期30卷 292-295页

作者：杨根兴高大启宋国新上海市计算机软件评测重点实验室上海200235 华东理工大学计算机科学与工程系上海200237

研究了软件质量评价的度量模型,指出了软件综合质量评价中需要解决的一致性与稳定性问题,提出了基于前向单隐层神经网络的软件质量评价方法,一个软件质量评价实例表明,该方法具有满意的效果。

关键词：度量模型神经网络软件质量评价

来源：评论

学校读者我要写书评

暂无评论

呼叫中心平台系统性能测试研究与实践

引用

电子技术与软件工程 2017年第20期 62-63页

作者：宋巍杜春业张春柳上海市计算机软件评测重点实验室上海市201112

呼叫中心与人们日常生活的联系日益紧密。本文分析了呼叫中心业务常见的三大问题(木桶效应、雪崩效应、累计效应),介绍了呼叫中心平台性能测试的方法策略,并使用Sprint、SilkPerformer测试工具测试了呼叫中心平台系统。实验结果表明,通... 详细信息

呼叫中心与人们日常生活的联系日益紧密。本文分析了呼叫中心业务常见的三大问题(木桶效应、雪崩效应、累计效应),介绍了呼叫中心平台性能测试的方法策略,并使用Sprint、SilkPerformer测试工具测试了呼叫中心平台系统。实验结果表明,通过执行性能测试,可以模拟和预测真实环境中呼叫中心系统的处理能力,将系统中存在的问题提前暴露出来,有助于问题的定位与解决。

关键词：呼叫中心性能测试呼入效率 Sprint SilkPerformer

来源：评论

学校读者我要写书评

暂无评论

支持SDN的Hadoop中的时间最小化任务调度

引用

计算机科学与探索 2018年第11期12卷 1767-1776页

作者：孙怀英虞慧群范贵生陈丽琼华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112 上海应用技术大学计算机科学与信息工程系上海200235

软件定义网络(software defined network,SDN)是一种能将基础设备的网络控制功能分离并集中地部署到控制器中的网络架构。实际的Hadoop系统中,存在一个最小化作业完成时间的NP完全问题。在Hadoop中引入SDN,利用SDN的网络控制能力,将网... 详细信息

软件定义网络(software defined network,SDN)是一种能将基础设备的网络控制功能分离并集中地部署到控制器中的网络架构。实际的Hadoop系统中,存在一个最小化作业完成时间的NP完全问题。在Hadoop中引入SDN,利用SDN的网络控制能力,将网络中的可用剩余带宽作为任务调度的重要参数,并提出任务调度算法RBA(residual bandwidth based algorithm)。使用RBA可获得任务的近似最优分配方案,从而实现作业完成时间的最小化。通过仿真实验验证RBA在作业完成时间、任务数据本地性及计算时间方面的性能。实验结果表明,总体上RBA较HDS、BAR、BASS算法是更优的。

关键词：软件定义网络(SDN) Hadoop 带宽任务调度

来源：评论

学校读者我要写书评

暂无评论

一种Web应用测试生成与约简方法

引用

上海大学学报（自然科学版） 2012年第2期18卷 163-169,173页

作者：晏霞敏曾红卫刘攀贺斌上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海201114

软件测试是保证软件质量的一种重要手段,而复杂的Web应用对测试提出了新的要求.提出一种Web应用测试生成与约简方法,该方法对Web应用导航进行形式建模,使用模型检验导航安全性质所输出的反例分化模型,然后根据分化模型产生测试序列,依据... 详细信息

软件测试是保证软件质量的一种重要手段,而复杂的Web应用对测试提出了新的要求.提出一种Web应用测试生成与约简方法,该方法对Web应用导航进行形式建模,使用模型检验导航安全性质所输出的反例分化模型,然后根据分化模型产生测试序列,依据Web应用的特性对测试序列集进行约简.实例演示表明该方法的有效性.

关键词： Web应用模型检验模型分化测试序列冗余约简

来源：评论

学校读者我要写书评

暂无评论

基于LSC模型检验的性质抽取

引用

上海大学学报（自然科学版） 2012年第2期18卷 156-162页

作者：戴雨婷缪淮扣梅佳高洪皓上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海201114

采用LSC(live sequence chart)描述基于场景的需求规格说明,根据设计模型必须满足需求规格说明的一致性原理,针对安全性、可达性、活性等性质,设计3种用于自动生成和抽取性质的覆盖准则,并根据准则从LSC需求规格说明中抽取与设计模型相... 详细信息

采用LSC(live sequence chart)描述基于场景的需求规格说明,根据设计模型必须满足需求规格说明的一致性原理,针对安全性、可达性、活性等性质,设计3种用于自动生成和抽取性质的覆盖准则,并根据准则从LSC需求规格说明中抽取与设计模型相关的性质.抽取的结果可用于自动化验证,为验证需求模型与设计模型的一致性提供保障.

关键词： LSC 模型验证性质抽取一致性

来源：评论

学校读者我要写书评

暂无评论

基于静态检测的C++内存泄漏分析

引用

计算机工程与科学 2017年第1期39卷 118-124页

作者：陈贝许庆国上海大学计算机工程与科学学院上海200444 上海市计算机软件评测重点实验室上海200444

C++是一种非常流行的计算机编程语言,在使用的过程中容易出现内存泄漏问题,而该问题往往难以识别。给出了一种对C++内存泄漏问题进行分析的方法,该方法得到C++源代码的抽象语法树,从抽象语法树中提取程序控制流图,然后将类的构造函数、... 详细信息

C++是一种非常流行的计算机编程语言,在使用的过程中容易出现内存泄漏问题,而该问题往往难以识别。给出了一种对C++内存泄漏问题进行分析的方法,该方法得到C++源代码的抽象语法树,从抽象语法树中提取程序控制流图,然后将类的构造函数、普通成员函数以及析构函数的程序控制流图相互连接形成新的程序控制流图,并设计算法对控制流图进行检测。最后通过一些内存泄漏的典型实例进行测试,实验表明本方法有效。

关键词：内存泄漏静态检测抽象语法树控制流图

来源：评论

学校读者我要写书评

暂无评论

基于UML状态图的软件测试研究

引用

计算机工程 2011年第18期37卷 32-34页

作者：李晓庆崔健蔡立志上海计算机软件技术开发中心上海200112 上海市计算机软件评测重点实验室上海200112 上海海事大学信息工程学院上海200135

UML状态图与传统的状态转换图存在较大的差异,导致由状态转换图得到的软件测试路径不适用于UML状态图。为此,提出一种由UML状态图得到软件测试路径的方法。通过对UML状态图逐层分析,并将并发子状态相互组合,以获得状态迁移路径,从而得... 详细信息

UML状态图与传统的状态转换图存在较大的差异,导致由状态转换图得到的软件测试路径不适用于UML状态图。为此,提出一种由UML状态图得到软件测试路径的方法。通过对UML状态图逐层分析,并将并发子状态相互组合,以获得状态迁移路径,从而得到软件测试路径。实例证明,该方法可以从UML状态图得出软件的测试路径。

关键词： UML状态图软件测试测试路径并发子状态组合状态

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：