基于dejagnu平臺(tái)的binutils自動(dòng)測(cè)試設(shè)計(jì)與實(shí)現(xiàn).pdf

1、軟件測(cè)試是保證軟件質(zhì)量與可靠性的重要手段，隨著軟件復(fù)雜性的提高，軟件測(cè)試在軟件開發(fā)過程中的地位也越來越重要。然而，軟件測(cè)試過程復(fù)雜，且重復(fù)性較高。提高軟件測(cè)試的自動(dòng)化程度能夠大幅度降低人力投入和時(shí)間成本。高性能嵌入式cpu關(guān)鍵技術(shù)是國家科技重大專項(xiàng)-“核高基”項(xiàng)目中的一部分，本課題以此技術(shù)為背景，主要研究與cpu配套工具鏈的自動(dòng)化測(cè)試，具有重要的研究價(jià)值和實(shí)際意義。
　　 本文首先簡要概述了軟件測(cè)試相關(guān)知識(shí)、gnu binuti

2、ls工具集以及測(cè)試所采用的dejagnu平臺(tái)。然后針對(duì)通用匯編器的測(cè)試特點(diǎn)，融入了語句等價(jià)指令的概念，提出了一種自動(dòng)生成測(cè)試用例的模型。該模型按照特定規(guī)則劃分相應(yīng)的指令集，實(shí)現(xiàn)把指令集劃分成多個(gè)語句等價(jià)指令集合的目的，然后根據(jù)等價(jià)類劃分、邊界值分析等測(cè)試用例的設(shè)計(jì)原則分別為每個(gè)語句等價(jià)指令集合選擇測(cè)試語句，生成相應(yīng)的測(cè)試用例。
　　 本文把此模型應(yīng)用于基于CSKY V2指令集的匯編器測(cè)試過程，按照語法規(guī)則、操作數(shù)范圍以及指令的1