%0 Journal Article
%T ADA SOFTWARE TEST CASE GENERATION TOOL<br>Ada软件测试用例生成工具
%A XI Hongyu
%A XU Hong
%A GAO Zhongyi
%A <br>奚红宇
%A 徐红
%A 高仲仪
%J 软件学报
%D 1997
%I 
%X 软件测试是软件开发过程的一个重要环节，它的主要工作是测试用例的选择．由于人为地选择测试用例带有很大的盲目性和倾向性，因此开发一个能够自动生成测试用例的工具是十分必要的．本文阐述了软件测试用例生成的一些概念和方法，重点讨论了函数最小化方法和插装技术在测试用例生成工具中的应用，并通过一个实例介绍了Ａｄａ软件测试用例生成工具ＴＣＧＴ（ｔｅｓｔｃａｓｅｇｅｎｅｒａｔｉｏｎｔｏｏｌ).
%K Software tool
%K software test
%K test case
%K function -minimization
%K instrumentation<br>软件工具
%K 软件测试
%K 测试用例
%K 函数最小化
%K 插装
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=966CF384AD8599DB9DDF53A89668EC6A&yid=5370399DC954B911&vid=5D311CA918CA9A03&iid=E158A972A605785F&sid=E42CAFB11D4BE21A&eid=119B6C0AA09DE6B9&journal_id=1000-9825&journal_name=软件学报&referenced_num=6&reference_num=2