军用嵌入式软件结构覆盖测试技术

基于军用实时嵌入式软件的测试经验,针对实时嵌入式软件特点,研究了各种平台软件尤其是嵌入式强实时软件的插装策略,分析了写文件、写内存、按位记录特征值、使用硬件的插装方式的优缺点。提出了有效的结构覆盖测试技术和测试方法。对实时嵌入式软件的测试,具有实际参考价值。

白盒测试中指定路径测试用例的自动生成

单元测试阶段结构覆盖测试往往要求语句覆盖率和分支覆盖率均达到100%。然而对于含有复杂控制算法的程序,人工编写测试用例较为复杂,很难达到100%的覆盖率。利用迭代松弛法作为核心算法实现了结构覆盖测试用例的自动生成。文章首先简单介绍了迭代松弛法的思想及具体实施步骤,然后给出了系统的实现方法,最后对于该方法的扩展应用进行了展望。

用Cantata＋＋实现软件动态测试

本文简要介绍了应用Cantata＋＋测试工具编辑测试用例，实现被测软件的动态测试（包括功能测试和结构覆盖测）的过程。重点以单元测试为例描述用Microsoft Visual C＋＋6．0和Cantata＋＋构建测试工程的步骤。Cantata＋＋是面向源代码的测试分析工具，贯穿于整个软件开发过程，包括代码评审、单元测试、集成测试、系统测试、及软件维护等阶段。

基于目标机的嵌入式软件单元测试

嵌入式软件测试又称为host-target测试或Cross-Testing。嵌入式软件因具有实时和多任务处理,使得测试上有其自身的特点和难点。根据软件单元测试理论,介绍了一种基于目标机的嵌入式软件测试单元测试方法及步骤。

汇编语言的单元测试技术研究

汇编语言具有非结构化、非标准化、硬件相关性高、灵活性极大等特性,单元测试难度较大。针 对汇编语言的特点,论述了汇编语言单元测试过程中功能测试、结构覆盖率测试和性能测试的方法和步骤。