【摘 要】
：
软件测试技术因其在软件质量保障方面所起的重要作用以及在整个软件开发成本中所占的很大的比重而受到学术界和工业界越来越多的关注.研究系统的软件测试理论和高效的软件测
论文部分内容阅读
软件测试技术因其在软件质量保障方面所起的重要作用以及在整个软件开发成本中所占的很大的比重而受到学术界和工业界越来越多的关注.研究系统的软件测试理论和高效的软件测试技术以提高软件质量、降低软件生产成本成为软件工程的一个研究热点.软件测试可以定义为：软件的动态执行以及执行结果与已知的预先确定值的比较.目前已出现不少较为成熟的软件测试理论体系、方法和商业化的工具.传统的软件测试方法存在着很多的局限性,程序切片技术可以很好的解决这些问题.程序切片(Program Slicing)的概念最早由Mark Weiser1979年在他的博士论文中提出,基于切片技术的软件测试是一种全新的软件测试技术,它把对整个程序的测试转化为只对某个程序切片的测试.与传统的测试方法相比,它具有效率高,准确性好等优点.切片技术也可显著的减少回归测试的工作量.该文最后提出了一个综合了程序切片技术的软件测试工具模型,它是一个在开发和维护环境中使用的软件测试工具,旨在软件开发过程中,降低对人们的智能依赖程度和手工测试的劳动量,提高程序测试效率,优化程序设计开发环境.
其他文献
防火墙，作为网络安全必需的基础设备，其技术在过去的近十年里也经历了不断的完善和更新。功能上和性能上的需求是当前防火墙发展的两个主要方向。本文选取病毒过滤和负载均衡两
质量控制是伴随着制造业的发展而发展起来的,但科学的质量控制方法在二十世纪初才形成.我们所研究的质量控制是指为达到质量要求所采取的作业技术和活动.如果以制造过程来区
随着我国空间科学技术的发展与空间科学研究的深入，航天器、有效载荷和其它星上设备的数量不断增多。同时，空间科学实验的过程变得越来越复杂，下行数据总量越来越大，下行速度越来
该文就支持发动机CAD协同设计的工程数据库系统（EDBECAD）中的有关技术问题进行了深入的应用研究,主要工作包括以下几个方面：（1）建立了发动机CAD工程数据库,在其中存储了发动机总体
该文论述了广域网模拟系统的设计,包括网络拓扑设计、网络模拟和性能评价系统.在研究排队理论的基础上,建立了广域网的评价指标体系和分析评价模型,设计了网络性能优化算法.
人类视觉是人类存在并能良好繁衍生息的重要感知能力,随着人类生活的不断进步,数字媒体技术越来越多的进入人们的生活,由此产生了大量的数字媒体资料,如图像、视频等。人们对
该文主要工作包括以下几个方面：在原有各种企业诊断方法的基础上,提出了一套基于模型的企业诊断方法.该方法以模型作为诊断的基础,在实施过程中又涉及到了规则诊断以及专家诊
为了给用户提供相应的服务,数据中心的服务器每天都运行处理着大量的任务。近年来,随着数据中心规模的快速增大,数据中心的高能耗问题已经变得非常严重。一个严峻的事实是全
随着计算机应用的发展，数据的集成不再仅仅局限于传统的数据库系统中的结构化数据，日益广泛应用于Web站点的半结构化及非结构化数据的集成问题也越来越受到重视，异构数据集成系
液桥实验装置是运行于xx-x密封舱专用于热毛细对流实验的有效载荷，目的是对液桥实验模型上、下桥面分别进行加热、制冷，观察液体流体特性随温差变化的改变情况。目前在微重力环