All applets on Java Card must be measured their quality it essentially needs to construct applet test bed. The purpose of this research is to analyze quality applets and to inform state of applet structure using UML static analysis method. And we verify the communication scenarios between an applet and a host application via APDU using Formal method Zed. Test Cases and test data are generated from the communication scenarios. Java Card technology essentially defines a platform on which applications written in the Java programming language can run in smart cards. Applets are the applications written for the Java Card platform. This study describes how to verify the applet itself by static analysis and interface between the applet and its host application by formal specification language Zed. So applet verifier or tester efficiently configure test bed and successfully provides guideline for high quality applets.