【摘 要】
：
本文针对航天嵌入式软件特点以及软件黑盒测试所面临的问题,提出了一种任务剖面建模的方法。从用户的角度对软件系统进行数学建模,对系统是怎样的以及它会怎样被使用做出一个
论文部分内容阅读
本文针对航天嵌入式软件特点以及软件黑盒测试所面临的问题,提出了一种任务剖面建模的方法。从用户的角度对软件系统进行数学建模,对系统是怎样的以及它会怎样被使用做出一个定量描述。通过任务剖面模型,获取测试用例和测试数据的等价类信息,为测试用例的自动生成提供基础,从而减少人为因素给测试工作带来的不确定性,提高测试的质量和效率。本文首先介绍了软件任务剖面基本概念和理论,然后重点介绍软件任务剖面建模的算法以及根据该软件任务剖面模型自动产生测试用例的方法。最后根据以上算法和理论实现了一个原型系统。
其他文献
呼叫中心(Call Center)作为一种利用现代通信手段和计算机技术来处理话务量的全新现代化服务方式,越来越被众多的企业重视。它的发展主要经历有三个阶段,从最初的人工热线系
初式是各大经典三角化零点分解算法中使用最为频繁的一个概念，是多个分解方案的基础出发点和主要工具，但是它缺少以分析的观点来看待零点分解问题。本文的主要内容是根据李永彬
粒子群优化(PSO)算法是由Kennedy和Eberhart于1995年提出的一种群智能优化算法。这种智能算法与遗传算法(Genetic Algorithm)类似，都是基于种群的随机算法，但他们的遗传机制不
互联网面临着扩展性、安全性与移动性等一系列严重的问题与挑战。为了解决这些问题，业界从未来网络体系结构、软件定义网络、网络功能虚拟化等角度展开了大量研究。试验验证是
随着计算机和网络技术的不断发展,文档一体化管理、协同办公等各类工作流信息化系统已广泛应用于各行业领域中。由于在应用信息化系统的过程中涉及到大量的电子文档,而电子文
高斯滤波，即window操作，是一种适用于消除高斯噪声的线性平滑滤波，广泛应用于科学数据处理的减噪过程。在科学数据处理领域当中，需要通过过滤噪声来提取最有用的信息，所以滤波操作
纠删码在大规模的分布式存储系统中得到了越来越广泛的使用。但受限于恢复过程会涉及到多个块的磁盘读取和网络传输，纠删码的恢复开销很高。这给分布式存储系统带来两个问题:a
随着我国信息化和互联网技术的迅速发展，电子政务成为当今信息化最重要的领域之一。虽然目前电子政务技术已经进入了电子政务服务系统阶段。但是目前的电子政务系统基本处于一
随着通信、计算机技术的迅猛发展,多媒体通信应用已渗透到人们日常生活、工作的许多领域.视频凭借其生动、直观、及信息量丰富等特点,备受人们的青睐.尤其是在最近十几年,立
随着我国社会信息化水平的不断加深，新闻出版行业每天需要处理的电子文档数量逐步上升。大型报社每天都有七八十个版面，需要处理的文字信息量达几十万字。另一方面，新闻出版流程