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

计算机工程 2011年第18期37卷 32-34页

作者：李晓庆崔健蔡立志上海计算机软件技术开发中心上海200112 上海市计算机软件评测重点实验室上海200112 上海海事大学信息工程学院上海200135

UML状态图与传统的状态转换图存在较大的差异,导致由状态转换图得到的软件测试路径不适用于UML状态图。为此,提出一种由UML状态图得到软件测试路径的方法。通过对UML状态图逐层分析,并将并发子状态相互组合,以获得状态迁移路径,从而得... 详细信息

UML状态图与传统的状态转换图存在较大的差异,导致由状态转换图得到的软件测试路径不适用于UML状态图。为此,提出一种由UML状态图得到软件测试路径的方法。通过对UML状态图逐层分析,并将并发子状态相互组合,以获得状态迁移路径,从而得到软件测试路径。实例证明,该方法可以从UML状态图得出软件的测试路径。

关键词： UML状态图软件测试测试路径并发子状态组合状态

来源：评论

学校读者我要写书评

暂无评论

基于FPGA的视频预处理系统的建模与仿真

引用

计算机工程与设计 2011年第1期32卷 309-312页

作者：王婷童维勤马飞上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海201112

为了提高基于FPGA的视频处理效果,降低FPGA处理视频的开发难度,结合使用开发工具System Generator和Accel-DSP,对基于IP的系统开发方法进行了研究,构建了一种视频预处理系统模型。利用双线性插值算法进行Bayer格式图像的彩色还原,通过... 详细信息

为了提高基于FPGA的视频处理效果,降低FPGA处理视频的开发难度,结合使用开发工具System Generator和Accel-DSP,对基于IP的系统开发方法进行了研究,构建了一种视频预处理系统模型。利用双线性插值算法进行Bayer格式图像的彩色还原,通过中值滤波器模块降低图像噪声,来提高图像整体画质。研究基于FPGA的DSP开发新方法,利用已有模块和AccelDSP开发的新模块,系统地设计整个模块。最后,以实例展示了基于System Generator的模型,验证了该方法的可行性和有效性。

关键词： DSP系统生成器 Bayer还原双线性插值图像还原器中值滤波

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

小型微型计算机系统 2011年第9期32卷 1762-1769页

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

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

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

关键词： Web服务面向方面 Petri网安全性故障

来源：评论

学校读者我要写书评

暂无评论

环境监测系统通信协议测试与分析

引用

计算机应用与软件 2011年第11期28卷 157-160页

作者：苏金梅蔡立志上海市计算机软件评测重点实验室上海201112

环境监测系统是当前物联网在环境领域的一个重要应用。现场数据采集仪对污染排放点进行实时监测和采集,通过各种通信网络实时发送到后端服务器进行处理。该系统从底层逐级向上可分为现场数据采集仪(现场机)、通信网络及监控中心(上位机... 详细信息

环境监测系统是当前物联网在环境领域的一个重要应用。现场数据采集仪对污染排放点进行实时监测和采集,通过各种通信网络实时发送到后端服务器进行处理。该系统从底层逐级向上可分为现场数据采集仪(现场机)、通信网络及监控中心(上位机)三层组成。通过测试工具SilkPerformer模拟现场机与上位机之间指令交互,验证通信协议符合性;以及通过对通信协议进行压力测试,考察交互的响应时间及系统性能。

关键词：通信协议数据采集符合性测试 SilkPerformer

来源：评论

学校读者我要写书评

暂无评论

改进的程序时序安全属性模型检测技术

引用

计算机工程 2011年第7期37卷 28-30页

作者：张志张林曾庆凯南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 上海市信息安全综合管理技术研究重点实验室上海200030

针对程序时序安全属性模型检测技术改进模型检测算法,使安全漏洞状态机以函数为单位进行扩展,简化程序模型检测过程,以提高检测效率。在检测过程中加入别名分析,考虑安全操作之间的数据流依赖关系,以提高检测的准确性。实验结果表明,改... 详细信息

针对程序时序安全属性模型检测技术改进模型检测算法,使安全漏洞状态机以函数为单位进行扩展,简化程序模型检测过程,以提高检测效率。在检测过程中加入别名分析,考虑安全操作之间的数据流依赖关系,以提高检测的准确性。实验结果表明,改进后的方法比原检测方法具有更高的效率和准确性。

关键词：时序安全属性模型检测别名分析

来源：评论

学校读者我要写书评

暂无评论

基于本体的P2P网络资源搜索

引用

软件产业与工程 2011年第1期 30-34页

作者：姜旭蔡立志上海市计算机软件评测重点实验室上海200112

集中式的网络资源本体解决了传统的基于资源属性的精确匹配方法的扩展性,但不适合具有分布式特性的P2P网络资源。本文提出了一种基于分布式本体的P2P网络资源匹配模型。在该模型中,全局本体由各个节点的独立的本地网络资源本体构成,网... 详细信息

集中式的网络资源本体解决了传统的基于资源属性的精确匹配方法的扩展性,但不适合具有分布式特性的P2P网络资源。本文提出了一种基于分布式本体的P2P网络资源匹配模型。在该模型中,全局本体由各个节点的独立的本地网络资源本体构成,网络资源匹配操作完全分布式地由节点自主控制,解决了集中式的网络资源本体的可扩展性问题,更适合P2P网络的资源匹配。

关键词：本体语义匹配 P2P CHORD

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机研究与发展 2011年第S2期48卷 617-622页

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

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

来源：评论

学校读者我要写书评

暂无评论

中小软件项目中基于敏捷过程域控制的QA外包探索

引用

软件产业与工程 2011年第6期 31-34,40页

作者：池震奇蔡立志胡芸上海市计算机软件评测重点实验室(SSTL) 上海201112

软件的质量管理是控制软件品质乃至项目品质的重要手段,但企业在建设中小型软件项目时,极易受到条件的制约而无法控制项目的质量。将质量保证(QA)外包给第三方评估机构,通过实施SSTL设计搭建的轻载质量管理框架SQAF,约束质量管理过程中... 详细信息

软件的质量管理是控制软件品质乃至项目品质的重要手段,但企业在建设中小型软件项目时,极易受到条件的制约而无法控制项目的质量。将质量保证(QA)外包给第三方评估机构,通过实施SSTL设计搭建的轻载质量管理框架SQAF,约束质量管理过程中关键过程域,既能保证中小型软件项目运行的过程受控,又能避免重载质量体系对项目的繁琐制约。

关键词： SQAF轻载过程域质量保障敏捷

来源：评论

学校读者我要写书评

暂无评论

结合语句执行补集的程序错误定位

引用

计算机科学与探索 2011年第6期5卷 522-533页

作者：胡从兴陈林丁晖曾奕南京大学计算机科学与技术系南京210093 上海市计算机软件评测重点实验室上海201114 南京大学计算机软件新技术国家重点实验室南京210093

基于频谱的错误定位方法一般利用覆盖信息为每条语句度量出错的可能,即可疑度,通过逐条检查按可疑度值降序排列的语句序列来确定错误语句。针对已有的方法大多只考虑覆盖信息中语句执行信息的问题,分析了语句执行补集对错误定位的积极影... 详细信息

基于频谱的错误定位方法一般利用覆盖信息为每条语句度量出错的可能,即可疑度,通过逐条检查按可疑度值降序排列的语句序列来确定错误语句。针对已有的方法大多只考虑覆盖信息中语句执行信息的问题,分析了语句执行补集对错误定位的积极影响,进一步提出了在语句执行信息基础上结合语句执行补集的错误定位方法。实验结果表明,与其他方法相比,所提方法能够减少找到错误时需要检查的语句数目,从而达到提高错误定位效果的目的。

关键词：软件测试覆盖信息错误定位调试

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：