在帶OCL約束的狀態圖下測試線索的自動生成

UML作為面向對象程序分析和設計的一個標準建模語言，能夠提供各種類型的視圖，幫助開發者從不同的側面來描述設計。但是，作為半形式化語言，UML并不能精確描述事件上的約束條件。同時，作為UML標準的一部分OCL(對象約束語言)，被建模者用來說明UML約束，如不變式、操作的前置、后置條件、狀態門限和屬性派生規則等，有效地增加了UML模型表述的精確性。因此，基于UML及OCL的測試用例生成方法研究面臨新的課題。