北约HAWK管理办公室加速关键任务应用分析
挑战
解决方案
结果
- 按时交付可靠的软件
- 消除了容易出错的构造
- 测试效率提高
“Polyspace的2022世界杯八强谁会赢？产品使我们能够在时间和预算内获得更高水平的软件可靠性。仅仅依靠传统检测，我们不可能做到这么多，这么快。”
卡斯特拉罗先生，北约鹰管理办公室
北约HAWK管理办公室(NHMO)负责HAWK地对空导弹系统的改进计划。HAWK提供中程、低空到中高度的防空能力，针对各种目标，包括飞机、无人机和巡航导弹。
NHMO维护大量运行关键任务系统的复杂应用程序。为了满足严格的可靠性标准，NHMO团队必须识别并消除运行时错误。然而，该小组系统的复杂性使得用常规测试来发现这些错误变得困难和昂贵。NHMO工程师使用Polyspace®2022世界杯八强谁会赢？产品的Ada加速测试和自动分析他们的软件，以查明运行时错误。
“Polyspace产2022世界杯八强谁会赢？品为NHMO提供了一张王牌，以应对人员不足和沉重的任务，”NHMO总经理卡斯特拉罗先生说。“在准备和维护复杂且高度可靠的软件方面，我们成功地保留了，甚至提高了我们的专业知识和效率。”
挑战
面对即将到来的最后期限，NHMO需要一种更快的方法来查找和修复运行时错误。“我们正在升级一个关键系统，它必须在接到通知后立即可用。让它长期离线是不可能的，”NHMO软件解决方案中心主任Mario Lalla说。我们需要优先考虑我们的代码评审首先处理最可能出现的错误。”
该小组还对其常规测试过程的彻底性表示关切。Lalla补充道:“在复杂的应用程序中，使用测试用例不足以详尽地测试所有可能触发运行时错误的值。”“通过常规测试随机地寻找每一个潜在的错误，不可能让我们在最后期限前完成任务。”
NHMO希望对应用程序的动态进行详尽的分析，并使用这些信息来查明可靠性问题。
解决方案
NHMO团队使用Polyspace产品来分析他们的软件，并2022世界杯八强谁会赢？在源代码中定位运行时错误。
在早期项目中，团队通过并行运行两个测试来评估Polyspace产品的有效性。2022世界杯八强谁会赢？虽然大多数团队使用集团的传统方法进行测试，但一名工程师使用了Polyspace的产品。2022世界杯八强谁会赢？使用Polyspace产品进行测试的工程师检测出了通过常规测试确定的所有2022世界杯八强谁会赢？缺陷，并发现了常规测试团队遗漏的其他问题。
然后，NHMO工程师使用Polyspace产品创建了他们的代码的完整地2022世界杯八强谁会赢？图，他们用它来审查和优先考虑可靠性问题。团队首先解决了最关键的错误。他们还识别了可能产生运行时错误的有问题的代码结构，使他们能够在整个应用程序中迅速消除潜在的问题。
NHMO继续使用Polyspace产品来进一步完善调试策略并实现2022世界杯八强谁会赢？快速改进。
结果
按时交付可靠的软件．“Polyspace的2022世界杯八强谁会赢？产品使我们能够在时间和预算内获得更高水平的软件可靠性。仅仅依靠传统检测，我们不可能做到这么多，这么快。”卡斯特拉罗说。
消除了容易出错的构造．“当我们发现某个特定的结构可能导致错误时，我们使用Polyspace产品来快速识别其余代码中所有类似的结构。2022世界杯八强谁会赢？这样我们就可以同时解决许多漏洞，这大大节省了时间，”Lalla说。
测试效率提高．Castrataro说:“在准备和维护复杂且高度可靠的软件方面，我们成功地保留了，甚至提高了我们的专业知识和效率。”Lalla补充道:“Polyspace产品检测2022世界杯八强谁会赢？出了所有被常规测试证实的潜在错误，还有更多。”
2022世界杯八强谁会赢？产品使用
您也可以从以下列表中选择一个网站: