用于大规模测试的Autosar库建模
软件工程
2017-03-21 v1
摘要
我们展示了一种使用QuickCheck工具和基于属性的规约对大型软件项目进行基于模型测试的特定方法和技术。我们的规约是非常精确的、有状态的被测软件(SUT)模型。在我们的方法中，我们定义(a)有效函数调用序列(公共API)的形式化描述，(b)检查每次调用有效性的后置条件，以及(c)定义并验证外部系统交互(SUT调用外部API)的调用规约。QuickCheck工具从这些规约自动生成并执行测试。在商业上，该方法和工具已用于测试基于Autosar标准工业开发的汽车库的大部分。在本文中，我们通过一个由Autosar指定的环形缓冲区来示例我们的方法，以展示QuickCheck基于模型测试方法的能力。我们的示例相比于商业QuickCheck模型较小，但忠实地解决了许多相同的挑战。
引用
@article{arxiv.1703.06574,
title = {Modelling of Autosar Libraries for Large Scale Testing},
author = {Wojciech Mostowski and Thomas Arts and John Hughes},
journal= {arXiv preprint arXiv:1703.06574},
year = {2017}
}
备注
In Proceedings MARS 2017, arXiv:1703.05812