使用統(tǒng)一建模語言（UML）協(xié)作圖進行靜態(tài)檢校和測試生成

頁數(shù) 17 字數(shù) 9593

摘要：只有通過一致的根據(jù)來定義測試的生成，軟件測試才能夠形式化和量化。測試通常源于程序源代碼，軟件的圖表模型（例如控制流程圖），以及規(guī)范或需求說明。UML協(xié)作圖清晰地描述了如何將軟件提供的功能與一個易于用自動化方法處理的形式聯(lián)系起來，對于測試來說是一個意義重大的機會。本篇論文提出了基于UML協(xié)作表的新的測試標準，主要用于規(guī)范層面和用例層面的協(xié)作圖的靜態(tài)和動態(tài)測試。其中，最具新意的是測試可以直接從軟件設(shè)計中自動生成，而不是來源于代碼或是規(guī)范。這些標準允許基于高級設(shè)計語言的正式的綜合測試，高級設(shè)計語言的使用，將使軟件可靠性得到明顯的提高。

關(guān)鍵詞
統(tǒng)一建模語言,靜態(tài)檢校,測試生成

References
1. B. Beizer. Software Testing Techniques. Van Nostrand Reinhold, Inc, New YorkNY, 2nd edition, 1990. ISBN 0-442-20672-0.
2. Rational Software Corporation. Rational Rose 98: Using Rational Rose. RationalRose Corporation, Cupertino CA, 1998.
3. Gregor Engels, L. P. J. Groenewegen, and G. Kappal. Object-oriented speci_ca-tion of coordinated collaboration. In Proceedings of the IFIP World Conferenceon IT Tools, pages 437{449, Canberra, Australia, September 1996.