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

基于层次分析法的测试用例可复用性度量研究

引用

计算机应用与软件 2011年第9期28卷 60-63,112页

作者：袁松杨根兴张娟华东理工大学计算机科学与工程学院上海200237 上海市计算机软件评测重点实验室上海201114 上海大学计算机科学与工程学院上海200072

对测试用例的可复用性度量进行研究,构建测试用例可复用性评估模型,通过分析转化得到易于度量的层次分析模型。通过层次分析模型构建权重比较矩阵,再进行相关属性的度量,并可进一步开展自动的测试用例可复用性度量。

关键词：测试用例可复用性度量层次分析法

来源：评论

学校读者我要写书评

暂无评论

基于复用行为的测试用例本体描述和检索

引用

计算机应用与软件 2011年第10期28卷 65-68页

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

随着测试用例复用实践的深入和可复用测试用例库规模的不断扩大,对测试用例表示和高效检索已经成为目前研究的热点。基于本体描述的测试用例,结合基于本体的概念语义相似度计算思想,针对测试用例本体描述的特点,提出了一种基于用例复用... 详细信息

随着测试用例复用实践的深入和可复用测试用例库规模的不断扩大,对测试用例表示和高效检索已经成为目前研究的热点。基于本体描述的测试用例,结合基于本体的概念语义相似度计算思想,针对测试用例本体描述的特点,提出了一种基于用例复用行为的匹配度计算方法,并通过理论分析与实验检验证明,其提高了用例检索的查全率及用例复用的效率。

关键词：测试用例本体匹配度用例检索用例复用

来源：评论

学校读者我要写书评

暂无评论

基于Petri网的UPnP安全模型与分析

基于Petri网的UPnP安全模型与分析

引用

2011 2ND International Conference on Innovative Computing and Communication and 2011 Asia-Pacific Conference on Information Technology and Ocean Engineering(CICC-ITOE 2011)

作者：郑红李春芳陈志华华东理工大学信息科学与工程学院上海市计算机软件评测重点实验室

UPnP是一种被广泛应用于数字家庭网络中的通用即插即用技术。UPnP安全规范在UPn P技术的基础上进行了拓展用于满足重要的安全性需求。本文引入了形式化方法 Petri网,利用它直观的图形表示和严密的数学理论等优点,对安全规范进行了建模,... 详细信息

UPnP是一种被广泛应用于数字家庭网络中的通用即插即用技术。UPnP安全规范在UPn P技术的基础上进行了拓展用于满足重要的安全性需求。本文引入了形式化方法 Petri网,利用它直观的图形表示和严密的数学理论等优点,对安全规范进行了建模,模拟了实际安全系统中的安全控制,通过对Petri网模型中的引发步和变迁序列,分析了模型的可达性,验证了系统的不可否认性和安全性。

关键词： Petri网安全 UPnP

来源：评论

学校读者我要写书评

暂无评论

浮点型数据的无损压缩

浮点型数据的无损压缩

引用

2011 AASRI Conference on Applied Information Technology(AASRIAIT 2011)

作者：孙毅许庆国林学龙计算机工程与科学学院上海大学上海市计算机软件评测重点实验室东华大学机械工程学院

为解决浮点型数据的无损压缩存储问题,研究了IEEE754标准规定的浮点型数据的结构特点,无损小波变换以及无损整数编码等算法。在此基础上,提出了基于浮点型数据结构特点的无损浮点型数据压缩方法。该方法通过分析浮点型数据的结构,创造... 详细信息

为解决浮点型数据的无损压缩存储问题,研究了IEEE754标准规定的浮点型数据的结构特点,无损小波变换以及无损整数编码等算法。在此基础上,提出了基于浮点型数据结构特点的无损浮点型数据压缩方法。该方法通过分析浮点型数据的结构,创造性地将浮点数据映射为一个整型数据,然后对整型数据进行提升小波变换,最后采用无损整型压缩算法进行编码。该方法适用于高精度无损浮点型数据的压缩。通过试验证明该方法的效能。

关键词：无损压缩浮点型提升小波变换整型压缩

来源：评论

学校读者我要写书评

暂无评论

基于Petri网的IPv4到IPv6协议转换分析

引用

计算机应用与软件 2011年第12期28卷 105-107,187页

作者：符海波郑红罗笑南华东理工大学信息科学与工程学院上海200237 上海市计算机软件评测重点实验室上海200235 中山大学信息学科学与技术学院广东广州510275

应用Petri网原理分析IPv4-IPv6协议转换,并结合实际的系统和详细转换流程图,建立Petri网模型。通过此Petri网模型的有界性、可达性及活性等动态特性,证明此转换模型功能和安全上的可行性。

关键词： Petri网协议转换可达图

来源：评论

学校读者我要写书评

暂无评论

基于Petri网的服务组合故障诊断与处理

引用

软件学报 2010年第2期21卷 231-247页

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

通过分析服务组合的故障需求,给出服务组合故障处理的框架.该框架采用Petri网来解决服务组合的错误发现及其处理问题.重点讨论了可用服务失败、组件失败及网络故障的情况,并相应地给出了服务组合故障模型.在此基础上对故障处理模型进行... 详细信息

通过分析服务组合的故障需求,给出服务组合故障处理的框架.该框架采用Petri网来解决服务组合的错误发现及其处理问题.重点讨论了可用服务失败、组件失败及网络故障的情况,并相应地给出了服务组合故障模型.在此基础上对故障处理模型进行分析,给出服务组合故障处理正确性准则,并证明了其正确性.最后,采用CTL(computational tree logic)描述相关性质并提出验证服务组合故障分析的实施算法.仿真结果表明,该方法在处理服务组合故障时具有一定的优越性.

关键词： Petri网服务组合故障处理 CTL(computational tree logic) 可靠性

来源：评论

学校读者我要写书评

暂无评论

一种基于Petri网的面向方面的用例建模方法

引用

华东理工大学学报（自然科学版） 2010年第2期36卷 248-254页

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

对传统的用例建模方法进行扩展,并针对用例描述的文本语言中经常出现的二义性、冲突以及遗漏信息的问题,提出一种基于Petri网的面向方面的用例建模方法。构建了从面向方面用例模型到面向方面Petri网模型的映射规则,引入面向方面的形式... 详细信息

对传统的用例建模方法进行扩展,并针对用例描述的文本语言中经常出现的二义性、冲突以及遗漏信息的问题,提出一种基于Petri网的面向方面的用例建模方法。构建了从面向方面用例模型到面向方面Petri网模型的映射规则,引入面向方面的形式化的建模与分析技术,并利用时态逻辑检验织入时机的正确性。最后给出实例和分析,验证了该方法的有效性。

关键词：面向方面用例 Petri网时态逻辑

来源：评论

学校读者我要写书评

暂无评论

基于带抑制弧的时延着色Petri网的嵌入式系统建模与验证

引用

华东理工大学学报（自然科学版） 2010年第3期36卷 411-417页

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

结合着色Petri网和时延Petri网,提出了一种适合于复杂嵌入式系统建模方法。该方法在库所中表示数据、控制信息和时间戳,在变迁中引入时延、控制函数与变迁函数,利用抑制弧简化模型。该方法可以对复杂的嵌入式系统进行建模,还可以利用现... 详细信息

结合着色Petri网和时延Petri网,提出了一种适合于复杂嵌入式系统建模方法。该方法在库所中表示数据、控制信息和时间戳,在变迁中引入时延、控制函数与变迁函数,利用抑制弧简化模型。该方法可以对复杂的嵌入式系统进行建模,还可以利用现有的Petri网技术分析系统性质。通过实际案例展示了该方法的应用和可行性。

关键词： Petri网抑制弧嵌入式系统建模验证

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于形态分析识别设计模式中的集中管理式聚集

引用

软件学报 2010年第11期21卷 2725-2737页

作者：周晓宇钱巨陈林徐宝文东南大学计算机科学与工程学院江苏南京211189 上海市计算机软件评测重点实验室上海201112 南京航空航天大学信息科学与技术学院江苏南京210016 南京大学计算机科学与技术系江苏南京210093 南京大学计算机软件新技术国家重点实验室江苏南京210093

针对常见的利用指针或引用的聚集实现方式,提出一种基于形态分析的一对多聚集关系的自动识别方法.首先,扩充Sagiv的三值逻辑结构中的谓词以描述链表上聚集管理操作的语义特征.然后,给出基于控制流上链表形态结构的变化识别聚集管理行为... 详细信息

针对常见的利用指针或引用的聚集实现方式,提出一种基于形态分析的一对多聚集关系的自动识别方法.首先,扩充Sagiv的三值逻辑结构中的谓词以描述链表上聚集管理操作的语义特征.然后,给出基于控制流上链表形态结构的变化识别聚集管理行为的方法.最后,通过开源软件JEdit中的实例分析展示了该方法的有效性.

关键词：聚集设计模式形态分析集中式管理识别

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：