Conformiq Evaluation Guide
Contents
1. If Conformiq Eclipse Client is installed as an Eclipse plugin the required Eclipse must be Eclipse 3 4 Ganymede or newer The recommended package is Eclipse Classic Shared requirements for both of the Conformiq Eclipse Client installation types are enumerated below The required Java environment for running Conformiq Eclipse Client QEC is Sun Java 6 or higher The system on which Conformiq Eclipse Client is installed should have at least 2048 MB memory A relatively powerful CPU a multiprocessor or multi core processor computer is recommended 2 2 Conformiq Computation Server Requirements Windows XP Vista and most Linux distributions are supported by the Conformiq 8 Evaluation Guide Computation Server QCS It is highly recommended to install SP3 or newer to Windows XP in order to take advantage of the parallel test generation algorithm The system on which Conformiq Computation Server is installed must have at least 2048 MB of memory but 4096 MB is recommended We highly recommend a powerful computer with multiprocessor or multi core processor that is Intel 586 Pentium compatible due to the large amount of calculations the software must do during automatic test generation A 64 bit version is available for Linux 2 3 Other Requirements In addition these software requirements are needed for a Linux installation The GNU C Library libc that defines system calls and other bas2. Interoperability Testing Test Suite Options E Only Finalized Runs 7 OSI Methodology Support Test Case Name Prefix Requirement and Test Case Synchronization Requirements No connector Test Cases No connector Correct Lookahead value 24 Evaluation Guide 5 4 2 Generating Tests Using the project s default coverage settings you can start the test case generation Test generation ends when the console window reports INFO 100 coverage reached stopping Conformiq Designer has now generated test cases for all the set testing goals defined in the coverage editor Fi Test Steps amp Execution Trace El Console 3 Progress Exe e E m o SIP UAC Messages Running incremental test generation in parallel Allocating Conformiq Computation Slaves Allocated 2 Conformiq Computation Slaves on 1 node Currently covered 100 9 9 of target checkpoints Finally covered 100 9 9 of target checkpoints Incremental test generation took 3 seconds t Checking for nondeterminism Only Requirements Generated 9 test cases and 65 external test steps e lt n b All testing goals covered 5 4 3 Viewing the Output Once the tests have been created it is good practice to analyze the tests In the following different ways of analyzing the generated test cases are presented Specific test cases can be selected for inspection either directly from the Test Case List Test Gen
3. Settings for Conformiq Designer Test Generation Generating Tests Viewing the Output Exporting Test Cases Changing Test Coverage Settings Modifying the Model Starting Your Own Project A CONN O 10 10 11 16 17 17 17 19 19 20 20 24 24 26 27 27 29 Introduction Introduction 5 This primer to Conformiq Designer and Conformiq Modeler exists to help you get started with your own copy The guide covers the following areas How to install and setup Conformiq Conformiq Designer and Conformiq Modeler Test generation from a sample model Model changes and using Conformiq Designer with the modified model How to start your own Conformiq project 2 System Requirements 2 1 System Requirements 7 Conformiq Designer employs client server architecture where the client user interface is implemented as an Eclipse plugin The server component Conformiq Computation Server can be installed on the same computer as the Conformiq Eclipse Client or on another node on the local area network Conformig Eclipse Client Requirements Conformiq Eclipse Client is provided as 1 a standalone software as a rich client application that contains a minimal set of plug ins collectively known as Rich Client Platform RCP 2 an Eclipse plugin that requires an existing Eclipse installation Conformiq RCP application and Conformiq Eclipse Client plugin versions are provided in two distinct installers
4. allows you to define which parts of the model you wish Conformiq Designer to traverse during the test generation There is also the possibility to explicitly block parts of the model out of test generation You would typically use the design configuration as a way to generate different types of test suites out of a same model The coverage editor thus allows you to change the nature of the test case generation Each line represents a testing goal that Conformiq Designer will try to cover during test generation Also as said earlier the testing goals can be set to different values e TARGET meaning that Conformiq Designer will try to generate at least one test case that will cover this goal By default Requirements State Chart and Control Flow Methods are set as target testing goals The BLOCK coverage goal means that Conformiq Designer will avoid generating tests that cover such a goal e DONT_CARE goal means that no effort is put to cover this coverage goal After test generation it can be covered but if it is not it will not affect the total coverage information Test Generation from a Sample Model 21 Coverage goals are structured hierarchically Setting a coverage goal to INHERIT means that this goal should be a TARGET BLOCK or DONT CARE depending on the value set to this goal s parent Coverage Editor SIP UAC 25 20 AE ts ta te Testing Goals Only Requirements 4 Requirements v 100 13 2 2 4 2xx Re
5. install the software This can be anywhere If you want to make a system wide installation a recommended location is lusr local 2 Make sure you have write permissions to the directory where you want to install the software If you are doing a system wide installation you may need to switch on to super user privileges If you do not have super user privileges you can always make a personal installation in your home directory 3 Unpack the main distribution file It is a file whose name starts with conformiq and ends with tgz for example conformiq 4 2 0 linux libc 2 4 tgz You have either downloaded this from a web page or you have it on your distribution CD Give the command tar xzf file where file is the distribution file 4 After unpacking enter into the newly created directory whose name is e g Installation Il conformiq 4 2 0 linux libc 2 4 Run the install sh shell script with suitable user privileges e g bin sh install sh The installation script will ask you for instal lation information for Conformiq and test case database and the location of your Eclipse installation 5 If install sh notifies you about errors and or problems try to remedy them and run install sh again If you cannot get past the errors contact your supplier 6 After running install sh correctly start first your computation server with conformiq manager from your installation directory After this you are ready to launch Eclip
6. CONFORMIQ Automated Test Design Designer 4 2 Evaluation Guide Copyright Conformig Inc and its subsidiaries 2010 All Rights Reserved Unauthorized reproduction prohibited Conformiq and Conformiq Designer are trademarks of Conformiq Inc and its subsidiaries Some other trademarks belong to their respective owners Conformiq Evaluation Guide Copyright C Conformiq Software Oy and its subsidiaries 1998 2010 All Rights Reserved All information may be subject to change without notice For more information about Conformiq Software and its products please go to http www conformiq com Conformiq Conformiq Designer and Conformiq Modeler are trademarks of Conformiq Software Oy Java is a trademark of Sun Microsystems UML is a trademark of the Object Management Group Other trademarks appearing in the text belong to their respective owners Table of Contents 2 Za 2 2 2 3 3 3 1 3 2 3 3 2 2 2 9 5 4 5 5 5 1 1 25 9 5 4 1 5 4 2 5 4 3 5 4 4 5 4 5 Introduction System Requirements Conformig Eclipse Client Requirements Conformiq Computation Server Requirements Other Requirements Installation Windows Linux Setting Up Your Conformig License Conformiq Designer and Conformiq Modeler Test Generation from a Sample Model Setting Up The Project Importing Example Project Using Conformiq Modeler SIP Client Model Explained System Description Generating Tests Using Conformiq Designer
7. MN 00 219 SiPClent SIPClent Terminating SIPCient Caling siPCient Cenceing le after timecutFy pipi Maar recurement 173 4 2 Nor IWITE timens Terminates CANCEL eye afer imac fragment BS meginpuzes Timeout I I Inte aa retin Sheng statu 160 ra oco o retinsimesp reg tus 496 sa 200 88 msgs INVITE SRP Je msgstatusm 200 88 e Sha msg seq CANCR sherimi i 71322 Doc Responses UAC core estabishes T requirement 171 12 INVITE timers Teminates INVITE cyde afiar BUrecut Timeout m Era sia msg ceq INVITE Y Adi lt Insacpe BYE BB megparam src Ferdok TEVE requirement 15 1 Terminating a session UAS core sende OK in response to BYE after tmecutP requirement 17 1 2 2 NorINVITE timers Terminates BYE cycle after FI 7 Timeout nansiResp msgstais 200 Open SIPClient model in Conformiq Modeler Conformiq Modeler is an included modeling tool supporting drawing State Charts that are a subset of UML The usage of the tool is straightforward 1 Pick some drawing tool from the tool bar 2 Draw your system states and transitions on the canvas 3 Add transition strings using QML textual notation to specify the behavior of the system as it moves from one state to another via a transition 4 Model Element Tree provides a hierarchical view of the model 5 You can zoom in and out arbitrarily using
8. clipse amp So x Project Explorer 53 Ei EB Coverage Editor SIP UAC 23 E 5 Model Browser E Model Profiler Bi Traceability Matrix BB Test Case Dependency Matrix B oa num E E te tate Prerequisite Dependent MESETTO ES model Testing Goals Only Requirements requirement 17 1 1 2 INVITE timers Resends INVITE after Atime 3 SIPClientjava Requirements vim requirement 17 1 12 INVITE timers Terminates INVITE cycle afti BI sPClientooni 13224 doo Responses 100 requirement 17 1 2 2 Non INVITE timers Resends CANCEL after 0 15 1 Terminating a session 100 sl eevee UAC core terminates a session by sending v v UAS core sends OK in response to BYE v vent 15 1 Terminating a ses 17112 INVITE timers 100 requirement 15 1 Terminating a session UAC core terminates a ve 17 122 Non INVITE timers 100 requirement t 17 1 2 2 Non INVITE timers Resends BYE after E tin Resends BVE after E timeout requirement 7 1 22 Non INVITE timers Terminates BYE cycle Resends CANCEL after E timeout vv Terminates BYE cycle after F timeout v v Terminates CANCEL cycle after F timeout v v State Chart Conditional Branching Control Flow Dynamic Coverage A Sia XS SL 1 Il requirement 17 1 1 2 INVITE timers Resends INVITE after A tim 22 E f Test Steps Execution Trace E Console 52 Progress atri 50 Search HM fi 7 euc Name 7 Messages ent 17 1 121NVITE time 2 ent 17112 INVITE time 3 requite
9. eration from a Sample Model 25 window or from the Traceability Matrix window The active view can be changed from the menu under Window gt Show View The Test Case List has simply the list of all generated test cases numbered from first to last You can here select a test case and view its behavior in the Test Case window You can also rename test cases to give them more significant names The Traceability Matrix allows you to see the different testing goals linked with the test case number that covers this goal This allows you to trace which test case covers which requirement or other testing goal The Test Case window presents a test case as a Message Sequence Chart MSC where input and output messages are drawn between the tester and the SIPClient lifelines An arrow going from the Tester to the SIPClient means that the test environment is sending an input to the system and respectively an arrow leaving the SIPClient means that the system has sent out a response to be validated against the expected value The Test Steps window shows the payload data used in the active test case at a chosen test step These values are automatically generated from the system model Find the test case that covers the requirement Terminates INVITE cycle after B timeout using the Traceability Matrix The MSC of this test case describes the steps to test this requirement 1 Initially the Tester sends an input message through the SIPC
10. how to take this SIP example model into use In preparation for using Conformiq Designer to generate tests from the model you will have to create a new Conformiq project in Eclipse that contains the model files Importing Example Project Conformiq Designer has a number of example projects that present different modeling patterns and approaches Importing some of these example projects into Conformiq Designer Eclipse Client QEC is easy To do so in QEC choose File gt New gt Example A number of example projects are presented where cach presents some interesting modeling solution For this presentation you should pick the SIP UAC from the list of available example projects and click on Next and Finish If you are asked about whether you want to associate a specific perspective with this type of project answer Yes This will open all of the Conformiq Designer specific windows into QEC That s it you now have a ready Conformiq Designer project with all settings ready for starting test generation The SIP UAC model is composed of two model files that together compose the whole model Note hod the model is composed of a textual SIPClient cqa and a graphical part SIPClient xmi These files will be next discussed in more details Using Conformiq Modeler By double clicking on the SIPClient xmi file in the newly imported example model the model s state machine is opened in Conformiq Modeler 18 Evaluation Guide Fi tt aG
11. ic functionality must be 2 4 or newer Test generation is a computationally intensive task and therefore it is recommended to run Conformiq Eclipse Client and Conformiq Computation Server on distinct computers However if QEC and QCS are both run on the same computer the bare minimum amount of physical memory is 2048 MB but it is strongly recommended to have 4096 MB of memory or more and a powerful multiprocessor or multi core processor 3 Installation 3 1 10 Evaluation Guide Before installing Conformiq Eclipse Client you should have Eclipse Ganymede or newer installed and functioning on your machine To get Eclipse and for information on how to install it please see Eclipse home page http www eclipse org Conformiq evaluation licenses enable that Conformiq can be evaluated for a limited time period You should have received an evaluation license block from your distributor that needs to be copied into Eclipse see instructions on how to do this below Windows To install Conformiq double click on the Conformiq lt VERSION gt exe file in Windows Explorer and follow the instructions step by step You can choose your directory of choice to install Conformiq but default is C Program Files Conformiq Designer It is suggested that the database is not installed in this same directory but to a location with normal user rights write permissions 3 2 Linux 1 Choose the location where you want to
12. igh level leaving most of the SIP headers outside of the model Handling of the missing fields in test execution is handled by the test harness The system has two test interfaces that are used by the model The user interface is used to start the call creation and to inform the user of possible timeouts during session creation The network interface is used to transmit the Session Initiation Protocol packets or messages From the system specification RFC the modeling engineer has retrieved requirements that have been included into the model 1 Acknowledge established call by sending ACK 2 Acknowledge terminated call by sending 200 OK as a response to BYE 5 4 5 4 1 20 Evaluation Guide 3 Request retransmit timers for INVITE non INVITE requests timer A timer E 4 Transaction timers for INVITE non INVITE transactions timer B timer F You can try to find these requirements in the model by searching for the requirement keyword For example the requirement for timer B timeout is modeled in the SIPClient xmi state machine on the transition going from the Calling state to the end state Generating Tests Using Conformiq Designer Settings for Conformiq Designer Test Generation Before starting test case generation you should take a moment to check some settings By double clicking on the design configuration of your project called Only requirements you will open a Coverage Editor This coverage editor
13. lient s userIn interface 2 The test harness should then expect the SIPClient named SIP UAC in the MSC to send a SIPReq request message on its netOut interface 3 The SIPReq message should be perceived four times in total from the netOut interface 4 Lastly a timeout indication message should be sent to the user with a TimeOutIndication message perceived on the userOut interface 26 Evaluation Guide clp amp Project Explorer 3 O EE Coverage Editor SIP UAC D Model Browser 3 E Model Profiler GB Traceability Matrix Bi Test Case Dependency Matrix DI eg SIP UAC me ts ta te SIPClient SIPCIient Calling SIPClient Canceling SIPClient Terminating SIPClient java gs ony EDak Testing Goals Only Requirements GS model SiPClientjava EEEE M un A Dax Responses x groom 151 Terminating a session v1 UAC core terminates a session by sending v v UAS core sends OK in response to BYE 171 12 INVITE timers vam scorsa 171 22 Non INVITE timers 100 sea Resends BYE after E timeout vy eee Es Resends CANCEL after E timeout Y Terminates BYE cycle after F timeout vy Terminates CANCEL cycle after F timeout v v _ digas E State Chart T TH requirement 17 1 1 2 INVITE timers Terminates INVITE cycle after B time 22 DI amp Steps requirement 17 112 INVITE 22 Execution Trace E Console Progress O HM oO Be EE Test Ca
14. ment 17 1 2 2 Non INVITE 4 requirement 13 2 24 Der Respons 5 requirement 171 22 Non INVITE 6 requirement 15 1 Terminating as 7 8 9 Tester Userinput ent 15 1 Terminating a s ent 17 1 2 2 Non INVITE ent 17 1 2 2 Non INVITE SiPReq SIP UAC Applying model transformations incremental test generation in parallel Allocating Conformiq Computation Slaves Allocated 2 Conformiq Computation Slaves on 1 node Currently covered 67 6 9 of target checkpoints Currently covered 89 8 9 of target checkpoints Finally covered 100 9 9 of target checkpoints incremental test generation took seconds Checking for nondeterminism Only Requirements Generated 9 test cases and 75 external test steps Conformiq Designer generating tests from a system model A system model can be created using 3rd party modeling tools or it can be created with Conformiq Modeling Language QML using the Conformiq Modeler QML allows the modeler to use both a textual and a graphical notation while describing the system The textual notation of QML is a superset of the Java programming language The textual part of the model can be created with any text editor e UML state charts are used as the graphical part of the model to describe the system Conformiq Designer and Conformiq Modeler 15 behavior The graphical part is optional and the whole sy
15. n to test execution works Work in increments rather than trying to put all the functionality of the system into the very first version of the model build the model one functionality after another Have your peers review your models Use requirements in the model to allow you to easily control and track the coverage of the generated test cases with respect to different functionalities expressed in the model To create your own project use the Conformiq Project wizard In Conformiq Eclipse Client click File gt New gt Conformiq Project and fill in your project name before pressing Next Make sure to check the Deploy default model files option and fill in the name of your main Starting Your Own Project 3l test component Deploy Model Files Deploy default model files 7 Deploy default model files Name of the main class MySystem Create a new project and deploy skeleton model files
16. se to see your Conformiq perspective 3 3 Setting Up Your Conformiq License In order to use Conformiq you need a valid license for it Please make sure you have a valid license before you try to use Conformiq Note Setting up a license server for your company is beyond the scope of this document See User manual for those details 1 When you try to create your first Conformiq project the following dialog appears Q Your evaluation license for Conformiq Designer is invalid License has not been specified 2 Just click on Open License Preferences to set your evaluation license key into the Evaluation License box You should have received your evaluation license from 12 Evaluation Guide your distributor type filter text Licensing 4 Conformiq Li I Evaluation License Licensing Node locked license Floating License Server Your node ID is NZH52 YRBSV TLECL ZCT4K Add evaluation license key 3 Enter you evaluation key 4 Click OK when you are done to continue creating your first model 4 Conformig Designer and Conformig Modeler 14 Evaluation Guide Conformig is a tool that designs test cases and test data automatically from a system model System models in accordance with specifications can change over time Using Conformiq makes it easy to generate the new test suite for the changed functionality Test generation is controlled through a Conformiq perspective in E
17. ses SIP UAC 1 cm Message Field Port Field val Time E Search Tester SIPUAC a Userinput to userin 00 i input invite Name input2 sip 127 0 0 1 50 1 requirement 17 1 12 INVITE time 4 spReq from netOut 0 0 2 requirement 132 24 Zio Respons ATE 3 requirement 171 22 Non INVITE da sip127 0 01 50 4 requirement 15 1 Terminating a s 4 9 siPReq from netOut 05 5 requirement 151 Terminating a s E VIE 6 requirement 17 1 1 2 INVITE time dana q i a 5ip127 0 01 50 7 requirement 17122 Non INVITE i a sipreg InfromnetOut 15 8 requirement 171 22 Non INVITE SIPReq i ep o wa 9 requirement 17 1 22 Non INVITE 1205 ft psit 7512700150 17 1 1 2 INVITE timers Resends INVITE after A timeout 4 SIPReq from netOut 35 i op INVITE SIPReq i param 5ip127 001150 t 15 H 4 SIPReq from netOut 15 Test case message sequence chart 5 4 4 Exporting Test Cases Conformiq allows you to export the designed test cases out of Conformiq Designer using publishers or scripters as they are also sometimes called A publisher is an application that translates the test cases from the Conformiq Designer internal representation to a predefined syntax This syntax is the one that is used by your test execution adaptation Under the tool s installation directory there are several default publishers that are provided Using these it is possible to export the de
18. signed test cases into HTML TTCN 3 Perl or TCL output It is even possible to write the tests out to HP QualityCenter9 Adding a publisher to a project is done by right clicking the project s design configuration and selecting New gt Scripting Backend In the installation directory you can find the Example Scripters directory that contains the above mentioned scripters 54 5 5 5 Test Generation from a Sample Model 27 Changing Test Coverage Settings As mentioned above you can modify the test generation settings from the design configura tion s Coverage Editor Lets try to generate a more thorough test suite by requiring that Conformiq Designer also covers all structural features of the model This means we want a test suite that in addition to the requirements covers also all states and transitions of the model too This functionality is controlled by the State Chart States and State Chart Transitions coverage goals To change these settings open the Coverage Editor by double clicking on the design config uration of the project It is called Only Requirements Change under State Chart the goals for State and Transitions from DON T CARE to TARGET and restart test generation It is this simple to change test generation coverage options Your test suite will now consist of 16 test cases instead of the original 9 Modifying the Model The presented model in this guide does not model the full func
19. sponses v 100 4 15 1 Terminating a session v 100 UAC core terminates a session by sending BYE vw UAS core sends OK in response to BYE vv 17 1 1 2 INVITE timers v 100 4 171 22 Non INVITE timers v 100 Resends BYE after E timeout vv Resends CANCEL after E timeout vv Terminates BYE cycle after F timeout vv Terminates CANCEL cycle after F timeout vv State Chart j Conditional Branching rminates CANCEL cycle after F timeout Control Flow Dynamic Coverage Coverage Editor settings You could have several design configurations in your project allowing you to generate different types of test suites While the testing goals defined in the Coverage Editor are specific to a test design configu ration it is possible to influence on the depth of test generation at the project level This is done modifying the Lookahead Depth that is located in the properties of the SIP UAC project Right click on the project and choose Properties gt Conformiq Options Decreasing the value of this knob will make covering all of the coverage options impossible Increasing this knob will not find new test cases but test generation time will increase because 22 Evaluation Guide Conformiq Designer needs to do a deeper test search Test Generation from a Sample Model 23 SIP UAC Conformiq Options Resource Lookahead Depth Conformiq Options Maximum Delay Test Generation Options Enable Model Profiling Require Conversion for
20. stem could be described using QML textual representation only However use of the graphical notation is very useful and highly recommended for statefull systems The lightweight Conformiq Modeler comes bundled with Conformig distribution allowing you to create fully functional models of your systems for automatic test case generation File Edit View Help tt aGMN ge o4 04 SiPClent _siPCient Terminating SiPCientCaling siPCient Canceling Es 9 vserin Userinput i crei MC TET Wing pe SPIRIT ELE DORLI 1 i aes Invites Riding Cangeina sei ae retin SIPResp msg status 160 J rnsg input Do L retin STRESA INVITE ex p mur after timecutg quirentent 13 2 2 4 2 x Responses UAC core establishes sessipnudth AMC feautemert 12142 INVITE times Temrates INTE ode tiro Resco Timeout nei Sp e tea ea pic BYE an msgparam src after Timeout Conformiq Modeler 5 Test Generation from a Sample Model 5 1 5 2 Test Generation from a Sample Model 17 This section highlights the necessary steps the user needs to take to generate tests from a system model Setting Up The Project The model that will be used in this guide is a model of a SIP client This example model can be found under the installation directory of Conformiq in the Example Models SIPClient directory In the following two different approaches are presented on
21. t functionality in Conformiq Modeler Once you have added this functionality to your model and saved it you are ready to start test generation You should now receive one additional test case that tests this added functionality 6 Starting Your Own Project 30 Evaluation Guide You ve now learned the basics of Conformiq in terms of a sample project The best way to get an in depth understanding is to use Conformiq in a project of your own Below you ll find some words of advice to assist you on this exciting journey l The key thing in using Conformig is aligning your thinking with that of a system designer rather than considering how to test the system you put yourself into the shoes of the designer and concentrate on how the system works What you then end up with in the form of a model is an abstract implementation of the system to be used as a basis for automatic test design As an implication of the above you should note that everything you ve learned in your career about system architecture data encapsulation separation of concerns OO design patterns etc is of high value Use this knowledge to come up with high quality models Consider the test interface of your system always first this is important because the level of detail in the test interface essentially defines the abstraction level of your model Start with a simple pipe cleaner model to ensure that the pipeline from the model through test generatio
22. tionality of a SIP client We can then continue modeling and add it new functionality as defined in the system s specifi cation The RFC based on which the model has been created tells us how an invite request can be canceled in chapter 9 Canceling a Request 28 Evaluation Guide For this reason CANCEL is best for INVITE requests which can take a long time to generate a response In that usage a UAS that receives a CANCEL request for an INVITE but has not yet sent a final response would stop ringing and then respond to the INVITE with a specific error response a 487 E knuppone workspace 4 2 SIP UAC model SIPClient xmi Conformiq Modeler File Edit View Help tt AaGMN de 2 04 sipcient SIPCient Terminating siPCientCaling SIPCient Canceling ana i 3 userIn UserInput i msg inputt invite amp amp msg input2 dst B Invite Ringing netIn SIPResp msg status 180 gt userIn UserInput msg inputt cancel netin SIPResp msg status 486 amp amp Canod msg cseq INVITE pecu requirement 9 Canceling a Request Cancel INVITE request IAK ee msg cse _ Jak after timeoutB requiren requirement 17 1 1 2 INVITE timers Terminates INVITE cyde after B timeout TimeOut netin SIPResp msg status 487 amp amp msg cseq INVITE e after timeoutF Ti Added canceling of invite reques
23. your mouse s wheel or as instructed in the View menu The textual part of the model SIPClient cqa can be viewed with Eclipse s built in text or Java 5 3 5 3 1 Test Generation from a Sample Model 19 editor Using some Java editor enables you to have syntax high lighting The textual part of the model written in Conformiq Modeling Language QML typically contains the data manipulation of the system model It also contains reusable system methods and system attributes This allows creating models where the graphical state machine depicts the high level behavior of the system whereas the textual part handles the system s data manipulation SIP Client Model Explained System Description This evaluation model is a partial model of a Session Initiation Protocol User Agent Client SIP UAC For this guide the system can be thought of as a VoIP client that communicates using the Session Initiating Protocol SIP The modeled functionalities of the client are session handling functionalities in particular call setup call termination and canceling call during call setup Additionally the model takes into account timers associated to these functionalities A real VoIP client has additional functionalities that has not been modeled here The model has been created based on the RFC 3261 specification specifically chapter 17 1 2 that describes the session handling of the session handling protocol This functionality has been modeled at a h
Download Pdf Manuals
Related Search