SDT:一个面向场景规约的运行时测试工具  

SDT:A Scenario Specification-Oriented Runtime Testing Tool

作　　者：雷斌[1] 王林章[1] 李宣东[1] 郑国梁[1] 

机构地区：[1]南京大学计算机软件新技术国家重点实验室,南京210093

出　　处：《计算机科学》2006年第1期147-152,166,共7页Computer Science

基　　金：本文的研究工作受到国家自然科学基金(批准号60203009;60233020);江苏省自然科学基金(批准号 BK2003408);国家973项目(批准号2002CB312001)的资助。

摘　　要：利用设计模型信息,提高测试自动化程度是测试领域的重要课题。UML 顺序图是广泛使用的场景规约语言。本文研究了面向场景规约的运行时测试方法,并应用该方法实现了一个基于 UML 顺序图场景规约的测试工具SDT;它从 Ration Rose 的规约文件中提取顺序图信息,生成表示预期行为属性的事件有向无环图,对代码进行插装,并利用随机测试用例执行代码,最后将反向工程得到的运行时轨迹与有向无环图进行比较,对实现和设计的一致性进行自动化验证。Utilization of design model to improve testing automation is an important subject in software testing research. UML Sequence Diagram is widely used for specifying software scenario. In this paper, we develope a scenario specification-oriented runtime testing method, and built a prototype tool SDT. It can parse the sequence diagram information from Rational Rose specification file and generate directed acyclic graph （DAG） which stands for expected behavior property, and interpolate java code implementation of the design model, then use random test cases to run the code, and generate runtime execution trace （RET） from trace file, at last compare DAG with RET to verify the conformance between design and implementation.

关 键 词：UML顺序图 测试场荣 有向无环图 运行时轨迹 测试工具 SDT 规约 运行 场景 自动化程度 

分 类 号：TP311.56[自动化与计算机技术—计算机软件与理论] TP273.2[自动化与计算机技术—计算机科学与技术]