ocl

0熱度

1回答

我在做基於模型的測試，並且使用UML圖模擬了我的應用程序，並且還編寫了使用OCL進行測試的所有約束，並且我想知道是否有工具或eclipse的插件，這有助於從UML/OCL模型生成可用於黑盒測試的測試用例。（在此先感謝）「您的回覆@Christian感謝，下面是我的OCL表達式 post: numberOfTrials = [email protected] + 1 and if userP

0熱度

1回答

遞歸在OCL

讓想我有這個UML類圖：我該怎麼辦，在OCL，指定一個實例不包括在list_of_As遞歸？換句話說，A的一個實例可能不包含在A.list_of_As中，並且不包含在A.list_of_As等的A的所有實例的所有list_of_As中。

0熱度

1回答

OCL要求：不變的可能範圍屬性的值

所以我有以下對象結構： Class Node RSSI: int 我需要寫一個OCL不變的所有節點對象的RSSI值沒有什麼不同的要求我試着用迭代表達式來解決它，但由於你不能真正使用變量IN OCL來存儲當前的最大值和最小值（或者至少我不知道如何去做）我不知道怎麼做。任何人都可以幫助我嗎？

0熱度

1回答

如何獲得OCL中的有序集？

當我有類型Set(Integer)的結果時，數字不是有序的。我們有一個操作可用於名爲sortedBy (expr : OclExpression) : Sequence(T)的集合，但是當此集合中只有整數時，要使用的表達式是什麼？

1熱度

1回答

如何從java的主代碼調用OCL約束（生成模型的java源代碼）

我在ecore模型上使用OCL約束並生成代碼。所以事情就像這樣簡單我有一個類任務有屬性startDate和endDate 它有一個ocl約束： - 不變，其狀態startDate < endDate。我已生成的Java代碼的這個項目有一個java類： public class TmsValidator extends EObjectValidator { //what is dia

1熱度

1回答

動態XText模型反序列化

我有一個UML模型，其OpaqueAction包含符合XText語法/ MetaModel的文本。我正在通過ACCELEO轉換將UML模型轉換爲文本。我想從ACCELEO腳本調用一個Java服務，該服務將模型中不透明操作中的文本作爲輸入，並將相關模型的根元素作爲輸出提供，以便我可以從ACCELEO無縫使用它。爲此，我需要用一個方法定義一個Java類：以String作爲參數，調用XTEXT，解析文

1熱度

4回答

OCL：如何爲max操作編寫前置和後置條件以查找集合中的最大值？

我正在嘗試編寫預處理和後處理條件來查找「col」集合的最大值。我不太確定如何去做，遞歸的，所以我想知道如果有人可以幫助！ pre: true post: result = ...

1熱度

1回答

在OCL中查找嵌套副本

我在嘗試檢查OCL中的重複時面臨挑戰。下面是類圖的簡化： +-----------+ |ChapterName| +-----------+ ^0..* chapterNames | ^ V +

2熱度

1回答

在FOR循環內增加一個變量

我想要計算FOR循環內條件爲真的次數。我爲模板聲明瞭一個額外的變量（FOUND：Integer），並且我試圖在每次[IF]條件爲「true」時增加它，但變量僅在第一次增加時返回到它的原始價值。基本上，如果在開始時FOUND = 1，那麼在每個循環中，我會得到2的輸出。這是代碼我試圖使用方法： [template public genPartnerLinkJavaFile(aProcess :

0熱度

1回答

爲字符串數組的UML類圖

在UML中我們應該如何顯示其在UML方法，看起來像這樣 public String[] delete(int col, int row){} 這是正確的表示返回字符串數組的方法？ +delete(col: int; row: int): String[]