论文部分内容阅读
软件测试是保证软件质量与可靠性的重要手段,随着软件复杂性的提高,软件测试在软件开发过程中的地位也越来越重要。然而,软件测试过程复杂,且重复性较高。提高软件测试的自动化程度能够大幅度降低人力投入和时间成本。高性能嵌入式cpu关键技术是国家科技重大专项-“核高基”项目中的一部分,本课题以此技术为背景,主要研究与cpu配套工具链的自动化测试,具有重要的研究价值和实际意义。
本文首先简要概述了软件测试相关知识、gnu binutils工具集以及测试所采用的dejagnu平台。然后针对通用汇编器的测试特点,融入了语句等价指令的概念,提出了一种自动生成测试用例的模型。该模型按照特定规则划分相应的指令集,实现把指令集划分成多个语句等价指令集合的目的,然后根据等价类划分、边界值分析等测试用例的设计原则分别为每个语句等价指令集合选择测试语句,生成相应的测试用例。
本文把此模型应用于基于CSKY V2指令集的汇编器测试过程,按照语法规则、操作数范围以及指令的16/32位映射方式划分该指令集,接着对每个划分子集分别选择测试语句和生成测试用例,然后在dejagnu提供的自动测试平台上,利用生成的测试用例对汇编器进行测试,并对测试结果进行分析。在工程实践中,该模型在保证测试用例正确性的前提下,减少了测试人员的工作量,显著提高了整个工具链测试的自动化程度。