【摘 要】
：
该文主要在以下两个方面进行了深入的研究:一是软件测试理论与方法;二是软件测试充分性的度量.论文综述了国内外软件测试发展动态,介绍了软件质量的度量、白盒测试、黑盒测试
论文部分内容阅读
该文主要在以下两个方面进行了深入的研究:一是软件测试理论与方法;二是软件测试充分性的度量.论文综述了国内外软件测试发展动态,介绍了软件质量的度量、白盒测试、黑盒测试以及面向对象软件测试等,研究了软件测试中测试用例的选择问题.针对Linphone软件,结合测试工具建立了软件测试系统,提出了包括测试用例设计、覆盖测试等具体的测试要求、策略和方法.同时基于测试充分性的理论,提出了基于组合充分性准则的测试充分性度量模型.该模型根据充分性准则之间的包含关系,采用层次分析法建立描述充分性准则之间相对重要程度的权值矩阵.依此计算充分性评价的结果,实验表明,该结果是满意的.
其他文献
曲线曲面的生成算法是计算机辅助几何设计的基础，它的每一步改进，对计算机辅助几何设计有着十分重要的意义。本文比较了传统的曲线曲面绘制方法和本文所讨论的算法，指出了传统算
移动通信与Internet是当代通信发展最快的几个领域中的两个,这两者的结合又是当前的一种重要趋向.IPv6作为新一代的网络互联协议,其先进性和灵活性正在得到越来越多人的认可.
该文针对现有的两种主流技术——XML技术和中间件技术,对实现各异构数据库的信息共享做了深入的研究.首先介绍了该课题的背景,包括工程背景和XML和中间件技术的发展现状,指出
随着计算机和网络技术的日益发展,全球上网人数与日俱增,企业上网开展业务成了一种趋势。笔者所在的网络数据库课题组近年来一直致力于基于web应用的开发课题,正是迎合了企事
该文在研究了国际上流行的视频压缩编码标准的基础上,详细的分析了H.26X协议的编解码原理,重点研究此协议的原因.在进行图象编解码的过程中,我们的主要工作是消除视频在空间
数据仓库和数据挖掘技术的快速发展，促进着企业决策支持系统的不断更新，也促使企业与客户之间的经济关系发生着重大变革。客户关系管理（CRM）作为近年来数据挖掘技术在企业决策支
集群以其优秀的性价比在高性能计算和超级服务器方面获得了广泛应用，但通信开销一致是制约集群性能进一步提高的关键因素，现已成为了该领略主要研究方向。发展日趋成熟的用户级
KDD是当前数据库研究中的一个热点，概念格则是知识发现和数据分析的有力的数学工具。本文主要关注的是基于扩展概念格的数据挖掘研究，其中内容主要涉及扩展概念格的完全构造以
XML(Extensible Markup Language)是一种基于内容描述的、结构规范的、能够体现数据信息之间逻辑关系和确保文件易读性的元标记语言.XML具有内容描述和显示样式分开、自定义
大数据计算应用具有软件栈系统多样和复杂（例如Hadoop，Spark，Storm等）、负载行为多样和配置参数繁多等特点，这些特点决定了大数据计算负载的调优具有以下挑战:1)性能瓶颈和优化方