荷兰科学家研发软件故障检查技术 可快速清除汽车软件故障

如今，计算机和软件比以往任何时候都更重要。在汽车、飞机和医疗设备等系统中，在没有重大缺陷或“故障”的情况下执行软件至关重要。据外媒报道，荷兰埃因霍温理工大学的博士生Thomas Neele开发了三种基于模型检查的技术，以更智能、更快地检测软件故障。

Thomas Neele模型检查是最严格的软件检查技术之一，它可以检查软件系统可以完成的一切，它可以处于的“状态”，以及它是否可以按要求工作。软件通常由许多可以并行工作的部件组成，这可能导致需要检查的部件数量激增，导致检查模型的成本高昂，甚至可能最终导致无法对其进行管理。Neele探索了一种通过减少需要检查的零件数量来解决这个问题的新方法。Neele开发的三种技术有一个共同点：它们考虑了软件系统状态的要求，这些额外的信息使他们更容易理解哪些部分不需要检查。为了同时观察系统的行为和需求，Neele首先开发了一种将行为和需求相结合的结构化方法来显示信息。第一种技术通过将相似的状态分组在一起，减少了需要检查的状态数量，甚至可以处理无限数量的状态。第二种技术可以检查可以并行工作的软件部分有时是否独立执行任务。在这种情况下，没有必要检查所有可能的状态。最后一种技术是检查某些元素是否相关，如果不相关，则删除它们。在未来，上述想法将有助于降低研发成本，缩短安全关键软件的上市时间，并使高科技医疗服务更便宜，从而让更多人享受此类服务。此外，Neele的技术还可以帮助消除飞机和汽车等系统的危险故障。目前，应用Neele的思想和模型检查方法需要大量的专业知识。为了能够大规模采用其技术，有必要开发一个完全自动化的系统，以确定哪种方法最适合特定的应用。

标签：

汽车资讯热门资讯