I am very new to tau development environment.i have completed my build. But when i go for launch, i gets this error.
please guide me.
This topic has been locked.
2 replies Latest Post - 2010-03-08T09:39:17Z by SystemAdmin
Pinned topic launch of model verifier failed
Answered question This question has been answered.
Unanswered question This question has not been answered yet.
Updated on 2010-03-08T09:39:17Z at 2010-03-08T09:39:17Z by SystemAdmin
Re: launch of model verifier failed2010-03-08T09:32:54Z in response to SystemAdminHi
This could be due to error(s) in your model, or maybe you haven't got a supported C compiler/linker installed and correctly configured. The model must be error-free and you must have a correctly working C compiler to use the Model Verifier.
To confirm that your C compiler is installed and configured correctly, it is useful to start with one of the samples shipped with Tau because they don't have errors. Create a new project by selecting File->New then in the New dialog select the Samples tab and choose UmlVerificationCoffeeMachine and click OK. Expand the model view Model then CMDesign and select artifact_cm, right-click->Build(Model Verifier)->Launch. If this doesn't work your compiler isn't correctly installed and configured.
If you have a compiler installed, the most common problem is that it isn't configured correctly. What you are aiming for is that you should be able to compile and link a C program (e.g. print Hello, World) from the command line, so the path to the compiler binaries must be in the PATH environment variable, and any additional include/link/library environment variables must be configured. For Visual Studio the quickest fix is usually to create a desktop shortcut which runs the Visual Studio vsvars32.bat and then launches Tau. For example I have a shortcut on my desktop which runs the command:
"C:\Program Files\Microsoft Visual Studio 8\Common7\Tools\vsvars32.bat" & "C:\Program Files\IBM\Rational\TAU\4.3\bin\VCS.EXE"
If you have errors in your model you can find them using Check. The best plan is to start small - get something basic working - and repeatedly test and enhance it in the best agile tradition. Starting with one of the samples like UmlVerificationCoffeeMachine is also a good idea.