![]() |
Telelogic TAU (steve huntington) | ![]() |
Topic Title: Informational messages in MSCs? Topic Summary: Created On: 3-Jul-2003 17:03 Status: Read Only
|
Linear : Threading : Single : Branch |
![]() |
![]()
|
![]() Answer: If you have a task symbol with informal text, this text will be printed in the MSC Example: a task symbol with the text 'informal text' will show up in the MSC trace as task informal text You can also have a charstring variable and assign some text to this variable. When executed the contents of the charstring will be displayed. This gives some possibilities if you need dynamic texts. However there are some limitations using this approach: You must start the MSC trace logging with Start-Interactive-MSC-Log 2 The parameter 2 indicates that tasks should be shown as action symbols in the trace. Now all task symbols will be visible in the trace, which can give large MSCs. Also, the texts must not exceed 50 characters. If they do the text will be truncated and only "…" (three dots) will be shown. You can get rid of these limitations by modifying the code in sctutil.c You then need to modify xMSCETask (for informal texts) and also xMSCEAssign for assignments. | |
![]() |
|
Hi,
I'm using Tau 4.4 and I would find it useful to be able to output informational message (like printf debugging in C) to the MSCs during simulation and/or validation. This can be done using the PROMELA/SPIN tool, but I have not found a way to do it in Tau. Thanks for any help! |
|
![]() |
|
![]() |
|
If you have a task symbol with informal text, this text will be printed in the MSC
Example: a task symbol with the text 'informal text' will show up in the MSC trace as task informal text You can also have a charstring variable and assign some text to this variable. When executed the contents of the charstring will be displayed. This gives some possibilities if you need dynamic texts. However there are some limitations using this approach: You must start the MSC trace logging with Start-Interactive-MSC-Log 2 The parameter 2 indicates that tasks should be shown as action symbols in the trace. Now all task symbols will be visible in the trace, which can give large MSCs. Also, the texts must not exceed 50 characters. If they do the text will be truncated and only "…" (three dots) will be shown. You can get rid of these limitations by modifying the code in sctutil.c You then need to modify xMSCETask (for informal texts) and also xMSCEAssign for assignments. |
|
![]() |
Telelogic TAU
» TAU SDL Suite
»
Informational messages in MSCs?
|
![]() |
FuseTalk Standard Edition v3.2 - © 1999-2009 FuseTalk Inc. All rights reserved.