机构名称：
¥ 1.0
在本立场文件中，介绍了一种在汽车、航空电子和铁路领域测试复杂自主运输系统 (ATS) 的新方法。该方法旨在缓解 ATS 验证和确认 (V&V) 工作中一些最关键的问题。众所周知，仅使用传统方法时，V&V 对于复杂 ATS 是不可行的。这里提倡的方法在模块级别使用完整的测试方法，因为这些方法为软件的逻辑正确性建立了形式证明。建立逻辑正确性后，在模拟云环境和目标系统上执行系统级测试。为了证明已对目标系统执行了“足够多”的系统测试，引入了形式合理的覆盖标准。为了优化非常大的系统测试套件的执行，我们提倡一种在线测试方法，其中多个测试并行执行，并且测试步骤在运行中被识别。这些执行的协调和优化是通过基于代理的方法实现的。这里提倡的测试方法的每个方面都被证明要么符合现有的安全关键运输系统的开发和 V&V 标准，要么有理由证明它应该在适用标准的未来修订中被接受。
完整的基于代理驱动模型的系统测试...
主要关键词
相关文件推荐
