【摘 要】
:
计算机技术的飞速发展使得提高软件可靠性的问题日益迫切,软件测试是保证可靠性的重要手段.统计表明,软件测试工作的成本占软件开发总成本的44﹪~50﹪,因此,对软件测试方法和测试
论文部分内容阅读
计算机技术的飞速发展使得提高软件可靠性的问题日益迫切,软件测试是保证可靠性的重要手段.统计表明,软件测试工作的成本占软件开发总成本的44﹪~50﹪,因此,对软件测试方法和测试支持工具进行研究是十分必要的.软件测试是为了发现软件中的潜在错误而对软件运行和测定,从而提高软件质量的过程.该文首先综述了软件测试的理论,方法及工具的发展概况,软件测试数据的选择和测试技术的自动化是目前软件测试亟待解决的问题和主要研究方向之一.该文详细分析了现有的基于结构测试的路径覆盖测试数据生成方法.测试数据生成方法一般分为三步:建立程序控制流图,路径选择,测试数据生成.现有的路径测试数据自动生成工具大都采用符号执行的方法生成测试数据,其共性缺陷为:分支问题;数组处理问题;大程序问题.针对以上问题,该文提出了一种有效的路径测试数据自动生成策略.该策略的主要思想是:对被测程序进行实际执行,动态数据流分析,以及函数最小化搜索.
其他文献
该文以构造虚场景为中心,就其中涉及计算机图形学领域的基于图像的建模和绘制、三维场景漫游以及纹理生成等关键技术进行了研究与讨论.该文详尽而和系统地总结了当前基于图像
该文以一类特殊的机电产品--离散型复杂机电产品为设计对象,采用系统设计方法理论,建立多视图集成的成品模型,利用知识系统辅助设计人员完成方案择取、评价等设计工作,在一定
通信性能是影响机群系统实行并行处理效率的关键,因此高性能通信系统的研究在整个机群系统中占有非常重要的地位,并且一直是近几年国内外研究的热点.该文在分析影响通信系统
该文从网络安全问题与现状出发,简单介绍了当前国内外常见安全威胁方式与手法相关的安全技术.在认真分析已有防火培技术的基础上,该文重点论述了实现SOCKS版本5协议的新型防
该文研究了邮政运输调度领域的几个组合优化问题.分析邮政运输问题后,提出将其分解为可以实现自然连接的星型、网络、线型三种结构,降低问题的复杂度.研究人员的任务就是分别
该文进行了需求分析阐述了系统的整体结构及实现方案.详细介绍了集中管理系统的设计与实现、数据库的设计与实现、实时通信的实现.在费率数据的灵活修改、分时段及节假日优惠
测试技术是保障软件系统质量最重要和最有效的方法之一,一直以来也是工业界保证软件系统正确性最主要的手段。受计算能力和时间、空间资源的限制,测试无法穷尽软件所有可能的
中药方剂配伍规律发现问题是方剂理论及中医药客观化研究的重要问题之一,是中药方剂研究者及计算机工作者尤其是数据挖掘研究者普遍关心的热点问题之一。目前利用数据挖掘技术
该文论述了针对报业新闻采编系统的应用背景,基于组件化思想的领域框架的设计和实现技术.该论文充分研究了作为软件复用技术热点的组件构造方法和面向对象的框架技术.同时在
作为中国"863"项目"可扩展并行集群与应用系统"的一个子项目,研究人员设计实现了一个基于集群计算机系统的并行程序集成开发环境IPCE2.0.IPCE2.0开发集成了多种开发工具,具有