- 综合排序
- 最热优先
- 最新优先
- 来自专栏CNAS\CMA软件评测
GJB/Z 141-2004标准解读
形式化验证模型检测采用UPPAAL对实时调度算法进行时序逻辑验证，确保截止时间满足GJB 151B电磁兼容要求。定理证明使用Coq工具对安全关键算法（如故障检测算法）进行数学证明，覆盖所有可能输入域。 回归测试用例自动化执行性能测试LoadRunner、JMeter指挥控制系统负载压力测试专项测试故障注入fault Injection Framework (FIF)硬件在环（HIL）环境故障模拟形式化验证UPPAAL
1.1K10编辑于 2025-09-03
时间不限
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号