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

作者：张露莹李家宏崔岩苏盼欧阳树生张旸旸袁玉宇曾昭志张苏利肖正坤侯建华蔡立志丁志刚左家平黄万民刘新袁肃蓉杨金翠万方陈芳芳上海鲁齐信息科技有限公司上海浦东软件平台有限公司国家应用软件产品质量监督检验中心深圳市科脉技术有限公司中国电子技术标准化研究院上海宝信软件股份有限公司广东软件评测中心北京邮电大学珠海南方软件网络评测中心上海市计算机软件评测重点实验室上海嵌入式系统应用工程技术研究中心南昌金庐软件园软件评测培训有限公司广州广软信息系统管理咨询有限公司

标准类型：国家标准

GB/T 29835的本部分规定了系统与软件效率的测试方法。本方法是在GB/T 29835.1的指标体系和GB/T 29835.2的度量方法的基础上,给出效率指标体系中每个效率指标的测试方法。本部分对效率指标体系的应用方法进行了扩展,提出了效率指标体系... 详细信息

标准号: GB/T 29835.3-2013

GB/T 29835的本部分规定了系统与软件效率的测试方法。本方法是在GB/T 29835.1的指标体系和GB/T 29835.2的度量方法的基础上,给出效率指标体系中每个效率指标的测试方法。本部分对效率指标体系的应用方法进行了扩展,提出了效率指标体系测试应用框架,使效率指标体系尽可能满足各种不同的测试目标和测试需要。本部分适用于系统与软件的效率测评。

关键词：计算机计算机软件软件技术计算机技术程序设计语言测量 COMPUTERS COMPUTER COMPUTER SOFTWARE SOFTWARE TECHNIQUES COMPUTER TECHNOLOGY APL PROGRAMMING LANGUAGES MEASUREMENTS MEASUREMENT MEASURING

来源：评论

学校读者我要写书评

暂无评论

系统与软件效率　第1部分：指标体系

系统与软件效率　第1部分：指标体系

引用

作者：李家宏张露莹徐旼之张旸旸申阳胡兵袁玉宇曾昭志张苏利肖正坤侯建华蔡立志丁志刚左家平黄万民刘新袁肃蓉杨金翠万方上海浦东软件平台有限公司上海鲁齐信息科技有限公司中国电子技术标准化研究院深圳市科脉技术有限公司广东软件评测中心上海宝信软件股份有限公司北京邮电大学珠海南方软件网络评测中心国家应用软件产品质量监督检验中心上海市计算机软件评测重点实验室上海嵌入式系统应用工程技术研究中心南昌金庐软件园软件评测培训有限公司广州广软信息系统管理咨询有限公司

标准类型：国家标准

GB/T 29835的本部分规定了系统与软件效率指标体系,给出了每个指标的具体描述和示例。本部分适用于计算机系统与软件的效率测评。

标准号: GB/T 29835.1-2013

GB/T 29835的本部分规定了系统与软件效率指标体系,给出了每个指标的具体描述和示例。本部分适用于计算机系统与软件的效率测评。

关键词：计算机计算机软件软件技术计算机技术程序设计语言 COMPUTERS COMPUTER COMPUTER SOFTWARE SOFTWARE TECHNIQUES COMPUTER TECHNOLOGY APL PROGRAMMING LANGUAGES

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

支持测试节点按需调整的分布式测试调度模型

引用

计算机工程与应用 2012年第6期48卷 57-59页

作者：陈静王鲁孙萌山东省计算机网络重点实验室济南250014 山东省计算中心软件评测中心济南250101

针对分布式测试系统动态调整测试节点能力差、测试总体效率低的问题,提出一种实用的支持测试节点按需调整的分布式测试调度模型。该模型利用M/M/N排队理论描述分布式测试任务到达和处理的概率分布,提出待处理强度指标来动态调配测试节点... 详细信息

针对分布式测试系统动态调整测试节点能力差、测试总体效率低的问题,提出一种实用的支持测试节点按需调整的分布式测试调度模型。该模型利用M/M/N排队理论描述分布式测试任务到达和处理的概率分布,提出待处理强度指标来动态调配测试节点,基于此建立任务调度数学模型,并利用0-1线性整数规划法求解,实现了分布式测试执行时间最短的目的。仿真实验结果证明,该模型可以根据测试需求的变化动态调整测试节点数量,利用简单实用的调度方法,有效地降低测试节点负载,提高了测试效率。

关键词：任务调度待处理强度 M/M/N排队理论负载均衡

来源：评论

学校读者我要写书评

暂无评论

构件式实时系统建模与验证研究

引用

小型微型计算机系统 2012年第2期33卷 219-224页

作者：梅佳缪淮扣高洪皓上海大学计算机工程与科学学院上海200072 广西财经学院计算机与信息管理系南宁530003 上海市计算机软件评测重点实验室上海201114

在复杂的实时系统开发中使用构件式设计方法已成为目前软件开发领域中的研究热点,如何有效地验证实时软件的设计是否满足给定的时间需求并降低验证过程的复杂度,是实时计算领域中的主要挑战之一.文中对构件接口模型进行时间扩展,提出了... 详细信息

在复杂的实时系统开发中使用构件式设计方法已成为目前软件开发领域中的研究热点,如何有效地验证实时软件的设计是否满足给定的时间需求并降低验证过程的复杂度,是实时计算领域中的主要挑战之一.文中对构件接口模型进行时间扩展,提出了时间接口模型,并将其用于构件接口交互行为的形式化建模.在接口自动机理论的的基础上进一步提出了时间接口自动机模型用于描述时间接口交互下构件的行为及组合方法,通过消除错误状态产生组合模型来约减构件时间接口自动机模型的积,并在约减的模型上进行性质检验,降低了分析复杂度,有效地应对状态空间爆炸问题.为了说明论文建议的方法,详细讨论了一个简单的、贯穿整篇论文的示例系统.

关键词：构件系统时间接口时间接口自动机验证

来源：评论

学校读者我要写书评

暂无评论

面向领域的软件质量评价模型研究与应用

引用

计算机应用与软件 2012年第7期29卷 56-59页

作者：袁梦乔杨根兴华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112

以GB/T16260质量模型为基础,提出一种面向领域的软件质量评价方法。首先,依据GB/T16260和针对领域软件质量评价的需求,建立一个通用模型;然后,在领域分析的基础上,生成反映领域特色的特性和子特性,并抽取GB-T16260质量模型中适用于目标... 详细信息

以GB/T16260质量模型为基础,提出一种面向领域的软件质量评价方法。首先,依据GB/T16260和针对领域软件质量评价的需求,建立一个通用模型;然后,在领域分析的基础上,生成反映领域特色的特性和子特性,并抽取GB-T16260质量模型中适用于目标领域的特性、子特性及属性,生成目标领域质量评价模型。最后,以该方法建立信贷领域质量评价模型并评价三款信贷软件系统,验证了该方法的可行性。

关键词：质量模型领域模型质量评价领域特征

来源：评论

学校读者我要写书评

暂无评论

Web应用中数据库交互行为验证

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于HCPN的面向方面NVP建模与分析

引用

计算机工程 2012年第16期38卷 61-64页

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

为能够在软件开发早期检测设计故障,降低N版本编程(NVP)容错策略给系统带来的额外开销,提出一种基于层次着色Petri网(HCPN)的面向方面NVP建模方法,将NVP模块转化为方面子模块,并编织为可执行的HCPN。运用该建模方法对网络搜索实例建立... 详细信息

为能够在软件开发早期检测设计故障,降低N版本编程(NVP)容错策略给系统带来的额外开销,提出一种基于层次着色Petri网(HCPN)的面向方面NVP建模方法,将NVP模块转化为方面子模块,并编织为可执行的HCPN。运用该建模方法对网络搜索实例建立面向方面的NVP模型,结果验证了该NVP模型的正确性和有效性。

关键词： N版本编程容错面向方面的编程层次着色Petri网建模

来源：评论

学校读者我要写书评

暂无评论

基于用户访问模式的性能测试模型探讨

引用

软件产业与工程 2012年第1期 41-44页

作者：张超姜旭刘振宇上海市计算机软件评测重点实验室(SSTL) 上海201112

本文阐述了现阶段性能测试指标确定存在的难点与局限性,分析了常用的多种用户访问模式,探讨了用户访问量、系统可扩展性。带宽占用等客户需求转化为性能测试指标的计算方法。

关键词：用户访问模式性能测试性能指标公式指标估算测试模型

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：