Embedded Software System Testing Automatic Testing Solution Based on Formal MethodYongfeng Yin, Bo Jiang₹4,715