Journal of Applied Mathematics

Research Article

Formal Specification Based Automatic Test Generation for Embedded Network Systems

Pseudocode 4

An example output: Test sequences.
Trace: 0
AC::Mode_B#Auto, AC::Mode_A#Auto, AC::AV#W3
AC::Mode_B#Cont, AC::Mode_A#Auto, AC::AV#W1
AC::Mode_B#Off, AC::Mode_A#Off, AC::AV#W0
AC::Mode_B#Off, AC::Mode_A#Auto, AC::AV#W1
AC::Mode_B#High, AC::Mode_A#Auto, AC::AV#W1
 
Trace: 1
AC::Mode_B#Auto, AC::Mode_A#Auto, AC::AV#W3
AC::Mode_B#Cont, AC::Mode_A#Auto, AC::AV#W1
AC::Mode_B#Off, AC::Mode_A#Off, AC::AV#W0
AC::Mode_B#Off, AC::Mode_A#Auto, AC::AV#W3
AC::Mode_B#High, AC::Mode_A#Auto, AC::AV#W1
 
Trace: 2
AC::Mode_B#Auto, AC::Mode_A#Auto, AC::AV#W3
AC::Mode_B#Cont, AC::Mode_A#Auto, AC::AV#W1
AC::Mode_B#Off, AC::Mode_A#Off, AC::AV#W0
AC::Mode_B#Off, AC::Mode_A#Auto, AC::AV#W2
AC::Mode_B#High, AC::Mode_A#Auto, AC::AV#W1
⋯