基于符号化有限状态机的完备性测试用例生成方法

本发明涉及软件测试领域，具体涉及一种基于符号化有限状态机的完备性测试用例生成方法。背景技术：1、安全攸关系统是一种集成了物联网技术的系统，其安全性至关重要。在当前的技术背景下，安全攸关系统面临着来自网......

2024-08-05 21

#符号化#完备#测试