小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2009年
1期
13-18
,共6页
曾伟明%薛云志%赵琛%贺也平
曾偉明%薛雲誌%趙琛%賀也平
증위명%설운지%조침%하야평
编译器测试%覆盖率%编译优化%时序逻辑%测试用例
編譯器測試%覆蓋率%編譯優化%時序邏輯%測試用例
편역기측시%복개솔%편역우화%시서라집%측시용례
编译器的质量保证对提高软件产品的质量有着重要作用,对编译优化的测试是其中的核心部分.对编译优化的测试需要大量的测试用例程序.要构造这些测试用例,使用传统手工构造方法面临着效率低的问题,而基于文法的构造方法则针对性不足.从对优化的形式化描述出发来自动构造测试用例能克服这些缺点.本文设计并实现了一种基于形式化描述的编译优化测试用例程序生成方法.该方法基于编译优化的时序逻辑描述构造关键顶点控制流图,逐步转换为控制流图并得到用例程序.针对GCC(版本4.1.1)进行的覆盖率测试实验表明,该方法可以生成具有较高针对性的测试用例,并达到相当的覆盖程度.
編譯器的質量保證對提高軟件產品的質量有著重要作用,對編譯優化的測試是其中的覈心部分.對編譯優化的測試需要大量的測試用例程序.要構造這些測試用例,使用傳統手工構造方法麵臨著效率低的問題,而基于文法的構造方法則針對性不足.從對優化的形式化描述齣髮來自動構造測試用例能剋服這些缺點.本文設計併實現瞭一種基于形式化描述的編譯優化測試用例程序生成方法.該方法基于編譯優化的時序邏輯描述構造關鍵頂點控製流圖,逐步轉換為控製流圖併得到用例程序.針對GCC(版本4.1.1)進行的覆蓋率測試實驗錶明,該方法可以生成具有較高針對性的測試用例,併達到相噹的覆蓋程度.
편역기적질량보증대제고연건산품적질량유착중요작용,대편역우화적측시시기중적핵심부분.대편역우화적측시수요대량적측시용례정서.요구조저사측시용례,사용전통수공구조방법면림착효솔저적문제,이기우문법적구조방법칙침대성불족.종대우화적형식화묘술출발래자동구조측시용례능극복저사결점.본문설계병실현료일충기우형식화묘술적편역우화측시용례정서생성방법.해방법기우편역우화적시서라집묘술구조관건정점공제류도,축보전환위공제류도병득도용례정서.침대GCC(판본4.1.1)진행적복개솔측시실험표명,해방법가이생성구유교고침대성적측시용례,병체도상당적복개정도.
