一种自组织算法的隔离测试方法
软件工程
2018-01-24 v1
摘要
我们提供了一种测试自组织（SO）算法的系统方法。此类测试领域面临的主要挑战包括高度分支的状态空间、可能的错误掩盖、机制的交织，以及由SO算法的主要特征（一方面是其固有的非确定性行为，另一方面是其动态环境）导致的预言机问题。我们SO算法测试框架成功的关键在于自动化，因为手动应对分支的状态空间几乎是不可能的。测试自动化基于模型测试方法，其中使用概率环境配置文件来导出测试用例，并在隔离的SO算法上执行和评估。除了隔离之外，我们还能够获得针对特定应用具有代表性的测试结果。为了说明问题，我们将我们框架的概念应用于基于划分的SO算法，并在现有智能电网应用的背景下提供了评估。
引用
@article{arxiv.1606.02442,
title = {An Approach for Isolated Testing of Self-Organization Algorithms},
author = {Benedikt Eberhardinger and Gerrit Anders and Hella Seebach and Florian Siefert and Alexander Knapp and Wolfgang Reif},
journal= {arXiv preprint arXiv:1606.02442},
year = {2018}
}
备注
Preprint of Eberhardinger, B., Anders, G., Seebach, H., Siefert, F., Knapp, A., Reif, W.: An approach for isolated testing of self-organization algorithms. In: de Lemos, R., et al. (eds.) Software Engineering for Self-Adaptive Systems III, LNCS, vol. 9640. Springer (2016)