【摘 要】
：
软件质量问题由来已久,由于在许多关键领域运行的软件质量问题而引发重大损失甚至灾难并不少见.计算机科学家普试图用完全形式化的方法来证明程序同功能规约的一致性,保证程
论文部分内容阅读
软件质量问题由来已久,由于在许多关键领域运行的软件质量问题而引发重大损失甚至灾难并不少见.计算机科学家普试图用完全形式化的方法来证明程序同功能规约的一致性,保证程序的正确性.但是多年的研究表明完全形式化的方法实用性不足.以软件测试为中心的软件质量保障技术实用性强,对保障软件质量起着重要作用,所以长期来一直成为保障软件质量的重要手段之一.软件测试目的在于发现软件中的错误,它不能保证软件中没有错误,所以并不能完全解决程序的正确性问题.但是通过软件测试可以改善软件质量,提高软件可信度.在无法利用形式化的方法证明程序正确性的情况下尽可能充分地测试软件,尽可能多地发现错误就成为改善软件质量的很好的方法.90年代以前,软件测试的研究主要是针对过程性软件进行的,在已往过程性软件测试的研究过程中,已经提出了一系列比较完善的软件测试方法和技术.包括以程序为基础的白盒测试和以功能规约为基础的黑盒测试.
其他文献
软件体系结构对于系统的分析和重用起着至关重要的作用.而要充分利用软件体系结构就必须它进行准确的、全面的、无二义性的描述. 为了克服以上的问题,更好的描述软件体系结构
随着网络技术和数据库技术的发展，人们对网络中数据资源的共享越来越迫切，但这些数据库资源往往存在广泛的异构性。此外，硬件平台的异构、操作系统的异构及网络的异构使得异构问
本文分析了在管理信息系统中集成实时监控系统信息遇到的问题，如跨操作系统平台接收数据、处理网络故障和数据库的故障的自恢复功能、如何处理海量数据等，并针对这些问题结合实
该文提出OMNets和UNINET是为了用多级抽象的方法全面刻画并发对象系统的行为.我们把对象系统模型抽象为4个层次,分别是：系统的行为,对象的行为,对象中方法之间的交互行为以及
该文针对汉语,研究焦点为自然语音在纯声学层面上的发音建模问题,从相互作用且密切相关的识别基元集、发音词典和声学模型等角度出发,提出了如下的方法和策略.第一,汉语声韵
在数据分析中，聚类分析的目的是发现相似数据的集合。其中，划分迁移类方法（如k-means）是一个基本的方法。对于类别型数据，由于它的距离度量不同于数值型数据，因此存在一些特殊的方
该文所做的工作是从地下水资源利用的角度,对国家863项目"农业专家系统开发平台"中的子项目"农业测土空间数据库(SESD)"的进行水利条件方面的完善与补充.以农安县为示范区,对
嵌入式实时软件有着广泛而关键的应用,但描述和检测嵌入式实时软件的需求却是一项十分困难而复杂的工作.针对这一现象,该文提出了一种基于需求规格说明的原型化方法,该方法集
虚拟现实技术应用于系统仿真是当前仿真技术的研究热点.该文首先分析了作为系统仿真的重要部分——仿真软件和仿真语言的不足,针对当前虚拟现实技术在视景仿真上的优势,提出
多媒体流量控制技术提高了流媒体在传输过程中的有效性,并且部分解决了现有网络带宽问题.流媒体是指采用流式传输方式在互联网上播放的媒体格式,譬如音频、视频或多媒体文件