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

计算机应用与软件 2008年第9期25卷 73-75页

作者：黄燕张绍华秦辉丁志刚上海计算机软件技术开发中心上海201112 上海市计算机软件评测重点实验室上海201112

提出了一种新的测试工具网络化集成方案:在视图层、控制层、模型层、测试工具管理层和测试工具服务层五层结构框架上,运用数据封装技术、功能封装技术实现了对测试工具的封装集成。在对PolySpace、CodeTest等测试工具的集成中得到了应用... 详细信息

提出了一种新的测试工具网络化集成方案:在视图层、控制层、模型层、测试工具管理层和测试工具服务层五层结构框架上,运用数据封装技术、功能封装技术实现了对测试工具的封装集成。在对PolySpace、CodeTest等测试工具的集成中得到了应用,为工具提供了一种便捷的使用方式。

关键词：测试工具网络化集成封装

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于简单再生码的带宽感知的分布式存储节点修复优化

引用

软件学报 2017年第8期28卷 1940-1951页

作者：丁尚童鑫陈艳叶保留计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 上海市电力公司上海200122

分布式存储系统为了保证可靠性,会采用一定的存储冗余策略,如多副本策略、纠删码策略.纠删码相对于副本具有存储开销小的优点,但节点修复网络开销大.针对修复网络开销优化,业界提出再生码和以简单再生码为代表的局部可修复码,显著降低... 详细信息

分布式存储系统为了保证可靠性,会采用一定的存储冗余策略,如多副本策略、纠删码策略.纠删码相对于副本具有存储开销小的优点,但节点修复网络开销大.针对修复网络开销优化,业界提出再生码和以简单再生码为代表的局部可修复码,显著降低了修复网络开销.然而,现有的基于编码的分布式容错存储方案大都假设节点处于星型逻辑网络结构中,忽略了实际的物理网络拓扑结构和带宽信息.为了实现拓扑感知的容错存储优化,相关研究在纠删码和再生码修复过程中结合网络链路带宽能力,建立树型修复路径,进一步提高了修复效率.但是,由于编码和修复过程的差异性,上述工作并不适合于简单再生码修复.针对该问题,结合实际物理网络拓扑结构,将链路带宽能力引入到简单再生码的修复过程中,对带宽感知的简单再生码修复优化技术开展研究.建立了带宽感知节点修复时延模型,提出了基于最优瓶颈路径和最优修复树的并行修复树构建算法,并通过实验对算法性能进行了评估.实验结果表明,与星型修复方式相比,该算法有效地降低了节点修复时延,提高了修复效率.

关键词：分布式存储简单再生码网络拓扑节点修复

来源：评论

学校读者我要写书评

暂无评论

一种面向企业私有云的数据分布策略

引用

计算机研究与发展 2011年第S3期48卷 239-244页

作者：焦毅李琳王颖慧叶南荣复旦大学计算机科学技术学院上海200433 上海市计算机软件评测重点实验室上海201114 上海软中信息技术有限公司上海200235

企业私有云计算中的应用具有数据量巨大、数据密集的特点,易导致数据库操作性能降低.在企业云存储数据库的客户端操作中,如何提高访问响应率、减少访问等待时间成为云数据处理的一个研究难点.提出了一种混合的分布策略,在采用水平分布... 详细信息

企业私有云计算中的应用具有数据量巨大、数据密集的特点,易导致数据库操作性能降低.在企业云存储数据库的客户端操作中,如何提高访问响应率、减少访问等待时间成为云数据处理的一个研究难点.提出了一种混合的分布策略,在采用水平分布的基础上,考虑数据节点处理能力、SQL数据库多表命令查询表等因素,采用自上而下和自下而上相结合的并行方式,通过数据统计、形成分布队列、生成分布策略等3步算法,支持企业私有云下的数据高效访问.

关键词：企业私有云分布策略云存储节点分布

来源：评论

学校读者我要写书评

暂无评论

UML模型到FSM模型的转换

引用

计算机科学 2009年第7期36卷 113-116,149页

作者：郭亮缪淮扣王皙陈圣波上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海210112

通常可采用UML的各种图从Web应用不同方面对其进行建模。当对Web应用模型进行测试和验证时,需要分别考虑这些采用了不同图形描述的模型,这就带来了测试和验证的繁琐。如果将UML各种图转换到有限状态机(FSM)模型,则可以统一用FSM模型来... 详细信息

通常可采用UML的各种图从Web应用不同方面对其进行建模。当对Web应用模型进行测试和验证时,需要分别考虑这些采用了不同图形描述的模型,这就带来了测试和验证的繁琐。如果将UML各种图转换到有限状态机(FSM)模型,则可以统一用FSM模型来表示、验证和测试。提出了基于状态迁移特性保持规则的UML到FSM的模型转换方法,特别针对UML状态图中的3种基本组成单元到FSM模型的转换,给出了各自的转换方法,并实现了原型工具UML2FSM。

关键词：状态图模型转换规则有限状态机 UML

来源：评论

学校读者我要写书评

暂无评论

抽象精化和可满足性结合的EFSM模型测试用例优化生成

引用

计算机学报 2016年第11期39卷 2236-2252页

作者：陆公正缪淮扣苏州市职业大学计算机工程学院江苏苏州215104 上海大学计算机工程与科学学院上海200072 上海市计算机软件测评重点实验室上海201112

基于模型的测试是测试自动化的重要手段,通常采用模型检验技术从系统模型自动生成测试用例集,但生成的测试用例集往往存在冗余,这将影响测试用例执行的性能和成本.该文以扩展有限状态机(Extended Finite Machine,EFSM)为建模工具,根据... 详细信息

基于模型的测试是测试自动化的重要手段,通常采用模型检验技术从系统模型自动生成测试用例集,但生成的测试用例集往往存在冗余,这将影响测试用例执行的性能和成本.该文以扩展有限状态机(Extended Finite Machine,EFSM)为建模工具,根据公式簇建立状态等价关系,构建抽象模型,采用模型检验技术生成抽象反例(测试用例);给出了判定生成的抽象反例是否为伪反例的方法;采用反例引导的方法精化抽象模型,删除伪反例;最后,使用我们之前提出的基于可满足性的测试用例生成方法在抽象模型上生成约简的测试用例集.实验表明:该方法的测试用例数目约简比例最高达76%(警报侦测组件EFSM),总长度约简比例最高达68%(ATM EFSM),同时不会影响测试用例集的迁移覆盖率和查错能力.

关键词：测试用例约简扩展有穷状态机公式簇抽象反例引导的精化可满足性

来源：评论

学校读者我要写书评

暂无评论

带抑制弧的时延着色Petri网模型检测技术

引用

计算机科学 2011年第1期38卷 170-176,209页

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

带抑制弧的时延着色Petri网(Timed Colored Petri Nets with Inhibitor Arcs,TCPNIA)是一种描述实时嵌入式系统的模型。给出了从TCPNIA到时间自动机的结构化转换算法,以利用变迁冲突调解机制保证TCPNIA模型和转换后的时间自动机模型语... 详细信息

带抑制弧的时延着色Petri网(Timed Colored Petri Nets with Inhibitor Arcs,TCPNIA)是一种描述实时嵌入式系统的模型。给出了从TCPNIA到时间自动机的结构化转换算法,以利用变迁冲突调解机制保证TCPNIA模型和转换后的时间自动机模型语义等价;并给出了语义等价的证明和算法复杂度分析。层次化方法被用来提高模型检测的时间与空间效率。通过实际案例展示了该技术的应用和可行性。

关键词：时延着色Petri网抑制弧时间自动机冲突调解模型检测

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于结构覆盖和状态识别的FSM一致性测试实验评估

引用

应用科学学报 2023年第2期41卷 326-343页

作者：林玮玮曾红卫缪淮扣王晓琳上海大学计算机工程与科学学院上海200444 上海市计算机软件评测重点实验室上海201114 嘉兴学院信息科学与工程学院浙江嘉兴314001

针对在测试资源紧张的情况下所面临的不同测试技术中测试方法选择问题,阐明了对基于结构覆盖和基于状态识别的测试生成技术进行实验评估的必要性,以10个有限状态机(finite state machine,FSM)应用实例为实验对象,从测试开销和错误覆盖... 详细信息

针对在测试资源紧张的情况下所面临的不同测试技术中测试方法选择问题,阐明了对基于结构覆盖和基于状态识别的测试生成技术进行实验评估的必要性,以10个有限状态机(finite state machine,FSM)应用实例为实验对象,从测试开销和错误覆盖能力两方面对这两种技术进行了实证研究,为FSM一致性测试中这两种技术的选择应用提供了经验性的参考建议。

关键词：有限状态机结构覆盖状态识别覆盖准则实证研究

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：