软件开发人员使用建模来测试可靠性，但是由于软件定期更新，建模未来版本可能会花费宝贵的时间。

Allison Sullivan是德州大学阿灵顿分校计算机科学与工程系(CSE)的助理教授，最近从国家科学基金会获得了一笔为期三年、价值49万美元的资助，用于探索在不测试代码不变部分的情况下测试软件更新。

“软件变得越来越复杂。数百万行代码和多个开发人员很难创建一个软件模型，”Sullivan说。“所以，如果我们所做的只是添加一个功能，我们是否可以针对这个变化运行一个模型?如果是这样的话，我们就可以把测试代码的时间从通宵几个小时缩短到一个小时。”

使用名为Alloy的建模软件，Sullivan将专注于与模型交互的三种方式:编写、测试和综合。

在写作方面，研究将着眼于如何最大化地使用过去的情景。本文还将研究基于模型的哪些组件更改的新策略技术，并展示更改对用户的影响。

测试将包括编写模型、执行代码和观察模型所允许的内容。这包括对更改的代码进行推理的测试。然后，用户可以决定是允许特定的错误，还是纠正它们。

综合允许用户通过给模型提供一组预期的行为来改进测试，然后自动生成Java、C或c++程序来匹配这些行为。Sullivan说她希望开发一种方法，在模型上编写测试用例，并自动构建一个只查看更改而不重新运行整个过程的新模型。

“传统上，分析模型是非常昂贵的，”她说。“随着硬件的进步，现在应用软件来分析真实系统的模型更加可行，我们正在努力使这一过程更有效。”

CSE主席洪江表示，Sullivan的拨款非常重要，因为它将帮助软件开发人员改进他们的产品，同时也提高了效率。

“软件模型是测试的黄金标准，但是正确地编写一个模型并将其应用到大量的代码中，无论多么小的更改，都是耗时和低效的，”Jiang说。“沙利文博士的工作有可能使检测更容易、更好，从而提高质量。”

-由工程学院的Jeremy Agor撰写