-
基于符号化有限状态机的完备性测试用例生成方法
本发明涉及软件测试领域,具体涉及一种基于符号化有限状态机的完备性测试用例生成方法。背景技术:1、安全攸关系统是一种集成了物联网技术的系统,其安全性至关重要。在当前的技术背景下,安全攸关系统面临着来自网......
-
简单且油气处理功能完备的自安装生产平台及建造方法与流程
本发明涉及海洋石油开发,具体涉及简单且油气处理功能完备的自安装生产平台及建造方法。背景技术:1、我国渤海和涠洲湾海域存在上百个小型构造油田,边际油田开发潜力大,但开发效益较差。若采用传统导管架平台开发......