【摘 要】
：
该文首先介绍了软件故障检测过程的理论模型,并对几种现有的可测试性检测方法和模型进行了简单的介绍和分析.然后,该文系统地研究了软件可测试性静态检测技术.具体来说,通过
论文部分内容阅读
该文首先介绍了软件故障检测过程的理论模型,并对几种现有的可测试性检测方法和模型进行了简单的介绍和分析.然后,该文系统地研究了软件可测试性静态检测技术.具体来说,通过对程序结构和表达式进行分析,深入地研究了软件故障产生换效的过程;将故障被检测出来的过程与软件的可测试性联系起来,详细地分析了可测试性的量化方法,并针对其中的关键问题提出了具体的解决方案.在此基础上,根据高准确性和低计算复杂性的原则,建立了一个基于静态分析方法的可测试性检测模型,分为执行概率、传染概率和传播概率三个部分对可测试性进行定量的分析.最后,我们设计实现了一个针对C语言程序的可测试性检测系统.该系统通过对程序源代码进行静态分析,从而对程序进行可测试性检测,并且给出可测试性的量化结果,为合理安排软件测试资源、把握软件的质量提供了依据.
其他文献
MPLS是一种新的网络技术,它将IP路由技术和ATM交换技术紧密结合,既实现了路由的智能,又利用了ATM交换机的高效硬件交换.该文首先介绍了MPLS的背景知识、技术原理、技术优势以
随着Internet上中文信息的增加,智能化搜索引擎已成为中文检索技术未来的发展目标与趋势.概念检索作为一种实现技术有着广泛的应用前景.该文回顾了搜索引擎的历史、国内外现
计算机领域技术更新速度非常快，但计算机的基本体系结构相对来说几乎不变。可重构计算技术(Reconfigurable Computing—RC)为传统通用处理器和专用处理器(ASIC)提供了一个非常
目前Boosting方法己在数据挖掘的多个领域特别是在文本挖掘中得到了成功的应用.该文致力于解决在Boosting的理论和实际应用方面出现的一些问题,以提高其分类精度和学习速度,
该文包括六章.以下分章节对具体内容进行介绍.第一章介绍电力线载波通信的现状及其发展趋势,通过对当前状况的分析,指出电力线载波通信的发展方向在低压电力线通信领域.第二
基于UML的嵌入式实时软件开发技术和开发环境是当今嵌入式实时领域研究的一个热点.基于UML的嵌入式软件开发需要把现有的面向对象开发技术和UML的使用经验,如可视化建模、模
数据挖掘(Data Mining)是一种从数据库中提取数据、用先进的分析方法开发智能化的、基于事实的一种业务决策和战略的技术，即一种在大量数据中发现信息的有效方法，而时态数据库(
我们对关联规则的相关算法进行了深入的研究和探讨,明确它的一些经典算法,例如Apriori和等深度算法等等.近年来数量关联规则的研究相对较少,但数量关联规则的应用更为广泛,因
该文对大型机网络转型工作进行了全面总结和阐述.针对大型机网络体系结构转型问题,论文对网络体系结构演变涉及的技术进行了理论分析和比较,结合实际提出从传统SNA到SNA/APPN
该文主要论述了系统的特点、系统需求分析、系统总体设计、系统的分析与计算、系统应用软件及接口的设计和系统的各项功能,同时对系统产品的选型包括语音交换平台、数据库服