【摘 要】
：
随着嵌入式系统的广泛应用,其质量问题逐渐成为影响整个项目进度和质量的关键.软件测试作为保障软件质量的重要手段,正在引起越来越多的重视.由于自身的特点,嵌入时软件的测
【出 处】
：
中国航天第二研究院 航天科工集团第二研究院
论文部分内容阅读
随着嵌入式系统的广泛应用,其质量问题逐渐成为影响整个项目进度和质量的关键.软件测试作为保障软件质量的重要手段,正在引起越来越多的重视.由于自身的特点,嵌入时软件的测试难度要远远大于通用软件.本论文在研究了基于状态转换的嵌入式软件的特点后,提出了一种基于FSM(有限状态机)的嵌入式软件的测试用例选取方法,用以辅助包含复杂逻辑的嵌入式软件测试,提高测试效果.文章首先分析了嵌入式软件的特点及其对测试的影响,介绍了国内外基于FSM的理论研究的历史、背景和FSM的基本概念和原理.在此基础上该文给出了一套基于FSM的测试用例选择方法的理论框架,并给出了相应的算法,这一部分的内容包括了:FSM的数据结构设计、可测试性讨论及其最简化、状态间分离序列的生成、状态辨识序列的建立、FSM检测序列的建立以及随机用例的选择和概率统计.在进行基于状态转换的嵌入式软件测试用例的设计时,我们首先根据软件需求分析建立其FSM模型,然后应用这种理论和算法就可以得到一个比较有效、优化的功能测试用例集.接下来文章研究了FSM的两种较为常用的变体——EFSM(扩展有限状态机)和CFSM(互联有限状态机)的理论,并提出了它们和普通FSM的转化算法.最后,通过一个型号指控系统作战软件的目标指示功能的测试实例,阐述了基于FSM的测试用例设计方法的理论和算法在实际测试中的应用,并通过对测试结果的分析讨论了该方法的优点及其不足之处.
其他文献
将一个程序从一个运行平台迁移（移植）到另外一个运行平台的过程通常被称为程序迁移，是软件演化与维护的重要内容，也是应用程序扩大用户范围的重要途径。 基于规则的应用程序迁
随着Internet的飞速发展,人们对全球网络数据的访问需求也急剧增加,指数级增长的用户请求给流行的WEB站点提出了前所未有的挑战.如何提高WEB站点的服务性能,为网络客户提供有
该文以指纹自动识别系统(Automated Fingerprint Identification System,简称AFIS)的处理流程为线索,详细讨论了基于结构特征的指纹识别系统及其匹配算法.该文的指纹识别系统
因特网已经为普通的计算机用户在家中,在商业上,以及在教育领域提供了大量而有效的信息.对于许多人来讲,对这些信息的访问已经不再是难不可及而仅仅是一项普通的技能.然而,当
本文结合中国铁路的实际，介绍了分布式信息共享平台技术；从技术的角度切实地考虑在广域网环境下大型业务处理系统信息化过程中如何实现互操作性，解决“信息孤岛”问题，达到信息共
随着社会对软件需求的不断增长,正在使用和开发的软件数量与日俱增,许多软件的规模变得越来越大,这些软件的维护问题成为了当前软件产业面临的重要问题.能否准确、迅速、全面
该文重点讲述了系统的功能模块需求分析;介绍了系统体系结构及特点,实现系统所用到的数据访问技术和COM组件技术的原理及包容与聚合模型;详细讲述了系统操作模块和分析模块的
该文对文本分类进行比较全面和深入的研究,提出了若干理论和方法.主要工作和创新成果可以概括为如下四个方面:1.提出自动最优阈值设定方法:该文提出的自动最优阈值设定方法通
该文针对制造企业中生产类型众多,内部物料管理复杂等问题,结合CERP主动成本控制的管理理念对制造企业供应管理模型及供应管理优化算法等方面进行了系统的研究工作,主要研究
任何一种产品都是一种或多种功能实现的技术承载体，功能的创新是专利产品创新的核心，决定该产品的应用价值和发展方向。作为发明创造中，集技术、法律、经济信息为一体的特殊的文