Formal Method and Test Technology and Applying Them to Security Equipments
Ao W · 2006
This paper reviews and discusses formal methods and test technology, and the approaches in which formal specifications can be exploited for the generation of test cases, for sequencing the tests; and applying formal methods and test technology to security e- quipments is proposed.