Research Article
Formal Specification Based Automatic Test Generation for Embedded Network Systems
Pseudocode 3
An example testing goal.
) AllTransitionFileName | () mode_op2.csv; | () | () //Milestone List | () MilestoneList | () //first Milestone | () AC::Mode_A#Auto, | () AC::AV#W3, | () AC::AP#KTY3, | () AC::Mode_B#Auto, | () AC::Mode_Change::BU# Normal, | () AC::BM#Normal, | () AC::BO#Normal; | () | () //second Milestone | () AC::Mode_A#Off; | () | () //third Milestone | () AC::Mode_A#Auto; | () | () //maximum lengths between two milestones | () StepNumList | () 2,2; | () | () SelectVarNameList | () AC::Mode_A, | () AC::AV, | () AC::Mode_B; |
|