The UML Extension for Spec Explorer, release 3.4 is available now. This version fixed the compatibility issue and can be installed with Spec Explorer 2010, v3.3 or above. The UML Extension for Spec Explorer 2010 is a Spec Explorer extension for leveraging the UML modeling capabilities of Visual Studio to test from graphical models in addition to textual ones. The current version of the extension allows the use ofSequence Diagrams, which define artifacts similar toCord scenarios in Spec Explorer. Users can either use sequence diagrams to slice an existing model or as a stand-alone source to verify an existing system. Users must installSpec Explorer 2010to use this extension. The UML Extension supports two major test purposes: 1) Testing from a sequence diagram, and 2) Slicing a model using a sequence diagram. Two samples illustrating test purposes and a user guide are installed (Start -> All Programs -> UML extension for Spec Explorer 2010). |