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; |
|