The Scientific World Journal / 2014 / Article / Alg 1

Research Article

A Model Based Security Testing Method for Protocol Implementation

Algorithm 1

Test generation algorithm.
Input:
Transitions set of
Output:
Transition sequence:
Begin:
;
;
Public static void main(String args){
For each  
If ( .nex ){
= Traceback( , );
Output( );}
}
For each  
For each  
If ( .nex = .nex){
= Traceback( , );
Output( );
}
Public transition   Traceback(transition , transition    ){
If ( ){
.add( );
For each   Search_tran( .pre, ){
  Traceback( , );}
}else{
Checkglue( , , );}
return ;
}
Public transition   Checkglue(state , , transition    ){
For each  
If   and and
For each   ,
If ( ){
Traceback( , );
;
}else{
return ;
Public (state , transition    ){
For each  
If  ( .nex = ){
.add( );}
}
return ;
}
End;