smtc

This is a Smtc class. It’s a “S”tate “M”achine “T”est “C”ase generator inspired by https://note.com/yumotsuyo/n/nd3099b40dc1f

Try it in your browser! TRY IT NOW

Document is here

install

$ npm i -g smtc

Usage

command line

# -h:help
# <file>:inputscript
# -s : switch
# -t : output type t:transition/m:matrix/c:testcases/d:diagram
smtc [-h] <file> [-s <0|1|2... (0:default)>] [-t <t|m|c|d (t:default)>]

sample data

alt text

$ cat __tests__/testData.txt
initial                  => "Accepting reservations" ;
"Accepting reservations" => "Reservation accepted"   : reserve ;
"Reservation accepted"   => "Reserved"               : approve;
"Reserved"               => "Reservation accepted"   : cancel approval;
"Reservation accepted"   => "Accepting reservations" : reject;
"Reservation accepted"   => "Accepting reservations" : cancel of reservation;
"Reserved"               => "Accepting reservations" : cancel;
"Reserved"               => final                    : car delivered;

Transition matrix

$ smtc __tests__/testData.txt

	[None]	reserve	approve	cancel approval	reject	cancel of reservation	cancel	car delivered
initial	Accepting reservations
Accepting reservations		Reservation accepted
Reservation accepted			Reserved		Accepting reservations	Accepting reservations
Reserved				Reservation accepted			Accepting reservations	final
final

zero switch cases

$ smtc __tests__/testData.txt -t c

#	State#1	Event#1	State#2
0	initial	[None]	Accepting reservations
1	Accepting reservations	reserve	Reservation accepted
2	Reservation accepted	reject	Accepting reservations
3	Reservation accepted	cancel of reservation	Accepting reservations
4	Reservation accepted	approve	Reserved
5	Reserved	cancel	Accepting reservations
6	Reserved	cancel approval	Reservation accepted
7	Reserved	car delivered	final

zero switch matrix

$ smtc __tests__/testData.txt -t m

	Accepting reservations	Reservation accepted	Reserved	final
initial	[None]
Accepting reservations		reserve
Reservation accepted	reject,cancel of reservation		approve
Reserved	cancel	cancel approval		car delivered
final

one switch cases

$ smtc __tests__/testData.txt -t c -s 1

#	State#1	Event#1	State#2	Event#2	State#3
0	initial	[None]	Accepting reservations	reserve	Reservation accepted
1	Accepting reservations	reserve	Reservation accepted	reject	Accepting reservations
2	Accepting reservations	reserve	Reservation accepted	cancel of reservation	Accepting reservations
3	Accepting reservations	reserve	Reservation accepted	approve	Reserved
4	Reservation accepted	approve	Reserved	cancel	Accepting reservations
5	Reservation accepted	reject	Accepting reservations	reserve	Reservation accepted
6	Reservation accepted	cancel of reservation	Accepting reservations	reserve	Reservation accepted
7	Reservation accepted	approve	Reserved	cancel approval	Reservation accepted
8	Reservation accepted	approve	Reserved	car delivered	final
9	Reserved	cancel approval	Reservation accepted	reject	Accepting reservations
10	Reserved	cancel approval	Reservation accepted	cancel of reservation	Accepting reservations
11	Reserved	cancel	Accepting reservations	reserve	Reservation accepted
12	Reserved	cancel approval	Reservation accepted	approve	Reserved

one switch matrix

$ smtc __tests__/testData.txt -t m -s 1

	Accepting reservations	Reservation accepted	Reserved	final
initial		[None] -> reserve
Accepting reservations	reserve -> reject,reserve -> cancel of reservation		reserve -> approve
Reservation accepted	approve -> cancel	reject -> reserve,cancel of reservation -> reserve,approve -> cancel approval		approve -> car delivered
Reserved	cancel approval -> reject,cancel approval -> cancel of reservation	cancel -> reserve	cancel approval -> approve
final

Playground

Input script

initial,
off: _temperature=25,
open/off,
on {
    idle, 
    open/on : _temperature=25,
    active {
      boil  : _start  = Date.now() // only initialize phase
              _temperature=25+((Date.now()-_start)/1000)*1.25,
      keep  : _temperature=100;
    };

# _water-=sec*10
    idle => idle    [color="blue"]  : dispense(sec:number);
    idle => open/on [color="red"]   : open();
    idle => boil    [color="black"] : "_water>=10";
    idle => off     [color="gray"]  : plugOff();

# _water+=water
    open/on => open/on  [color="darkgreen"] : fill(water:number) ;
    open/on => idle     [color="purple"]    : close();
    open/on => open/off [color="gray"]      : plugOff();

active => open/on [color="red"]  : open();
    active => off     [color="gray"] : plugOff();

boil => keep    [color="black"] : "_temperature>=100";

# _water-=sec*10
    keep => keep [color="blue"]   : dispense(sec:number);
    keep => boil [color="orange"] : reboil();
    keep => idle [color="black"]  : "_water<10";
};

# _water=0
initial => off;

# _water += water
open/off  => open/off [color="darkgreen"] : fill(water:number);
open/off  => off      [color="purple"]    : close();
open/off  => open/on  [color="pink"]      : plugIn();

off => open/off [color="red"]  : open();
off => idle     [color="pink"] : plugIn();

smtc

A test case generator from state machine diagram

smtc

install

Usage

command line

sample data

Transition matrix

zero switch cases

zero switch matrix

one switch cases

one switch matrix

Playground

Input script

Diagram

Transitions

N switch test cases

N switch matrix