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

计算机工程 2004年第15期30卷 72-74页

作者：杨根兴宗宇伟朱三元上海市计算机软件评测重点实验室上海计算机软件技术开发中心上海200235 华东理工大学计算机科学与工程系

分析了在分布环境下的进行软件质量评价群决策的特点,讨论了在分布环境下进行软件质量评价的通信和消息机制,设计了面向多Agent技术的软件质量评价系统模型,可明显提高软件质量评价的异地同步性和效率,实例表明可满足分布环境下的软件... 详细信息

分析了在分布环境下的进行软件质量评价群决策的特点,讨论了在分布环境下进行软件质量评价的通信和消息机制,设计了面向多Agent技术的软件质量评价系统模型,可明显提高软件质量评价的异地同步性和效率,实例表明可满足分布环境下的软件质量评价的需要。

关键词：软件质量群决策多Agent 评价系统

来源：评论

学校读者我要写书评

暂无评论

基于One-test-at-a-time策略的可变力度组合测试用例生成方法

引用

计算机学报 2012年第12期35卷 2541-2552页

作者：王子元钱巨陈林徐宝文南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 南京邮电大学计算机学院南京210006 上海市计算机软件评测重点实验室上海201112 南京航空航天大学计算机科学与技术学院南京210016

组合测试可以有效地检测软件系统中由各个因素间交互作用所引发的软件故障.但传统的组合测试方法对系统中各因素之间的实际交互关系考虑不足,难以有效处理交互力度不统一的情况,进而可能导致测试用例的冗余和检错能力的降低.针对该问题... 详细信息

组合测试可以有效地检测软件系统中由各个因素间交互作用所引发的软件故障.但传统的组合测试方法对系统中各因素之间的实际交互关系考虑不足,难以有效处理交互力度不统一的情况,进而可能导致测试用例的冗余和检错能力的降低.针对该问题,应在充分考虑因素间实际交互关系的基础上,使用可变力度组合测试方法,从而实现对于因素间实际交互关系的覆盖.为此,文中针对一种新的可变力度组合测试模型,提出了两种基于one-test-at-a-time策略的可变力度组合测试用例集生成算法.实验表明,相对于已有的具备类似功能的测试用例生成算法和工具,文中提出的算法在测试用例集规模和算法运行时间上均具备一定优势,并可适用于固定力度组合测试、可变力度组合测试等不同测试模型.

关键词：软件测试可变力度组合测试测试用例生成交互关系

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于C2C的可信信用评价模型

引用

计算机工程 2010年第18期36卷 256-258页

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

提出一个基于C2C的可信信用评价模型。该模型根据历史交易记录,在综合考虑交易金额、买卖双方信誉度、交易次数、差评次数、未评价交易的基础上,采用动态计算的方式,为交易的成功进行提供可靠的依据。该模型可以有效甄别恶意用户和诚信... 详细信息

提出一个基于C2C的可信信用评价模型。该模型根据历史交易记录,在综合考虑交易金额、买卖双方信誉度、交易次数、差评次数、未评价交易的基础上,采用动态计算的方式,为交易的成功进行提供可靠的依据。该模型可以有效甄别恶意用户和诚信用户,从而减少信誉诋毁行为,并可减少信誉榨取行为,提高C2C电子交易的安全性。

关键词：信用评价可信 C2C 模式

来源：评论

学校读者我要写书评

暂无评论

基于RBAC的工作流管理系统授权约束方法

引用

计算机工程 2010年第4期36卷 152-154页

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

针对工作流管理系统动态授权的特性,在基于角色的访问控制(RBAC)模型基础上,提出一种权限约束支持的RBAC模型,利用Datalog逻辑语言描述约束策略,借助Datalog推理机实现一个"任务角色"分配的授权算法,解决工作流管理系统动态... 详细信息

针对工作流管理系统动态授权的特性,在基于角色的访问控制(RBAC)模型基础上,提出一种权限约束支持的RBAC模型,利用Datalog逻辑语言描述约束策略,借助Datalog推理机实现一个"任务角色"分配的授权算法,解决工作流管理系统动态授权约束的问题。

关键词：授权约束基于角色的访问控制工作流 Datalog逻辑语言

来源：评论

学校读者我要写书评

暂无评论

进化算法与符号执行结合的程序复杂度分析方法

引用

计算机科学 2021年第12期48卷 107-116页

作者：周晟伊曾红卫上海大学计算机工程与科学学院上海200444 上海市计算机软件评测重点实验室上海201112

程序的最坏执行路径是计算程序复杂度的一项重要指标,有助于发现系统可能存在的复杂性漏洞。近年来将符号执行应用于程序复杂度分析的研究取得了不小的进展,但现有方法存在通用性较差、分析时间较长的问题。文中提出一种面向最坏路径探... 详细信息

程序的最坏执行路径是计算程序复杂度的一项重要指标,有助于发现系统可能存在的复杂性漏洞。近年来将符号执行应用于程序复杂度分析的研究取得了不小的进展,但现有方法存在通用性较差、分析时间较长的问题。文中提出一种面向最坏路径探测的进化算法——EvoWca,其核心思想是利用程序在较小输入规模下的已知最坏路径特征指导较大输入规模下初始路径集合的构建,然后模拟进化算法,对路径进行组合、突变和选择迭代,使得在搜索范围内探测到的最坏路径逼近于最坏时间复杂度对应的路径。基于该算法实现了一个用于程序复杂度分析的原型工具EvoWca2j,使用该工具和已有技术对一组Java程序进行最坏路径探索和执行效率评估,实验结果表明,相比现有方法,EvoWca2j的通用性和探索效率都有明显提高。

关键词：复杂度分析符号执行进化算法路径探测最坏执行路径

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于构件的测试脚本复用技术研究

引用

计算机应用研究 2009年第4期26卷 1323-1326页

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

研究了自动化测试脚本及基于构件的软件复用技术,提出一个测试脚本构件模型TSCM。该模型结合测试脚本特性,在借鉴现行软件构件模型基础上加入构件连接子增强测试脚本构件的独立性和可复用性。设计了TSCM模型的XML框架,实现了测试脚本构... 详细信息

研究了自动化测试脚本及基于构件的软件复用技术,提出一个测试脚本构件模型TSCM。该模型结合测试脚本特性,在借鉴现行软件构件模型基础上加入构件连接子增强测试脚本构件的独立性和可复用性。设计了TSCM模型的XML框架,实现了测试脚本构件自动生成、验证及不同测试语言之间的自动转换。

关键词：测试脚本构件复用模型构件连接子可扩展标记语言

来源：评论

学校读者我要写书评

暂无评论

面向金融云的超高吞吐新型金融DMZ网络

引用

计算机应用与软件 2021年第2期38卷 110-113,139页

作者：涂晓军孙权蔡立志中国银联股份有限公司上海201201 复旦大学上海200433 上海计算机软件技术开发中心上海市计算机软件评测重点实验室上海201112

DMZ网络区域是金融行业非常典型的一个网络区域,用于隔离不可信外网与可信内网之间的网络流量。针对现有DMZ区域成本高昂、吞吐性能无法水平扩展等问题,提出并实现一种极简架构、超高吞吐的金融DMZ区实现方法,可以减小DMZ区部署设备数... 详细信息

DMZ网络区域是金融行业非常典型的一个网络区域,用于隔离不可信外网与可信内网之间的网络流量。针对现有DMZ区域成本高昂、吞吐性能无法水平扩展等问题,提出并实现一种极简架构、超高吞吐的金融DMZ区实现方法,可以减小DMZ区部署设备数量与复杂度,同时提升吞吐性能。

关键词：开放交换机自主可控金融云

来源：评论

学校读者我要写书评

暂无评论

一种基于Object-Z规格说明的集成测试用例生成方法

引用

上海大学学报（自然科学版） 2009年第1期15卷 60-65页

作者：朱义毅缪淮扣唐新香上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海201112

形式化方法具有精确的描述性和很强的抽象性.用形式化方法描述规格说明,避免了在需求分析阶段对数据结构和算法细节的详细描述,同时又避免了一般建模方法中的模糊性和歧义性.针对组件系统的集成测试产生测试用例,提出一种使用Object-Z... 详细信息

形式化方法具有精确的描述性和很强的抽象性.用形式化方法描述规格说明,避免了在需求分析阶段对数据结构和算法细节的详细描述,同时又避免了一般建模方法中的模糊性和歧义性.针对组件系统的集成测试产生测试用例,提出一种使用Object-Z模式描述组件模型的方法,并且针对模型提出测试准则,产生测试场景,然后根据得到的测试场景产生测试用例.

关键词：规格说明集成测试 Object—Z模型测试用例组件

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：