Embedded Software System Testing (Automatic Testing Solution Based on Formal Method)