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

软件测试不确定性研究及解决途径

引用

计算机工程 2004年第7期30卷 52-54页

作者：杨根兴宗宇伟上海计算机软件技术开发中心上海市计算机软件评测重点实验室上海200235

从分析软件测试的不确定性产生的原因，分析软件测试中存在的问题，提出加强软件测试工程化管理、测试方法模板的复用、采用测试用例的知识共享作为解决问题的途径，介绍了一种软件测试管理平台的实现。

关键词：软件测试软件测试复用软件测试成熟度模型软件测试工程

来源：评论

学校读者我要写书评

暂无评论

基于CEGAR的Web应用验证

引用

计算机学报 2014年第4期37卷 976-992页

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

Web应用导航行为的建模和验证是可信Web工程研究的重点和难点.在深入分析用户和Web浏览器交互行为的基础上,文中引入On-the-fly策略并基于反例引导的抽象精化验证方法 CEGAR对Web应用的导航行为进行建模和验证.在On-the-fly导航模型展... 详细信息

Web应用导航行为的建模和验证是可信Web工程研究的重点和难点.在深入分析用户和Web浏览器交互行为的基础上,文中引入On-the-fly策略并基于反例引导的抽象精化验证方法 CEGAR对Web应用的导航行为进行建模和验证.在On-the-fly导航模型展开的过程中,根据检验性质采用增量式状态抽象方法构造Web应用导航抽象模型,通过确认抽象反例来识别伪反例,借助等价类精化方法消除抽象模型上的伪反例.这一方法可有效地缓解Web应用验证过程中出现的状态爆炸问题.

关键词： Web应用导航模型抽象精化模型检验伪反例

来源：评论

学校读者我要写书评

暂无评论

软件功能测试规模估算模型的研究及其应用

引用

计算机工程 2011年第7期37卷 47-49页

作者：宋巍沈建雄杨根兴蔡立志上海市计算机软件评测重点实验室上海201112 上海市软件评测中心上海200233

提出一种基于功能点分析法的软件功能测试规模估算模型。该模型适用于黑盒功能测试,用于系统测试阶段或验收测试阶段工作量的估算,基本估算步骤包括估算软件规模、定义规模因子、计算测试规模,并在项目中进行实践应用。结果表明,该模型... 详细信息

提出一种基于功能点分析法的软件功能测试规模估算模型。该模型适用于黑盒功能测试,用于系统测试阶段或验收测试阶段工作量的估算,基本估算步骤包括估算软件规模、定义规模因子、计算测试规模,并在项目中进行实践应用。结果表明,该模型可以较好地估算软件功能测试规模,可用于测试计划的制定及实施。

关键词：软件测试功能测试规模功能点分析 Mark Ⅱ功能点法

来源：评论

学校读者我要写书评

暂无评论

基于网格的BSP系统的设计和实现

引用

计算机应用 2004年第7期24卷 7-10,15页

作者：蔡立志上海计算机软件技术开发中心上海市计算机软件评测重点实验室上海200235

文中描述了基于网格BSP系统BSP G的设计和实现。BSP G并行库利用网格中间件GlobusToolkit 2 .0提供的各种网格协议和服务 ,进行进程启动、监视、控制、身份认证、授权、资源分配、可执行程序的自动传送 (Stage)。它使得用户能够在网格... 详细信息

文中描述了基于网格BSP系统BSP G的设计和实现。BSP G并行库利用网格中间件GlobusToolkit 2 .0提供的各种网格协议和服务 ,进行进程启动、监视、控制、身份认证、授权、资源分配、可执行程序的自动传送 (Stage)。它使得用户能够在网格上直接运行BSP程序而无需关心网格接口的一些细节问题。最后给出了BSP

关键词：网格 BSP GlobusToolkit BSP-G

来源：评论

学校读者我要写书评

暂无评论

面向对象软件多态交互的测试

引用

计算机工程 2008年第14期34卷 29-31页

作者：陈达丽杨根兴上海计算机软件技术开发中心上海市计算机软件评测重点实验室上海200235

在面向对象软件测试领域,合理选择测试用例集合,覆盖复杂的多态交互情形,一直是软件测试研究的热点。该文基于pair-wise测试理论,提出一种选择测试用例的贪心算法,该算法可以有效地筛选测试用例,提高测试效率,降低测试成本。并介绍了在... 详细信息

在面向对象软件测试领域,合理选择测试用例集合,覆盖复杂的多态交互情形,一直是软件测试研究的热点。该文基于pair-wise测试理论,提出一种选择测试用例的贪心算法,该算法可以有效地筛选测试用例,提高测试效率,降低测试成本。并介绍了在多态交互的单元测试框架中使用装饰型设计模式,有效地提高了测试代码的效率。

关键词：单元测试多态性面向对象

来源：评论

学校读者我要写书评

暂无评论

基于分析纠错机制的信息完整技术

引用

计算机工程 2003年第Z1期29卷 162-163,193页

作者：刘振宇上海计算机软件技术开发中心上海市计算机软件评测重点实验室上海200235

提出使用在线机制纠正信息系统中的错误,通过对信息完整技术的介绍和量化信息完整属性的说明,以发现信息系统本身具有的缺陷.同时采用及时追踪分析和反馈控制对原有信息系统进行改进,寻找提高完整性的方法.

关键词：信息完整信息系统属性量化

来源：评论

学校读者我要写书评

暂无评论

基于概率模型检验的云渲染任务调度定量验证

引用

软件学报 2020年第6期31卷 1839-1859页

作者：高洪皓缪淮扣刘浩宇许华虎于芷若上海大学计算中心上海200444 上海大学计算机工程与科学学院上海200444 上海大学信息化办公室上海200444 上海市计算机软件评测重点实验室上海201112

云渲染技术已被广泛应用于影视和动漫等行业.与传统的渲染农场和租赁市场模式不同,云渲染系统依托云计算基础设施提供多种软件服务进行渲染作业的方式,正逐渐成为新兴的计算模式.由于任务执行和资源操作等作业调度对于用户而言是透明的... 详细信息

云渲染技术已被广泛应用于影视和动漫等行业.与传统的渲染农场和租赁市场模式不同,云渲染系统依托云计算基础设施提供多种软件服务进行渲染作业的方式,正逐渐成为新兴的计算模式.由于任务执行和资源操作等作业调度对于用户而言是透明的,这要求云渲染系统应具备智能化以实现计算资源优化调度和多端任务管理,并对系统可靠性提出了更高要求.针对这一问题,提出了采用概率模型检验对云渲染系统任务调度进行定量评估.首先,考虑渲染服务失效等因素引发的随机系统异常和指令错误,如文件损坏和渲染任务超时等,提出了基于离散马尔可夫链(DTMC)的概率模型对云渲染系统的文件准备模块、资源请求模块、渲染任务执行模块进行形式化建模;其次,从服务质量属性角度提出了9类验证性质用于定义云渲染系统的可靠性,采用概率计算树逻辑(PCTL)描述检验性质公式并执行工具PRISM计算和验证渲染系统可靠性;最后,结合案例和实验证明了该方法的可行性和有效性,尤其是对改进前后云渲染系统进行定量检验,可用于指导如何进行失效恢复和任务切换.因此,该方法在一定程度上可提高云渲染系统的可靠性.

关键词：云渲染系统任务调度概率模型检验 PRISM定量验证可靠性分析

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

实时网络信息双重加密可逆隐藏算法仿真

引用

计算机仿真 2018年第9期35卷 195-198,262页

作者：张春柳熊琭陆凌晨上海计算机软件技术开发中心上海市计算机软件评测重点实验室上海201112

针对当前多数可逆信息隐藏算法难以抵御选择明(密)文攻击,含密信息的视觉效果差、嵌入容量小且耗时长等问题,提出基于混沌序列的实时网络信息双重加密可逆隐藏算法。运用两种置乱方式对网络信息进行双重加密,第一次加密采用混沌序列加... 详细信息

针对当前多数可逆信息隐藏算法难以抵御选择明(密)文攻击,含密信息的视觉效果差、嵌入容量小且耗时长等问题,提出基于混沌序列的实时网络信息双重加密可逆隐藏算法。运用两种置乱方式对网络信息进行双重加密,第一次加密采用混沌序列加密算法对网络信息位置进行全局置乱。第二次加密依据另一组混沌序列对目标像素值中0bit、1bit再次置乱,以保证能够防御选择明(密)文攻击。在信息双重加密域中,采用待嵌入信息构造伪像素用于替换目标像素,实现信息的快速嵌入。根据密钥计算从密文信息中直接提取已嵌入的信息。接收方对信息解密后,提取出目标像素的每个比特数据恢复出原始网络信息,实现双重加密下的可逆信息隐藏。实验结果表明,所提算法克服了当前算法难以抵御选择明(密)文攻击的缺陷,具有信息嵌入快速高效、容量大等优势。

关键词：实时网络信息双重加密可逆隐藏混沌序列加密算法

来源：评论

学校读者我要写书评

暂无评论

基于两两覆盖准则的遗传算法测试用例生成

引用

计算机应用与软件 2008年第12期25卷 21-23页

作者：蔡立志童维勤杨根兴上海大学计算机工程与科学学院上海200072 上海软件中心上海市计算机软件评测重点实验室上海201114

软件参数的组合测试是发现参数组合问题的重要方法,但是参数组合测试面临着组合爆炸问题,成对测试可以有效降低测试成本。提出了一种基于遗传算法的成对测试生成方法,该方法用于选择当前局部优化覆盖的测试用例,在此基础上构建满足成对... 详细信息

软件参数的组合测试是发现参数组合问题的重要方法,但是参数组合测试面临着组合爆炸问题,成对测试可以有效降低测试成本。提出了一种基于遗传算法的成对测试生成方法,该方法用于选择当前局部优化覆盖的测试用例,在此基础上构建满足成对测试基准的测试用例套,结果表明该方法能在不降低测试覆盖精度的情况下有效降低了测试用例数量。

关键词：遗传算法测试用例成对测试

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：