附录4 I/GNS软件（展平）测试场景树列表

• 书名：嵌入式软件系统测试：基于形式化方法的自动化测试解决方案
• 作者名：殷永峰 姜博编著
• 本章字数：939字
• 更新时间：2025-02-20 07:23:02