Currently this is not possible because UML 1.3 has ambiguous semantics, and
is therefore non-testable in any kind of automated way. Look at the OMG's
web site and read about Model-driven Architecture and the proposals for UML
2.0, which should address this kind of problem in the future.
In the meantime, you can do guided inspections, and also use animations of
object diagrams (often called "film strips"), symbolic execution and so on,
to simulate your running system by hand. It helps enormously if you have
defined action specifications in your model (in OCL or Z for example),
because it is impossible to verify the design without this information.
Consistency checking of UML models is very hard work, but worth it on very
high risk or complex designs as you can spot a lot of errors that normally
wouldn't have shown up until coding or testing.
You might also like to investigate things like xUML, Modelrun and Rational's
own Quality Architect.
Cheers
Jason Gorman
Software Engineering Consultant
http://www.precisexp.org
-----Original Message-----
From: [EMAIL PROTECTED]
[mailto:[EMAIL PROTECTED]]On Behalf Of payam` zahadat
Sent: 12 July 2001 08:51
To: [EMAIL PROTECTED]
Subject: (ROSE) How can test a rose model without coding it?
Hi
How can tese a rose model?
is it posible to test that different views of a system
are compatible in rose?
__________________________________________________
Do You Yahoo!?
Get personalized email addresses from Yahoo! Mail
http://personal.mail.yahoo.com/
************************************************************************
* Rose Forum is a public venue for ideas and discussions.
* For technical support, visit http://www.rational.com/support
*
* Admin.Subscription Requests: [EMAIL PROTECTED]
* Archive of messages:
http://www.rational.com/products/rose/usergroups/rose_forum.jtmpl
* Other Requests: [EMAIL PROTECTED]
*
* To unsubscribe from the list, please send email
*
* To: [EMAIL PROTECTED]
* Subject:<BLANK>
* Body: unsubscribe rose_forum
*
*************************************************************************
************************************************************************
* Rose Forum is a public venue for ideas and discussions.
* For technical support, visit http://www.rational.com/support
*
* Admin.Subscription Requests: [EMAIL PROTECTED]
* Archive of messages:
http://www.rational.com/products/rose/usergroups/rose_forum.jtmpl
* Other Requests: [EMAIL PROTECTED]
*
* To unsubscribe from the list, please send email
*
* To: [EMAIL PROTECTED]
* Subject:<BLANK>
* Body: unsubscribe rose_forum
*
*************************************************************************
