【摘 要】
：
该文首先介绍了软件测试的原则和目的.然后,主要从白盒测试和黑盒测试两方面,介绍了当前软件测试发展和实现技术.白盒测试也叫结构测试,主要测试程序的结构,对软件过程性细节
论文部分内容阅读
该文首先介绍了软件测试的原则和目的.然后,主要从白盒测试和黑盒测试两方面,介绍了当前软件测试发展和实现技术.白盒测试也叫结构测试,主要测试程序的结构,对软件过程性细节做细致的检查.黑盒测试也叫功能测试,主要测试程序的功能,以确保软件满足了对它的功能要求.在测试理论和测试技术的研究基础上,结合中国电信计费系统,对软件测试技术进行了探讨和实现.不仅开发了自己的结构测试工具-STM TOOL,而且设计了分类树功能测试方法. STM TOOL主要采用了STM结构分析技术,直接分析PB原代码,生成结构测试用例.分类树法改进了划分等价类法,利用树形结构构造测试用例,使设计测试用例更加方便、直观、全面和系统.
其他文献
该文介绍了国际编码标准MPEG-2的三个组成部分,并分别对各部分的编码、解码原理及解码实现作了较详细的论述.该文具体内容如下:第一章主要阐述MPEG-2系统部分的编码原理:首先
近20年来人们研究和实现了许多语言的部分计值器,但是其中极大多数都是其于串行语言的,而这与并行语言是当今计算机科学主流的状况是不相称的,所以人们认为研究并行语言的部
SPMiner是为普乐福定网上医疗信息服务原型系统开发的Web日志序列模式挖掘工具,为了使SPMiner所能挖掘的序列模式不仅仅局限于由若干单独的Web页面构成的浏览序列,作者研究了
全关系化空间数据库查询语言GSQL,利用传统关系数据库的成熟技术和产品,扩展基本空间数据类型(点、线、面、复合体),以及引入空间过滤器机制,进行RDBMS和几何模型技术的良好
句法分析是自然语言处理和计算语言学领域中的主要内容,它的研究和实现具有重要的理论意义和实用价值.英语词法分析、词性标注、短语词典查询是其中最基本的环节,也是整个英
该文针对以纯软件的形式实现多媒体网络教学环境进行了研究和开发,并对所涉及到的网络技术进行研究,比较了TCP与UDP之间的优缺点,分析了IP组播技术的特点及优点.该文还分析了
多协议标记交换(MPLS)将面向连接的机制加入到面向非连接IP协议中,并通过标记将第三层的路由信息映射到第二层的交换中,从而既保持了IP协议的灵活性、可靠性和可扩展性,又可
该文选题来源于国家教委博士学科点专项科学基金项目"人工智能基础理论(泛符号 主义)研究"(96069923),导师何华灿教授提出的符号主义学说包括泛逻辑学理论、知识表 示的超拓
最近,在控制领域,模糊逻辑控制引起人们众多的关注.然而,因为缺乏稳定性保障以及过于复杂控制器结构,许多模糊控制器不适于控制工业过程.作者在论文中提出了一套复杂对象的模
随着数码设备的不断普及以及互联网的快速发展,人们能够很容易地采集、获取大量的图像。然而,其中很大一部分因为图像的质量不高而不能满足人们的需求。一方面,客观有效的图