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

$ 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

	initial	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

	initial	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

{% include form.html %}