【摘 要】
：
该文首先综述了软件测试的理论,方法及工具的发展概况,指出面向对象技术对软件测试的要求更加严格.该文详述了结构测试策略和类的测试.类是面向对象软件中最基本的模块,类的
论文部分内容阅读
该文首先综述了软件测试的理论,方法及工具的发展概况,指出面向对象技术对软件测试的要求更加严格.该文详述了结构测试策略和类的测试.类是面向对象软件中最基本的模块,类的测试是集成测试和系统测试的基础.提出了一种有效的类的数据流测试技术.为了计算类的数据流信息,建立类的控制流图(CCFG),连接类中所有的方法,采用逐步求解的数据流分析算法计算测试所需的数据流信息.最后采用"all-uses"覆盖准则,选择测试用例.这种测试技术的优越性通过对高可靠软件开发工具(HRST)的具体测试得到体现和证明.
其他文献
目前移动运营商正在从移动通信专家向移动信息专家转型。随着市场的发展和竞争的深入,集团客户在移动运营商竞争市场份额的重要战略地位更为凸显,他们既是运营商收入和利润的
该文给出了一个多Agent系统PAS(PKUAgentSystem)的设计与实现方法,并且针对地理信息系统(GeographicInformationSystem,GIS)中的应用,探讨了PAS系统的一个应用实例.该文给出
为了给具体应用提供一个安全的运行平台,研究人员选择了操作系统作为安全技术研究的对象.鉴于Linux操作系统配制的两大特点:遵循POSIX标准和GNU协议且源代码公开,它成为研究
该文以THMR-V移动机器人为项目背景,研究智能移动机器人的控制决策和避障技术.路径跟踪是能移动机器人导航控制的基础.我们以简化的PID控制方法对路径跟踪的性能做了初步分析
在各种数据库操作中,经常用到的也是最复杂费时的操作是关系间的连接操作,其这的关系代数操作如交、并、差等相对业说都是比较简单的.正因为如此,现在关于三级存储器的关系代
随着网络信息技术的不断发展，网络规模也因此不断增长，现有互联网承载的用户业务数量日趋庞大、种类也日趋复杂。由于传统的网络体系中存在着网络异构化、架构方面的设计缺陷等
该文首先介绍了《计算机网络管理与安全系统》的背景知识,探讨了现代网络管理的基本技术,简要介绍了现有网管产品的特点,并分析了国内网管系统的现状.接下来叙述了网络运行管
该文以哈工大"探索一号"(TS-1)小卫星的研制为背景,研究小卫星故障诊断与处理技术为目标,讨论了小卫星故障诊断与处理系统的设计与实现.故障诊断与处理系统是TS-1小卫星星务
该文对海量数据存储系统应解决的基本问题进行了分析和探讨,并初步实现了一个海量存储系统的原型;1.海量存储系统必须具有良好的可扩展性.而传统存储系统在设备级、存储空间
该文将分布式计算思想运用于网站建设中,利用COM/DCOM组件技术建立基于Web的多层分布式应用系统,旨在实现网站的信息资源共享,并为维护升级提供一个灵活健壮的应用基础.从而