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

计算机科学 2014年第3期41卷 23-26页

作者：陈怡海缪淮扣上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海201114

表格语言具有可读性和可理解性的优点,它能非常精确地表示软件系统需求。在过去的30多年间,表格语言已经成功地应用于多个安全关键嵌入式软件的开发中。准确了解这些表格语言的特性,对表格语言的研究及推广有重要的指导意义。对3种不同... 详细信息

表格语言具有可读性和可理解性的优点,它能非常精确地表示软件系统需求。在过去的30多年间,表格语言已经成功地应用于多个安全关键嵌入式软件的开发中。准确了解这些表格语言的特性,对表格语言的研究及推广有重要的指导意义。对3种不同的表格语言进行了详细的综述和讨论,从不同角度分析比较了其异同点,并提出了进一步的研究方向。

关键词：表格方法形式方法规格说明验证与确认工具支持

来源：评论

学校读者我要写书评

暂无评论

基于网格的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测试理论,提出一种选择测试用例的贪心算法,该算法可以有效地筛选测试用例,提高测试效率,降低测试成本。并介绍了在多态交互的单元测试框架中使用装饰型设计模式,有效地提高了测试代码的效率。

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

来源：评论

学校读者我要写书评

暂无评论

基于构件开发的BOSC的研究与应用

引用

计算机工程 2007年第17期33卷 63-65,68页

作者：李婷杨根兴饶若楠上海交通大学软件学院上海200030 上海市计算机软件评测重点实验室(SSC)

从基于构件的软件开发中所关注的应用领域和体系结构这两大软件特征出发,构造一种基于构件开发的软件产品结构成分表(BOSC),提出面向特征BOSC的生成算法,为基于构件的软件开发提供软件构件复用管理方法。在整个软件生命周期中,BOSC完整... 详细信息

从基于构件的软件开发中所关注的应用领域和体系结构这两大软件特征出发,构造一种基于构件开发的软件产品结构成分表(BOSC),提出面向特征BOSC的生成算法,为基于构件的软件开发提供软件构件复用管理方法。在整个软件生命周期中,BOSC完整地反映了软件产品组成成分的情况,支持软件产品维护和升级。实践表明BOSC能够有效提高开发效率和管理水平。

关键词：软件复用软件构件软件产品特征矩阵软件产品结构表结构化匹配

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种基于AOcontPN的信息物理系统建模方法

引用

华东理工大学学报（自然科学版） 2013年第2期39卷 217-221页

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

信息物理系统(CPS)是计算、控制和通信相融合的系统。现有的建模方法不能很好地实现其离散和连续混合的复杂行为。对此提出了一种基于面向方面连续Petri网的AOcontPN建模方法。依据CPS需求分析,将一些普遍存在的物理连续过程抽取出来,... 详细信息

信息物理系统(CPS)是计算、控制和通信相融合的系统。现有的建模方法不能很好地实现其离散和连续混合的复杂行为。对此提出了一种基于面向方面连续Petri网的AOcontPN建模方法。依据CPS需求分析,将一些普遍存在的物理连续过程抽取出来,作为一个功能性的方面连续Petri网,织入到基本Petri网中。这样不仅解决了CPS系统中连续过程的行为分析、复用等问题,也使得整个系统可以使用离散系统的形式化方法来验证。

关键词： CPS 面向方面方法连续Petri网建模

来源：评论

学校读者我要写书评

暂无评论

一种基于RSSI距离比的传感器节点定位算法

引用

华东理工大学学报（自然科学版） 2013年第5期39卷 596-600页

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

随着无线传感器网络的应用与发展,WSN作为一种全新的信息获取和处理技术已得到广泛应用。如何对传感器网络节点进行快速、精确的定位,已成为WSN系统急需解决的问题。为此,提出了一种基于RSSI距离比的MDS定位算法。该算法巧用RSSI距离比... 详细信息

随着无线传感器网络的应用与发展,WSN作为一种全新的信息获取和处理技术已得到广泛应用。如何对传感器网络节点进行快速、精确的定位,已成为WSN系统急需解决的问题。为此,提出了一种基于RSSI距离比的MDS定位算法。该算法巧用RSSI距离比,结合Euclidean测距技术计算节点间距离矩阵,运用MDS算法建立相应的全局坐标系统。根据已知锚节点物理位置,通过坐标变换(旋转与平移)最终确定未知节点的物理位置。实验结果表明:该方法能有效地提高定位的精度,对开发高精度定位系统具有重要的参考价值。

关键词： MDS RSSI测距 Euclidean 传感器节点定位

来源：评论

学校读者我要写书评

暂无评论

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

引用

电子学报 2011年第A03期39卷 104-109页

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

目前将信誉信息存储在本地进行管理的方法需要通过第三方验证信誉的完整性,这在动态的P2P环境中很难实现,而且信誉信息易丢失或被篡改.提出了一种新的本地存储信誉信息的管理方法,将信誉信息以证书的形式存储在本地,并由所有者自行维护... 详细信息

目前将信誉信息存储在本地进行管理的方法需要通过第三方验证信誉的完整性,这在动态的P2P环境中很难实现,而且信誉信息易丢失或被篡改.提出了一种新的本地存储信誉信息的管理方法,将信誉信息以证书的形式存储在本地,并由所有者自行维护.通过设计相应的协议,实现了旧信誉证书的完整性验证以及新信誉证书的生成.该方法避免了大量的通信开销,提高了查询效率,并具有一定的安全性.

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

来源：评论

学校读者我要写书评

暂无评论

面向概率服务组合系统的需求描述

引用

小型微型计算机系统 2015年第11期36卷 2504-2509页

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

高度开放的计算环境使web服务系统面临各种不确定性.为了有效地配置计算资源以实现系统业务价值最大化,需要对不确定的概率服务组合系统需求进行建模.在LSC的基础上,提出一种基于三段式概率消息的需求描述语言p LSC,用于描述概率服务组... 详细信息

高度开放的计算环境使web服务系统面临各种不确定性.为了有效地配置计算资源以实现系统业务价值最大化,需要对不确定的概率服务组合系统需求进行建模.在LSC的基础上,提出一种基于三段式概率消息的需求描述语言p LSC,用于描述概率服务组合系统中随机场景描述的不确定的需求.从马尔可夫随机过程特性出发,提出随机变量与消息相结合的三段式概率消息概念,p LSC语言是一种基于三段式概率消息的需求描述语言,将三段式概率消息中随机变量对象化,通过随机变量对象消息交互序列直观表示随机场景描述的系统需求.文中给出了p LSC语言的图形表示方法,并展示了p LSCEditor编辑工具用于图形化编辑随机场景.

关键词：随机场景三段式概率消息随机状态对象化 pLSC需求描述语言

来源：评论

学校读者我要写书评

暂无评论

基于Markov链使用模型的加速统计测试方法

引用

东南大学学报（自然科学版） 2011年第5期41卷 949-955页

作者：张德平查日军南京航空航天大学计算机科学与技术学院南京210016 上海市计算机软件评测重点实验室上海201112 东南大学计算机科学与工程学院南京210096

为了提高软件统计测试的效率,使用较少的测试资源达到测试目的,提出了一种基于Markov链使用模型的软件加速统计测试方法.该方法通过均衡软件测试成本和软件投放后的失效风险,以软件平均总费用最小为目标,基于重要抽样技术的加速测试机理... 详细信息

为了提高软件统计测试的效率,使用较少的测试资源达到测试目的,提出了一种基于Markov链使用模型的软件加速统计测试方法.该方法通过均衡软件测试成本和软件投放后的失效风险,以软件平均总费用最小为目标,基于重要抽样技术的加速测试机理,采用交叉熵方法生成最优(或近优)测试剖面,同时给出了一种新的统计测试充分性判定准则,最后根据生成的最优测试剖面自动生成统计测试数据集.仿真实验结果表明,相对于传统的统计测试方法,使用交叉熵方法的加速统计测试方法能有效地降低软件总费用,显著增加关键操作的测试次数,是一种快速有效的加速统计测试方法.

关键词：软件测试统计测试加速测试方法 Markov链使用模型交叉熵方法

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：