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

应用科学学报 2011年第5期29卷 529-536页

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

安全关键系统必须满足规定的安全性质.测试生成通常独立于给定性质,"先验证再测试"的方法不能保证安全性质被测试.为此,该文提出了一种基于输入-输出标记迁移系统的安全性质测试方法.用输出变异建立被测实现的输出-完全模型,... 详细信息

安全关键系统必须满足规定的安全性质.测试生成通常独立于给定性质,"先验证再测试"的方法不能保证安全性质被测试.为此,该文提出了一种基于输入-输出标记迁移系统的安全性质测试方法.用输出变异建立被测实现的输出-完全模型,通过发现危险迹产生测试用例.给出了基于图结构覆盖的安全性质测试准则,提出了形式化测试准则的方法.使用模型检验器NuSMV检验输出-完全模型可产生既满足结构覆盖又与安全性质相关的测试用例.

关键词：安全性质模型检验测试生成危险迹

来源：评论

学校读者我要写书评

暂无评论

基于模型的Web应用测试

引用

计算机学报 2011年第6期34卷 1012-1028页

作者：缪淮扣陈圣波曾红卫上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海201112

提出了基于模型的Web应用测试方法,包括建模、测试用例生成、测试用例的执行、模型以及测试用例的可视化等关键技术.设计并实现一个基于模型的Web应用测试系统.以FSM作为被测Web应用的形式测试模型,集成了模型转换器、测试目标分析器、... 详细信息

提出了基于模型的Web应用测试方法,包括建模、测试用例生成、测试用例的执行、模型以及测试用例的可视化等关键技术.设计并实现一个基于模型的Web应用测试系统.以FSM作为被测Web应用的形式测试模型,集成了模型转换器、测试目标分析器、测试序列生成器、FSM和测试序列可视化以及Web应用测试执行引擎等工具.除支持状态覆盖、迁移覆盖、迁移对覆盖等传统的覆盖准则外,还改进/提出了优化状态迁移覆盖、完整消息传递覆盖、完整功能交互覆盖和功能循环交互覆盖等覆盖准则.该文以兴宁水库移民信息管理系统为例演示了该系统.

关键词： Web应用模型转换测试用例生成测试执行

来源：评论

学校读者我要写书评

暂无评论

基于FSM的测试理论、方法及评估

引用

计算机学报 2011年第6期34卷 965-984页

作者：刘攀缪淮扣曾红卫刘阳上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海200072

为搭建基于FSM的测试方法由理论研究通往工业应用的桥梁,文中讨论了若干基于FSM模型的测试方法及其相关理论,提出构造区分序列的理论及测试序列集合冗余约简的理论,补充并实现了若干基于FSM的测试生成算法.随后文中提出了基于FSM的测试... 详细信息

为搭建基于FSM的测试方法由理论研究通往工业应用的桥梁,文中讨论了若干基于FSM模型的测试方法及其相关理论,提出构造区分序列的理论及测试序列集合冗余约简的理论,补充并实现了若干基于FSM的测试生成算法.随后文中提出了基于FSM的测试方法评估的5项量化指标,实验评估了若干基于FSM模型的测试方法,给出了一些基于FSM测试的经验建议.文中的评估有助于基于FSM的测试方法在工业中的推广.

关键词：基于FSM的测试测试评估测试生成算法基于FSM的测试理论冗余约简

来源：评论

学校读者我要写书评

暂无评论

软件功能测试规模估算模型的研究及其应用

引用

计算机工程 2011年第7期37卷 47-49页

作者：宋巍沈建雄杨根兴蔡立志上海市计算机软件评测重点实验室上海201112 上海市软件评测中心上海200233

提出一种基于功能点分析法的软件功能测试规模估算模型。该模型适用于黑盒功能测试,用于系统测试阶段或验收测试阶段工作量的估算,基本估算步骤包括估算软件规模、定义规模因子、计算测试规模,并在项目中进行实践应用。结果表明,该模型... 详细信息

提出一种基于功能点分析法的软件功能测试规模估算模型。该模型适用于黑盒功能测试,用于系统测试阶段或验收测试阶段工作量的估算,基本估算步骤包括估算软件规模、定义规模因子、计算测试规模,并在项目中进行实践应用。结果表明,该模型可以较好地估算软件功能测试规模,可用于测试计划的制定及实施。

关键词：软件测试功能测试规模功能点分析 Mark Ⅱ功能点法

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于UML状态图的软件测试研究

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

带抑制弧的时延着色Petri网模型检测技术

引用

计算机科学 2011年第1期38卷 170-176,209页

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

带抑制弧的时延着色Petri网(Timed Colored Petri Nets with Inhibitor Arcs,TCPNIA)是一种描述实时嵌入式系统的模型。给出了从TCPNIA到时间自动机的结构化转换算法,以利用变迁冲突调解机制保证TCPNIA模型和转换后的时间自动机模型语... 详细信息

带抑制弧的时延着色Petri网(Timed Colored Petri Nets with Inhibitor Arcs,TCPNIA)是一种描述实时嵌入式系统的模型。给出了从TCPNIA到时间自动机的结构化转换算法,以利用变迁冲突调解机制保证TCPNIA模型和转换后的时间自动机模型语义等价;并给出了语义等价的证明和算法复杂度分析。层次化方法被用来提高模型检测的时间与空间效率。通过实际案例展示了该技术的应用和可行性。

关键词：时延着色Petri网抑制弧时间自动机冲突调解模型检测

来源：评论

学校读者我要写书评

暂无评论

基于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步算法,支持企业私有云下的数据高效访问.

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：