智能的软件错误怎么检查

计算机和软件比以往任何时候都重要。在汽车，飞机和医疗设备等系统中，实现无重大缺陷或“错误”的软件至关重要。埃因霍温科技大学博士学位 候选人Thomas Neele基于模型检查方法开发了三种技术，可以更智能，更快速地进行错误检查。

模型检查是检查软件的最严格的技术之一。它检查软件系统可以做的所有可能的事情，以及可以进入的“状态”，以检查其是否按要求工作。挑战在于软件通常由许多并行工作的部分组成。这可能会导致需要研究的状态数量激增，使模型检查成本高昂，甚至难以管理。Neele探索了通过减少需要检查的状态数来解决此问题的新方法。

牢记软件目标

Neele开发的三种新的还原技术有一个共同点：它们牢记状态的要求。这些额外的信息意味着更容易查看哪些状态不需要检查。为了能够同时查看系统的行为和要求，Neele首先开发了一种新的结构化方法来显示行为与需求的组合。

第一种技术是通过将相似状态分组在一起来减少状态数量。这样甚至可以处理无数个状态。第二种方法检查并行工作的部分是否有时独立执行任务。在这种情况下，不必研究所有可能的状态。最后一种技术是检查某些数据元素是否相关，如果不相关则将其删除。

使软件更安全，更快

将来，这些想法将有助于降低安全关键软件的开发成本和上市时间。这可以使高科技医疗保健更加实惠，从而使每个人都可以使用。此外，Neele的技术可以帮助消除飞机等系统中的危险错误。当前，Neele的思想的应用以及一般的模型检查需要大量的专业知识。为了能够被广泛采用，有必要开发一个全自动系统来决定哪种方法最适合特定应用。