4.5 Article

Using mutual information to test from Finite State Machines: Test suite selection

Journal

INFORMATION AND SOFTWARE TECHNOLOGY
Volume 132, Issue -, Pages -

Publisher

ELSEVIER
DOI: 10.1016/j.infsof.2020.106498

Keywords

Formal approaches to testing; Information Theory; Mutual information; Finite State Machines

Funding

  1. Spanish MINECO/FEDER [RTI2018-093608-B-C31]
  2. Region of Madrid, Spain [S2018/TCS-4314]
  3. EIE Funds of the European Union
  4. Region of Madrid - Complutense University of Madrid, Spain [PR65/19-22452]
  5. UK EPSRC [EP/P006116/2]

Ask authors/readers for more resources

The paper introduces the concept of Mutual Information to select test suites for Finite State Machines (FSM) and evaluates its effectiveness compared to current measures. Experimental results suggest that the proposed measure outperforms existing ones, with faster computation time and a potential for automating test generation.
Context: Mutual Information is an information theoretic measure designed to quantify the amount of similarity between two random variables ranging over two sets. In this paper, we adapt this concept and show how it can be used to select a good test suite to test from a Finite State Machine (FSM) based on a maximise diversity approach. Objective: The main goal of this paper is to use Mutual Information in order to select test suites to test from FSMs and evaluate whether we obtain better results, concerning the quality of the selected test suite, than current state-of-the-art measures. Method: First, we defined our scenario. We considered the case where we receive two (or more) test suites and we have to choose between them. We were interested in this scenario because it is a recurrent case in regression testing. Second, we defined our notion based on Mutual Information: Biased Mutual Information. Finally, we carried out experiments in order to evaluate the measure. Results: We obtained experimental evidence that demonstrates the potential value of the measure. We also showed that the time needed to compute the measure is negligible when compare to the time needed to apply extra testing. We compared our measure with a state-of-the-art test selection measure and showed that our proposal outperforms it. Finally, we have compared our measure with a notion of transition coverage. Our experiments showed that our measure is slightly worse than transition coverage, as expected, but its computation is 10 times faster. Conclusion: Our experiments showed that Biased Mutual Information is a good measure for selecting test suites, outperforming the current state-of-the-art measure, and having a (negative) correlation to fault coverage. Therefore, we can conclude that our new measure can be used to select the test suite that is likely to find more faults. As a result, it has the potential to be used to automate test generation.

Authors

I am an author on this paper
Click your name to claim this paper and add it to your profile.

Reviews

Primary Rating

4.5
Not enough ratings

Secondary Ratings

Novelty
-
Significance
-
Scientific rigor
-
Rate this paper

Recommended

No Data Available
No Data Available