软件测试工具的回顾与展望

来源 :计算机科学 | 被引量 : 0次 | 上传用户:daguofan
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文阐述了软件自动测试工具研究的重要性和必要性。对测试工具的发展历程进行了综述,并展望了这一领域的发展方向和存在的问题,以及我们对上述问题的初步探讨。
其他文献
通常的专家系统技术强调表面知识,一旦被诊断的问题超出了表面知识的范围,系统功能就显著下降,这样专家系统的能力受到了一定限制。本文以IDM-EL(诊断机械设备系统)为例,强调
本文介绍一个军事上的专家系统——战役决心评估军事专家系统,它用于对指挥员的作战决心进行综合评判,旨在辅助战役训练裁决,提高训练效果.
鉴于目前蓬勃兴起的神经网络型计算机的研究,本文从神经元的几种基本模型和网络的结构形态上综述了人工神经网络的基本结构,分析了它的两个基本功能——模式变换和求解最优化
<正> 一、引言人工智能对软件工程产生了哪些影响、起了什么作用或将在哪些方面产生影响和起作用?这个问题在计算机界引起了广泛的兴趣与关注,并取得了许多研究成果。这些成
本文提出一个用于软件维护环境的集成生存期模型,它有助于维护人员修改现有的软件系统,为工具自动化提供了基础。该模型用来表示软件系统开发和维护信息,主要表示软件生存期
计算机应用是计算机科学技术发展的动力和目的。在当前诸多计算机应用领域中,最有代表性的是基于知识的系统(KBS)、计算机集成制造系统(CIMS)、办公信息系统(OIS)和实时控制
递归程序变换是软件自动化研究中程序变换途径的一种方法。本文介绍了递归程序等价变换的一系列模式以及根据递归程序变换基本思想而构造的人-机交互实验系统XDPTS的梗概。
4 模糊逻辑(FL) 从广义上讲,模糊逻辑就是近似推理的逻辑,即它与近似推理的关系就像二值逻辑对精确推理的关系一样。这一节,将集中讨论一种特殊的模糊逻辑(FL),它的真值是语言的,