计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2012年
9期
1843-1851
,共9页
何炎祥%陈勇%吴伟%徐超%吴黎兵
何炎祥%陳勇%吳偉%徐超%吳黎兵
하염상%진용%오위%서초%오려병
测试用例%自动测试%错误可跟踪%编译器%操作语义
測試用例%自動測試%錯誤可跟蹤%編譯器%操作語義
측시용례%자동측시%착오가근종%편역기%조작어의
测试用例的自动生成是实现测试自动化的重要保障,是验证可信软件的基本方法.在分析现有测试用例自动生成方法的基础上,提出了一种基于编译的错误可跟踪的测试用例自动生成方法.该方法以编译器为依托,通过对其语法和语义进行扩展,将测试需求很好地融入到源程序中参与分析,并利用代码生成器在生成目标代码的同时根据相应的分析结果直接生成对应的测试用例.该方法将测试用例和目标代码生成统一到编译器中,避免了独立的测试用例自动生成工具在获得编译器相关分析结果时而导致的接口开销.同时,通过对源程序行号信息的跟踪,使得测试用例在无法通过测试时能够很快定位出错位置,以方便程序开发者修改.最后,通过一个示例程序说明了该方法的具体实现过程,证明了该方法的有效性.
測試用例的自動生成是實現測試自動化的重要保障,是驗證可信軟件的基本方法.在分析現有測試用例自動生成方法的基礎上,提齣瞭一種基于編譯的錯誤可跟蹤的測試用例自動生成方法.該方法以編譯器為依託,通過對其語法和語義進行擴展,將測試需求很好地融入到源程序中參與分析,併利用代碼生成器在生成目標代碼的同時根據相應的分析結果直接生成對應的測試用例.該方法將測試用例和目標代碼生成統一到編譯器中,避免瞭獨立的測試用例自動生成工具在穫得編譯器相關分析結果時而導緻的接口開銷.同時,通過對源程序行號信息的跟蹤,使得測試用例在無法通過測試時能夠很快定位齣錯位置,以方便程序開髮者脩改.最後,通過一箇示例程序說明瞭該方法的具體實現過程,證明瞭該方法的有效性.
측시용례적자동생성시실현측시자동화적중요보장,시험증가신연건적기본방법.재분석현유측시용례자동생성방법적기출상,제출료일충기우편역적착오가근종적측시용례자동생성방법.해방법이편역기위의탁,통과대기어법화어의진행확전,장측시수구흔호지융입도원정서중삼여분석,병이용대마생성기재생성목표대마적동시근거상응적분석결과직접생성대응적측시용례.해방법장측시용례화목표대마생성통일도편역기중,피면료독립적측시용례자동생성공구재획득편역기상관분석결과시이도치적접구개소.동시,통과대원정서행호신식적근종,사득측시용례재무법통과측시시능구흔쾌정위출착위치,이방편정서개발자수개.최후,통과일개시례정서설명료해방법적구체실현과정,증명료해방법적유효성.