基于UML活動圖的測試用例自動生成技術研究.pdf

1、軟件測試在軟件開發(fā)過程中有著越來越重要的地位。它貫穿于軟件定義與開發(fā)的整個期間即整個軟件開發(fā)過程。從設計規(guī)格說明中產生測試用例是測試階段的一項重要工作，而它的主要依據應該來自于軟件需求和軟件設計，其中要涉及到測試用例的充分性覆蓋準則問題。 本文重點研究了基于UML活動圖模型的測試用例設計與生成方法，首先介紹了相關的背景知識，包括基于規(guī)格說明的軟件測試，基于模型的軟件測試，分析其特點，并介紹了UML模型，及其在指導軟件測試方面的應

2、用。并對自動生成測試用例技術的國內外研究現狀進行了綜述和比較。 然后重點分析了UML活動圖模型，活動圖在指導軟件測試方面的優(yōu)勢，給出了UML活動圖的形式化定義，并定義了基本路徑，場景等；詳細闡述了基于UML活動圖模型的測試用例生成方法和技術，給出了UML活動圖生成測試用例的覆蓋標準，并考慮了信號流覆蓋標準，研究了由UML活動圖生成測試場景的算法，并給出了考慮了并發(fā)情況等以后的算法，對并發(fā)活動實例化方法進行分析，并給出了一種實例化