【摘 要】
：
该文针对软件可测试性动态检测技术提出了一套完整可行的解决方案,即以软件测试和故障/失效模型为理论基础,建立DMTM模型来检测语句和函数的可测试性.全文共分为六大章节.第
论文部分内容阅读
该文针对软件可测试性动态检测技术提出了一套完整可行的解决方案,即以软件测试和故障/失效模型为理论基础,建立DMTM模型来检测语句和函数的可测试性.全文共分为六大章节.第一章,从软件测试的角度阐述了进行软件可测试性动态检测技术研究的背景和意义,并对该文的组织结构进行了介绍;第二章,首先介绍了软件测试中的部分术语和变异体测试技术,然后论述了现有软件可测试性动态检测技术的研究现状;在此基础之上,该文的第三章对现有方案进行详细分析,提出了改进的方案,并对其进行了论证.第四章论述了软件可测试性动态检测子系统的实现,它针对C源程序,自动对用户所选的文件或模块进行可测试性的检测;第五章,对系统进行了实验验证;最后,在第六章总结了系统的不足及对今后进一步改进工作的建议.
其他文献
随着远程通信、多媒体和网络技术的发展，网络可以提供音频、视频和数据等综合服务，这给人们的工作和生活带来了很大方便。但随着网络数据量的增加，加之网络软硬件技术的限制，网络
该文主要研究SAR图像几何校正、相干斑噪声抑制、含噪图像边缘提取和含噪图像分 割这四个关键技术.该文讨论了一种更加适合地形数据特征的"局部分数布朗场"模型,并在此基础上
无线通信技术的发展使得移动网管系统面临着同时管理多厂商、多种系统移动网络的问题,由TMF(TeleManagement Forum)提出的GSM/UMTS通用配置管理MCCM(Mobile Common Configura
该文介绍了电信网络发展的现状,研究了电信管理网和代理技术的有关理论.重点研究了两个现有的电信网络管理系统——移动通信网网管系统和移动通信机房动力环境监控系统,主要
目前，我国信息与网络防御能力极为脆弱，研究设计拥有自主产权的数字签名与加密系统，在信息安全领域中有着重要的现实意义。本项目是国家863计划课题“基于椭圆密码体制的数字签
该文首先对虚拟农作物生长平台的研究背景和实现目标进行了详细介绍,并对该平台的构成进行了详细分析,提出了利用XML文档作为输入脚本,提供农作物生长数据,平台根据这些数据
该文运用Range(服务范围)的概念,结合MobileIP中隧道的技术,提出了一种改进的CSM协议——RBCSM(基于范围的CSM)协议.RCSM协议将CSM协议中的Mss(移动支持基站)分成Mss_NR(不带
该文首先介绍了宽带及相关的基本概念,并对目前及最新发展的一些宽带接入技术作了简单介绍.通过衡量各种接入技术的优缺点,提出了基于以太网技术的小区宽带接入解决方案,并介
建立企业EIS的过程是一项复杂的系统工程,操作过程困难并且效率很低.目前,计算机界尚缺乏一种通用有效的技术解决这一问题.数据仓库理论与OLAP技术的提出使这一局面得到了改