• 主题
高级搜索  >
历史搜索 清空历史
首页> 美国政府科技报告 >Advanced Avionics Verification and Validation Phase II (AAV&V-II)
【24h】

Advanced Avionics Verification and Validation Phase II (AAV&V-II)

机译：高级航空电子设备验证和验证第二阶段（aaV和V-II）

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

PROBLEM STATEMENT: As the complexity of software projects for embedded avionics applications increases, it becomes increasingly obvious that new innovative techniques will have to be used to help test those projects. Current methods of testing often require man-in-the-loop as well as extensive set up times. Often, the verification and validation of moderate software changes requires several weeks of man hours to accomplish. ADVANCED AVIONICS VERIFICATION AND VALIDATION (AAV&V) AS AN INNOVATIVE Technique: The AAV&V addresses the above problem by providing software developers and testers access to current testing a project technologies while investigating and proposing new techniques for validation and verification. Current software developers and testers can take advantage of an AAV&V Tool which sets on a powerful engineering workstation with open system architecture and gives them coverage and static analysis capability as well as documentation access and generation. Future software developers and testers will enjoy expansion of language options on the AAV&V tool's front end, as well as access to Formal Methods and Statistical techniques.

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号