Uncertainty-wise test case generation and minimization for Cyber-Physical Systems

Uncertainty-wise test case generation and minimization for Cyber-Physical Systems
复制标题

网络物理系统的不确定性测试用例生成和最小化

DOI:
10.1016/j.jss.2019.03.011
复制
发表时间:
2019-07
影响因子:
3.5
通讯作者:
Tao Yue
Tao Yue
中科院分区:
计算机科学2区
文献类型:
--
作者:
Man Zhang;Shaukat Ali;Tao Yue

文献摘要

参考文献

被引文献

相似文献

网络物理系统(CPS)通常在高度不确定的环境条件下运行,这需要开发测试方法,这些方法必须明确考虑测试设计、测试生成和测试优化中的不确定性。朝着这个方向,我们提出了一套不确定性明智的测试用例生成和测试用例最小化策略,依赖于测试准备模型明确指定的主观不确定性。基于不确定性理论和多目标搜索,提出了两种测试用例生成策略和四种测试用例最小化策略。这些策略包括一种新的方法,设计和引入不确定性源的环境中,在测试执行和一组新的不确定性明智的测试判决。我们进行了广泛的实证研究,以选择最好的算法的八个常用的多目标搜索算法,为每一个四个最小化策略,与两个工业CPS案例研究的五个用例。最小化的测试用例集得到的最佳算法为每一个最小化策略上执行的两个真实的CPS。结果表明,我们最好的测试策略,设法观察到51%以上的不确定性,由于未知的不确定行为的物理环境的CPS相比,其他测试策略。此外,相同的测试策略设法观察到118%的未知不确定性相比,唯一的已知不确定性的数量。
Cyber-Physical Systems (CPSs) typically operate in highly indeterminate environmental conditions, which require the development of testing methods that must explicitly consider uncertainty in test design, test generation, and test optimization. Towards this direction, we propose a set of uncertainty-wise test case generation and test case minimization strategies that rely on test ready models explicitly specifying subjective uncertainty. We propose two test case generation strategies and four test case minimization strategies based on the Uncertainty Theory and multi-objective search. These strategies include a novel methodology for designing and introducing indeterminacy sources in the environment during test execution and a novel set of uncertainty-wise test verdicts. We performed an extensive empirical study to select the best algorithm out of eight commonly used multi-objective search algorithms, for each of the four minimization strategies, with five use cases of two industrial CPS case studies. The minimized set of test cases obtained with the best algorithm for each minimization strategy were executed on the two real CPSs. The results showed that our best test strategy managed to observe 51% more uncertainties due to unknown indeterminate behaviors of the physical environments of the CPSs as compared to the other test strategies. Also, the same test strategy managed to observe 118% more unknown uncertainties as compared to the unique number of known uncertainties.
DOI: 10.1002/int.20358
发表时间: 2009-07
影响因子: 7
作者:
Antonio J. Nebro;J. Durillo;F. Luna;B. Dorronsoro;E. Alba
通讯作者: Antonio J. Nebro;J. Durillo;F. Luna;B. Dorronsoro;E. Alba
DOI: 10.1016/s0019-9958(65)90241-x
发表时间: 1965-01-01
影响因子: --
作者:
ZADEH, LA
通讯作者: ZADEH, LA
DOI: 10.4324/9781849773607
发表时间: 2008
期刊: --
影响因子: --
作者:
M. Smithson;R. Attewell;Stephen Buckman;Ann Curthoys;Kate Delaney;Stephen Dovers;Liz. Furler;Alexander Grishin;J. Handmer;Steve Longford;John Mackey;Judith S Jones;Michael Moore;Michael McFadden;Paul Perkins;Pascal Perez;Stephen Pickard;A. Plant;J. Quiggin;Alison Ritter;Ian White;G. Bammer
通讯作者: M. Smithson;R. Attewell;Stephen Buckman;Ann Curthoys;Kate Delaney;Stephen Dovers;Liz. Furler;Alexander Grishin;J. Handmer;Steve Longford;John Mackey;Judith S Jones;Michael Moore;Michael McFadden;Paul Perkins;Pascal Perez;Stephen Pickard;A. Plant;J. Quiggin;Alison Ritter;Ian White;G. Bammer
DOI: 10.1109/icse.2004.1317431
发表时间: 2004-05
期刊: Proceedings. 26th International Conference on Software Engineering
影响因子: --
作者:
L. Briand;Y. Labiche;Yihong Wang
通讯作者: L. Briand;Y. Labiche;Yihong Wang
DOI: 10.1109/icst.2008.7
发表时间: 2008-04
期刊: 2008 1st International Conference on Software Testing, Verification, and Validation
影响因子: --
作者:
V. Garousi
通讯作者: V. Garousi