We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Spectral Test Generation for Boolean Expressions.
- Authors
Ayav, Tolga
- Abstract
This paper presents a novel method for testing Boolean expressions. It is based on spectral, aka Fourier analysis of Boolean functions which is exploited to generate test inputs. The approach has three important contributions: (i) It generates a relatively small test suite with a high capability of fault detection, (ii) The test suite is prioritized such that expected fault detection time is shorter, (iii) It is entirely mathematical relying on a simple and straightforward formula. The proposed method is formulated and evaluations are performed on both synthetic and real expressions. It is also compared with two common test generation criteria, MC/DC and Minimal MUMCUT. Evaluations show that the test suite generated by the spectral approach is relatively small while expressing the capability of a better and quicker fault detection. The approach presented in this paper provides a useful insight into how spectral/Fourier analysis of Boolean functions can be exploited in software testing.
- Subjects
BOOLEAN expressions; FOURIER analysis; BOOLEAN functions; COMPUTER software testing; TEST methods
- Publication
International Journal of Software Engineering & Knowledge Engineering, 2023, Vol 33, Issue 8, p1239
- ISSN
0218-1940
- Publication type
Article
- DOI
10.1142/S021819402350033X