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

计算机应用与软件 2010年第6期27卷 46-49,69页

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

研究了软件测试用例可复用性的度量方法,提出了测试用例可复用性度量模型TCRM。该模型将易理解性、独立性、适用性、可配置性作为影响可复用性的4个子特性,并使用可信度作为修正特性。提出了针对TCRM模型的度量方法,TCRM模型及其度量方... 详细信息

研究了软件测试用例可复用性的度量方法,提出了测试用例可复用性度量模型TCRM。该模型将易理解性、独立性、适用性、可配置性作为影响可复用性的4个子特性,并使用可信度作为修正特性。提出了针对TCRM模型的度量方法,TCRM模型及其度量方法可给构建软件测试用例库和评价软件测试用例的人员提供参考。

关键词：软件测试用例可复用性度量

来源：评论

学校读者我要写书评

暂无评论

云计算环境中服务在线质量的评价方法研究

云计算环境中服务在线质量的评价方法研究

引用

第六届中国测试学术会议

作者：刘振宇卢暾刘铁江杨根兴复旦大学计算机科学技术学院上海市计算机软件评测重点实验室

本文通过对云计算环境的服务质量评价出发,分析当前服务质量评价体系的存在的不足,现有大多数评价采用运行期的集中、单一的测试方法,通过测试结果来评价服务质量.本文从云计算环境的特征进行分析,认为云环境中面向服务的质量评价不应... 详细信息

本文通过对云计算环境的服务质量评价出发,分析当前服务质量评价体系的存在的不足,现有大多数评价采用运行期的集中、单一的测试方法,通过测试结果来评价服务质量.本文从云计算环境的特征进行分析,认为云环境中面向服务的质量评价不应采用现有评价方式,也不适合开发过程后模拟真实环境所进行的度量评价方法,而是应该采用多种方法从不同角度来综合地获得评价数据,再进行相关的度量评价.本文提出基于测试集成的服务质量的在线评价模型,通过度量分解模型以及相应的指标收集策略,以此替代原先基于集中单一测试、模拟真实环境的质量评价,所获得数据能够确保服务在线运行期间的评价结果的准确和可信,最后给出了云计算环境中通过评价的在线质量框架的基本流程,通过对基于服务的信息系统实例说明了在线质量的评价方法是有意义的.

关键词：服务质量软件测试云计算度量评价

来源：评论

学校读者我要写书评

暂无评论

项目驱动的软件工程教学研究与实践

项目驱动的软件工程教学研究与实践

引用

2010 Third International Conference on Education Technology and Training (ETT 2010)

作者：郑红孙霓刚顾春华华东理工大学信息科学与工程学院上海市计算机软件评测重点实验室常州大学信息科学与工程学院

针对传统软件人才培养模式下学生实践应用能力薄弱的情况,讨论项目驱动的小组开发方法,并将其应用于继续教育软件工程的试验教学研究与实践中,取得一定的效果。

关键词：项目驱动软件工程教学模式

来源：评论

学校读者我要写书评

暂无评论

基于面向方面技术的服务安全组合及故障分析

基于面向方面技术的服务安全组合及故障分析

引用

第一届全国服务计算学术会议

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

服务组合作为实现服务增值的一种有效方法，业已广泛使用于各种应用．安全问题是与Web服务密切相关且对于服务组合的可信性具有重要作用。然而目前还缺乏对服务安全组合进行有效描述和分析的方法。提出一种基于面向方面的形式化服务安... 详细信息

服务组合作为实现服务增值的一种有效方法，业已广泛使用于各种应用．安全问题是与Web服务密切相关且对于服务组合的可信性具有重要作用。然而目前还缺乏对服务安全组合进行有效描述和分析的方法。提出一种基于面向方面的形式化服务安全组合建模及其分析方法。重点讨论了服务的授权、执行的可追踪、数据保护及故障处理，并利用面向方面规范基本模块的行为、描述它们相互关系的手段，编织机制将这些模块动态地集成为一个完整的服务组合模型。基于此，Petri网的操作语义及相关理论分析服务组合的安全性及故障处理能力，给出服务组合的正确性准则。并证明了其有效性。具体实例及仿真结果表明，该方法能有效地简化系统建摸，有助于提高服务组合的设计质量。

关键词： Web服务面向方面技术 Petri网安全性故障处理能力

来源：评论

学校读者我要写书评

暂无评论

基于P2P的无需第三方验证的本地信誉存储管理

基于P2P的无需第三方验证的本地信誉存储管理

引用

2010年全国软件与应用学术会议(NASAC2010)

作者：孙华虞慧群杨年华华东理工大学计算机科学与工程系上海 200237 新疆大学信息科学与工程学院新疆乌鲁木齐 830046 华东理工大学计算机科学与工程系上海 200237 上海市计算机软件评测重点实验室上海 201112 华东理工大学计算机科学与工程系上海 200237

分布式P2P网络的信誉查询效率直接影响着信誉评估的效率.目前将信誉信息存储在本地进行管理的方法,虽然提高了查询效率,但是需要通过第三方验证信誉的完整性,这在动态的P2P环境中很难实现,而且信誉信息易丢失或被篡改.针对目前存在的问... 详细信息

分布式P2P网络的信誉查询效率直接影响着信誉评估的效率.目前将信誉信息存储在本地进行管理的方法,虽然提高了查询效率,但是需要通过第三方验证信誉的完整性,这在动态的P2P环境中很难实现,而且信誉信息易丢失或被篡改.针对目前存在的问题,提出了一种新的本地存储信誉信息的管理方法,将信誉信息以证书的形式存储在本地,并由所有者自行维护.交易前交易双方互相验证交易号的连续性以验证信誉证书的完整性,交易结束后双方互相评价并对信誉证书签名以防止信息被篡改.通过设计相应的协议,实现了旧信誉证书的完整性验证以及新信誉证书的生成.通过对比,该方法避免了大量的通信开销,提高了查询效率,并具有一定的安全性,同时协议有较好的可扩展性,可适用于各种信任管理模型.

关键词： Peer-to-Peer 信誉证书数字签名存储管理完整性

来源：评论

学校读者我要写书评

暂无评论

一种基于语义网技术和本体的数据集成方法

引用

华东理工大学学报（自然科学版） 2009年第1期35卷 119-124页

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

研究语义网技术在数据集成中的应用方法。采用规则系统实现对语义网本体语言的扩展,以提高本体语言的表达能力。在此基础上将语义网相关技术系统地应用到数据集成系统的各个方面,包括数据采集、本体构建、本体映射、数据查询和数据持久... 详细信息

研究语义网技术在数据集成中的应用方法。采用规则系统实现对语义网本体语言的扩展,以提高本体语言的表达能力。在此基础上将语义网相关技术系统地应用到数据集成系统的各个方面,包括数据采集、本体构建、本体映射、数据查询和数据持久化。通过一个实例,展示了上述方法的可行性。

关键词：语义网本体数据集成规则系统

来源：评论

学校读者我要写书评

暂无评论

P2P系统中基于属性约减的可信度评价

引用

华东理工大学学报（自然科学版） 2009年第5期35卷 734-739页

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

由于P2P系统的开放、匿名等特点,传统的访问控制和认证方法已无法在P2P系统中对信任协商进行有效的支持。本文利用信任协商机制和多信任域技术对P2P系统进行安全管理。针对信任凭证在信任协商过程中存在的安全隐患,通过属性的使用记录... 详细信息

由于P2P系统的开放、匿名等特点,传统的访问控制和认证方法已无法在P2P系统中对信任协商进行有效的支持。本文利用信任协商机制和多信任域技术对P2P系统进行安全管理。针对信任凭证在信任协商过程中存在的安全隐患,通过属性的使用记录实现信任凭证中属性集的约减,并给出一种基于属性集的可信度评估方法。该方法减少了访问者属性信息的不必要暴露,提高了信任协商交互的可靠性和安全性。

关键词： P2P 信任协商属性约减信任评估

来源：评论

学校读者我要写书评

暂无评论

一种基于Petri网的服务组合流程分析方法

引用

华东理工大学学报（自然科学版） 2009年第1期35卷 112-118页

作者：范贵生虞慧群陈丽琼刘冬梅华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112

虽然业务流程执行语言(BPEL)有很多特征使它适合组合流程的描述,但它缺乏形式化语义,从而不能对组合流程进行严格的分析和验证。本文提出了一种基于Petri网的BPEL语言所对应的组合流程分析方法。应用Petri网来描述BPEL所定义的组合流程... 详细信息

虽然业务流程执行语言(BPEL)有很多特征使它适合组合流程的描述,但它缺乏形式化语义,从而不能对组合流程进行严格的分析和验证。本文提出了一种基于Petri网的BPEL语言所对应的组合流程分析方法。应用Petri网来描述BPEL所定义的组合流程,描述组合流程的基本活动及它们之间关系,进而分析了组合流程结构上的合理性。通过实例网的构建,给出了流程可组合性的判定定理,并提出减少服务搜索空间的算法。最后,应用具体实例模拟组合流程的分析过程,展示了该方法的有效性。

关键词： BPEL 可组合性 Petri网建模验证

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：