关于支持科学新闻
如果您喜欢这篇文章，请考虑通过以下方式支持我们屡获殊荣的新闻报道 订阅。通过购买订阅，您将有助于确保有关塑造我们当今世界的发现和思想的有影响力的故事的未来。
尽管计算机软件在我们日常生活中越来越重要，但软件工程师很少分析他们的设计以确保可靠性。随着最近软件的开发，这种情况开始改变
Alloy结合了一种简化复杂软件设计建模的语言和一个分析引擎，该引擎以自动化方式广泛检查概念和结构缺陷，将设计视为需要解决的巨大难题。
在不久的将来，类似于Alloy的工具将通过将程序开发基于更强大和建设性的设计实践来大大提高软件的可靠性。