论文部分内容阅读
在实践的基础上总结了测试用例生成中的前置条件,进行了分类和参数化,并将研究结果应用于测试用例自动生成工具,生成了软件可靠性测试用例。结果表明对前置条件的研究能够促进测试用例的自动化生成过程。
软件测试用例生成中的前置条件分析
【摘 要】
：
在实践的基础上总结了测试用例生成中的前置条件,进行了分类和参数化,并将研究结果应用于测试用例自动生成工具,生成了软件可靠性测试用例。结果表明对前置条件的研究能够促进测试用例的自动化生成过程。
【机 构】
：
北京航空航天大学工程系统工程系
【出 处】
：
计算机应用研究
【发表日期】
：
2007年03期
其他文献
合成孔径雷达(SAR)图像固有的相干斑噪声严重影响了SAR图像的判读和进一步压缩处理,提出一种在多小波域将空间方向树(SOT)去噪与压缩相结合的SAR图像压缩算法。首先利用SOT对高频子带的多小波系数进行软阈值去噪,滤除相干斑噪声;然后采用改进的多级树集合分裂(SPIHT)算法编码形成嵌入式码流。利用大量的机载SAR图像对该算法进行了仿真验证,实验结果表明采用该算法进行SAR图像压缩提高了重建图像
提出了一种新的结合自适应中值滤波和阈值的去噪方法。与其他中值滤波方法不同,这里采用的自适应中值滤波的滑动窗口大小根据窗口内灰度的均值与最佳阈值下目标部分灰度均值和背景部分灰度均值的差别自适应确定。实验结果表明,与仅用中值滤波或仅用简单阈值对图像去噪的方法相比,利用该去噪方法,图像的信噪比提高了10.42 dB,光斑图像质心的精度最大提高了80%左右。
对现有主要IP核保护方法的原理和性能进行了研究分析,指出了各种方法的优缺点,同时指出了IP核保护方法的发展方向。
根据新兴的下一代互联网基于对象存储的思想,提出了一种基于对象存储理念的W eb遥感影像数据管理与发布系统的体系结构,并阐述了其工作原理、关键技术和数据流程。
距离变换在图像处理中有着非常广泛的应用。由于3D图像数据的复杂性,传统基于CPU的3D距离变换效率较低。为此,研究了将3D图像数据有效地组织到纹理中存储的方法,设计并实现了基于GPU的3D距离变换并行算法。实验结果表明,相对基于CPU的算法,该方法具有非常高的加速比。
在分析CAx集成信息的基础上,提出了一种在关系数据库上建立的集成产品模型的数据结构,得出了以产品数据管理系统为基本集成框架、融合知识管理理念的基于知识的机械产品开发集成体系框架。
提出一种基于特征词句子环境的文本分类方法,介绍了创建分类规则的文本句子信息模型,比较详细地给出训练算法和语句聚集算法。该算法依据训练文本集的特征词句子环境,获取识别文本主题类别的特征词集合。最后给出了分类器性能的测试结果。
网络断层扫描是一种新的网络测量技术,通过端到端的网络外部测量来推断网络内部性能,从而克服了传统网络测量技术的诸多缺陷。推断分析理论作为网络断层扫描的核心技术,直接关系到网络测量的计算复杂度和推断准确性。论述了网络断层扫描技术的基本概念,重点介绍并探讨了目前推断分析理论方法及其研究进展,最后提出了今后推断分析理论需要研究和解决的关键问题。
随着WS-BPEL2.0规范标准的提出,现有的BPMN到BPEL的组件转换方法已不再适用。为了适应BPEL的变化,对组件的转换进行改动和扩展,对错误处理活动在语义上提供支持,并且提供了显式的事务特性支持。这种设计已经在中国科学院软件研究所软件工程中心研制的OnceBPD建模工具中得到实现,并在实际运用中检验了其可用性。
提出一种新的基于UML(unified modeling language)的多视图模型,即"6+1"视图模型,从场景、概念视图、框架视图、过程视图、数据视图、构件视图、物理视图七个视角完整地描述一个系统的体系结构,并将该视图模型应用到钢材库管理系统的体系结构描述中。实践表明,它是面向对象软件开发方法中高效而实用的软件体系结构建模方法。