基于组合测试的嵌入式软件时序测试用例生成算法研究

发布时间：2025-03-30 02:30

　　随着计算机技术的不断发展,嵌入式软件在人们的生活中存在的更加广泛,逐渐渗透于国民经济发展的各个领域。保证嵌入式软件的可靠性十分重要。在嵌入式软件的测试过程中,嵌入式软件的时序特性不可忽略。嵌入式软件的时序特性表现在参数输入的次序以及参数注入时刻。本文对嵌入式软件参数输入时刻的时序特性进行研究。当前对嵌入式软件的测试主要集中在覆盖软件运行的状态,对于嵌入式软件参数的输入时刻的测试用例的生成算法研究较少。在软件测试领域,组合测试对于生成具有高覆盖率的测试用例方面有广泛的应用。本文在组合测试的基础上,对参数的输入时刻之间的组合进行覆盖。首先分析了嵌入式软件的输入时间空间,将等价类划分和边界值分析的方法相结合,完成了对参数输入时刻的选取。接着对参数的输入时刻中可能存在的约束进行了分析,输入时刻约束包括输入时刻的独立事件约束和相关时间约束,并且利用钟控计算树逻辑(Clocked Computation Tree Logic,CCTL)方法,对时刻约束进行了描述。最后分别利用粒子群算法和遗传算法,对参数的输入时刻之间存在的组合进行了覆盖,并且可以满足时刻之间存在的约束。在参数的取值组合覆盖的基础上,...

【文章页数】：68 页

【学位级别】：硕士

【文章目录】：
摘要
Abstract
第1章 绪论
    1.1 课题背景及研究目的和意义
    1.2 国内外研究现状
        1.2.1 嵌入式软件时序测试研究现状
        1.2.2 组合测试用例生成研究现状
        1.2.3 国内外研究现状分析
    1.3 总体研究要求
    1.4 主要研究内容
第2章 参数的输入时刻组合测试用例生成方法
    2.1 引言
    2.2 参数的输入时刻的选取
    2.3 时刻约束的描述及处理
    2.4 时刻组合覆盖数组生成算法
    2.5 仿真实验与结果分析
    2.6 本章小结
第3章 参数的取值与时刻联合覆盖测试用例生成算法
    3.1 引言
    3.2 参数的取值与时刻联合表示方法
    3.3 时刻与取值约束的描述和处理
    3.4 取值与时刻联合覆盖数组生成算法
    3.5 仿真实验与结果分析
    3.6 本章小结
第4章 测试用例生成工具设计与开发
    4.1 需求分析
    4.2 静态模型
    4.3 动态模型
    4.4 界面设计
    4.5 本章小结
第5章 测试与验证
    5.1 引言
    5.2 测试平台构建
    5.3 测试用例设计
    5.4 测试结果分析
    5.5 测试结论
    5.6 本章小结
结论
参考文献
致谢



本文编号：4038044