排序方式: 共有4条查询结果,搜索用时 0 毫秒
1
1.
2.
提出了一种基于需求的自动测试方法。该方法针对目前航空电子系统的系统设计与验证中的
“V”型流程进行建模,并对其进行形式化的描述,以供计算机分析、识别。设计了一套有
效、完备的自动测试系统以达到对系统需求的验证,并在此基础上提出了进一步研究的方向
。通过实际软件验证了所提方法的有效性。 相似文献
3.
4.
1