Tool for state machine testing

Home Forums Everyday Testing – Careers, Learning and more Tool for state machine testing

Viewing 5 posts - 1 through 5 (of 5 total)
  • Author
    Posts
  • #14137
    Domenico
    Participant
    @domenicodl

    Hello everybody,

    I was looking for a free tool to generate test sequences (or test cases) from a state machine. In other words, I would like to extract the paths from a state machine given a coverage criteria (e.g, 100% state coverage).

    I’ve found graphwalker, but to tell the truth I don’t feel comfortable with it for 2 main reasons:

    a) It does not have its own graphical user interface, you have to use yed to depict your state machine and save it as “graphml file”, then you can provide it to graphwalker. Yed does not seem stable to me.

    b) I have created a basic sate machine with yed (one intial state and final state connected with one edge) and graphwalker fails to find paths, there is an error somewhere that I haven’t caught yet

    Any suggestion about alternative tools is welcome

    Thank you in advance

    Domenico

    #14151
    Archana
    Participant
    @archana

    I came across Astah.. which may be of help. You can check it here

    http://astah.net/tutorials/quality-suite/tutorial/basic_state_path.html

    #14210
    Jesper
    Participant
    @jesper-lindholt-ottosen

    I once tested a state machine in a communications flow, and considered carefully not to implement 100% coverage. Do consider both the number of tests needed for 100% coverage, and for what reason that high coverage is required… I wrote my considerations here: https://jlottosen.wordpress.com/2012/11/05/fell-in-the-trap-of-total-coverage/

    Jesper

    #14590
    Domenico
    Participant
    @domenicodl

    @archana

    Thank you for your suggestion. I gave a try to Astah some weeks ago and it worked nicely. Comparing to graphwalker, it does not allow you to decide any coverage criteria, but at least for the moment it is a minor issue to me.

    @jesper-lindholt-ottosen

    I do agree with your approach.  I’m not trying to get 100% coverage  (let’s say state coverage) in practice since it is costly, worthless and time consuming if you have limited resource. My idea is to discover the paths given a coverage criteria, then I analyze them in order to select the ones fitting my business rules/context, those surviving  paths will be automate. For excluded paths, I can eventually define a residual risk to share with other teammates.

     

    #14595
    Yuriy Babay
    Participant
    @yuriy-babay

    [MOD/JO:Removed]

Viewing 5 posts - 1 through 5 (of 5 total)
  • You must be logged in to reply to this topic.