From: SourceForge.net <no...@so...> - 2012-07-17 09:42:29
|
Feature Requests item #3304995, was opened at 2011-05-20 02:25 Message generated for change (Comment added) made by madzin You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046489&aid=3304995&group_id=219467 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: Verification Algorithms Group: None Status: Open >Priority: 8 Private: No Submitted By: Lubos Korenciak (lkorenciak) >Assigned to: Lubos Korenciak (lkorenciak) Summary: Suggestion for better highlighting of Race Checker Initial Comment: Imagine the situation when there is a cycle in the specification and that there are two events in race. First event is in the first occurrence of node C and the second event is in the second occurrence of the node C. Currently the race checker highlights both events in one BMSC, even though the race happened in two different instances of this BMSC. This is confusing, because user can think that race is directly in the BMSC and not even look in HMSC, which is one part of design causing this race. I think it might help to unfold the path in which we found race, make as many instances of BMSCs as reference nodes in the path, and highlights the events in the corresponding BMSCs. ---------------------------------------------------------------------- >Comment By: Matus Madzin (madzin) Date: 2012-07-17 02:42 Message: The unfolding is good idea but it must consistent wit other race checker outputs. The first way is to return an HMSC path with marked events. In the first node one event in the second also one event. The second way is to create one bMSC with marked events which represents an behaviour on the HMSC path. Additionally it must be clear that the cycle is unfold and I would like to see some "separation line" to show which nodes are connected. Please think about the solution and we can discuss it with xrehak. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046489&aid=3304995&group_id=219467 |