【摘 要】
：
针对一卡通系统测试中因输出结果数量大、系统关联复杂、测试准则构造困难等因素而导致的难以判断输出结果正确性的问题,提出了扩展日志分析法。介绍了实现该方法的系统结构和所使用的测试状态机,引入了一种自行开发的支持层次化状态机、具有执行自定义函数功能的状态机定义语言,增强了扩展日志分析法测试复杂大型系统的能力。该方法在一卡通系统测试中得到了应用。
【基金项目】
：
国家“863”计划项目（2003AA414031,2003AA413031）
论文部分内容阅读
针对一卡通系统测试中因输出结果数量大、系统关联复杂、测试准则构造困难等因素而导致的难以判断输出结果正确性的问题,提出了扩展日志分析法。介绍了实现该方法的系统结构和所使用的测试状态机,引入了一种自行开发的支持层次化状态机、具有执行自定义函数功能的状态机定义语言,增强了扩展日志分析法测试复杂大型系统的能力。该方法在一卡通系统测试中得到了应用。
其他文献
针对二维数据域的Delaunay三角剖分推广到空间时存在的关键问题,提出一种基于标准差的地形三维表面模型建立算法。与空外接圆准则相比,该算法在计算时考虑了附加高程信息,引入标准差作为构网判断准则。剖析了标准差的含义,为什么使用标准差以及基于标准差的剖分准则,最后给出基于标准差的地形三维表面模型建立算法的具体步骤,并通过一个具体实例对算法进行了验证。
随着数字图像压缩技术的发展,数字监控系统的应用已经成熟,基于数字图像压缩技术的视频监控系统得到了广泛应用。而数字监控系统也随着图像压缩技术的发展在更新换代,H.264是一种新近成熟的、高效的视频压缩标准,它有着比以往压缩标准压缩效率更高,更能适应网络的特点。在深入分析了H.264视频压缩技术的基础上,设计和实现了一套实用的分层网络视频监控系统。
从分割图像与原图像的内在联系出发,提出了一种新的基于Otsu算法与互信息量技术相结合的分割算法——OMI算法。首先利用Otsu算法确定全局阈值作为初值,以互信息量为目标函数,在小范围内计算分割图像与原图像的互信息量,互信息量达到最大时的阈值即为最优值,这是将图像配准方法用于分割的一种创新性尝试。对大量人体寄生虫显微图像进行了实验,结果表明,本算法所得到的目标图像的边界特征保持完好,虚假目标信息大大
对COTS(Commercial O ff-The-Shelf)软构件评估进行综述,包括COTS软构件评估在整个CBS活动框架中的定位、COTS软构件评估的过程和方法及与其密切相关的其他CBS活动领域简介等,并对COTS软构件评估的未来发展方向进行了展望。
基于有限精度时间自动机模型,实现了一种新的数据结构———SDS,用SDS符号化表示状态空间的实时系统模型检测工具,并进行了初步的实验分析,取得了良好的效果。
分析了基于应用服务供应商(ASP)模式的工作流管理系统(W fMS)的现实意义及特点,在此基础上研究了其若干关键技术。在系统架构方面,给出了一个MVC模式的基于ASP的工作流管理系统参考模型及实现方法。讨论了基于EJB的W fMS应用服务器设计以及基于角色的访问控制技术。最后给出了应用实例。
Peer-to-Peer模型是一种新型的体系结构模型,许多优势有待于进一步发掘,拥有广阔的应用前景。首先指出基于模式的高可扩展的P2P系统可以满足P2P研究领域中对语义支持的需求以及对高可扩展性的需求,是P2P数据管理的发展趋势;通过综述基于模式P2P系统和高可扩展性P2P系统的研究现状,指出现有P2P数据管理研究项目分别从P2P网络的语义重叠网络和重叠网络两个方面改善P2P网络的性能和服务质量,
图像修补可用于被损坏的图像和视频修复、视频文字去除以及视频错误隐藏等。目前的许多模型都有很好的恢复效果,但都是运算量较大,现提出一种基于水平集方法和快速步进法的图像修补方法,能显著地减少运行时间,取得很好的修补效果。
首先从数字化校园系统的总体架构层面,进行统一应用支撑平台结构和功能设计;然后提出采用面向服务体系结构搭建统一应用支撑平台思路,给出基于面向服务体系结构的统一应用支撑平台系统解决方案。该方案可很好地解决应用互操作问题,这对于企业实现各信息系统之间应用集成与协作具有一定借鉴意义。
DNA序列分割作为DNA序列分析中的一部分正受到越来越多人的关注,引入数据挖掘技术是提高DNA序列分割有效性的一个重要途径。全面综述了目前数据挖掘技术在DNA序列分割中的应用,最后指出了尚待解决的问题。