Using Squeeziness to test component-based systems defined as Finite State Machines
Using Squeeziness to test component-based systems defined as Finite State Machines
复制标题
使用 Squeeziness 测试定义为有限状态机的基于组件的系统
DOI：
10.1016/j.infsof.2019.04.012
复制
发表时间：
2019
影响因子：
3.9
通讯作者：
Ibias A
中科院分区：
文献类型：
--
作者：
Ibias A
测试是用于提高软件系统可靠性的主要验证技术。失败的错误传播会大大降低测试的有效性。这种情况发生在被测系统执行错误语句时，系统的状态受到此错误的影响，但观察到预期的输出。挤压是一个信息理论的措施，旨在量化失败的错误传播的可能性和以前的工作已经表明，挤压强烈相关的失败的错误传播在白盒场景。尽管它的有用性，这一措施，在其目前的配方，不能使用在一个黑盒子的情况下，我们没有访问的源代码的components.Objective：本文的主要目标是适应挤压到一个黑盒子的情况下，并评估它是否可以用来估计的可能性，一个组件的软件系统介绍失败的错误Propagation.Method：首先，我们定义了我们的黑盒子的情况。具体来说，我们考虑了组件从另一个组件接收输入时引入的失败错误传播。我们对此很感兴趣，因为这样的故障屏蔽使得在测试时更难找到前一个组件中的故障。其次，我们在这个框架中定义了挤压的概念。最后，我们进行了实验，以评估我们的measure.Results：我们的实验表明，失败的错误传播和Squeeziness.Conclusion的可能性之间有很强的相关性，我们可以得出结论，我们的新概念的Squeeziness. Conclusion可以被用来作为一个衡量，估计失败的错误传播的概率被引入的组件。因此，它有可能被用作可测试性的度量，允许测试人员评估测试整个系统或单个组件的容易程度。我们考虑了一个简单的模型（有限状态机），但概念和结果可以扩展/适应处理更复杂的基于状态的模型，特别是那些包含数据的模型。
Context:Testing is the main validation technique used to increase the reliability of software systems. The effectiveness of testing can be strongly reduced byFailed Error Propagation. This situation happens when the System Under Test executes a faulty statement, the state of the system is affected by this fault, but the expected output is observed. Squeeziness is an information theoretic measure designed to quantify the likelihood of Failed Error Propagation and previous work has shown that Squeeziness correlates strongly with Failed Error Propagation in white-box scenarios. Despite its usefulness, this measure, in its current formulation, cannot be used in a black-box scenario where we do not have access to the source code of the components.Objective:The main goal of this paper is to adapt Squeeziness to a black-box scenario and evaluate whether it can be used to estimate the likelihood that a component of a software system introduces Failed Error Propagation.Method:First, we defined our black-box scenario. Specifically, we considered the Failed Error Propagation that a component introduces when it receives its input from another component. We were interested in this since such fault masking makes it more difficult to find faults in thepreviouscomponent when testing. Second, we defined our notion of Squeeziness in this framework. Finally, we carried out experiments in order to evaluate our measure.Results:Our experiments showed a strong correlation between the likelihood of Failed Error Propagation and Squeeziness.Conclusion:We can conclude that our new notion of Squeeziness can be used as a measure that estimates the probability of Failed Error Propagation being introduced by a component. As a result, it has the potential to be used as a measure of testability, allowing testers to assess how easy it is to test either the whole system or a single component. We considered a simple model (Finite State Machines) but the notions and results can be extended/adapted to deal with more complex state-based models, in particular, those containing data.
登录
查看更多内容
通过统计估计对信息泄漏进行正式界定
DOI：
--
发表时间：
2014
期刊：
Information Security Conference
影响因子：
--
作者：
Michele Boreale;Michela Paolini
通讯作者：
Michela Paolini
可测试性、故障大小和域与范围比：永恒的三角形
DOI：
--
发表时间：
2000
期刊：
International Symposium on Software Testing and Analysis
影响因子：
--
作者：
M. Woodward;Z. Al
通讯作者：
Z. Al
故障模型驱动的测试从有限状态模型推导：带注释的参考书目
DOI：
--
发表时间：
2000
期刊：
Modeling and Verification of Parallel Processes
影响因子：
--
作者：
A. Petrenko
通讯作者：
A. Petrenko
DOI：
10.1016/j.ipl.2012.01.004
发表时间：
2012
期刊：
Inf. Process. Lett.
影响因子：
--
作者：
D. Clark;R. Hierons
通讯作者：
R. Hierons
基于状态的测试工具的系统回顾
DOI：
--
发表时间：
2013
期刊：
International Journal on Software Tools for Technology Transfer (STTT)
影响因子：
--
作者：
M. Shafique;Y. Labiche
通讯作者：
Y. Labiche