The test case generation problem can be stated as an optimization problem whereby the closeness of test cases to violating the postcondition of a formal specification is maximized, subject to satisfying its precondition. This is usually implemented by constructing an objective function which provides a real-valued estimate of how distant all of the constraints are from being violated, and then trying to minimize it. A problem with this approach is that such objective functions may contain plateaux, which make their minimization hard. We propose a similar approach, grounded on fuzzy logic, which uses, instead of a "distance from violation" objective function, a fuzzy degree of proximity to postcondition violation and produces plateaux-free objective functions by construction. The approach is illustrated with the help of a case study on the functional (black-box) testing of computer programs.
Fuzzy logic based objective function construction for evolutionary test generation / A.G.B. Tettamanzi (DAGSTUHL SEMINAR PROCEEDINGS). - In: Evolutionary test generation / [a cura di] H. Schlingloff, T.E.J. Vos, J. Wegener. - Dagstuhl : Schloss Dagstuhl : Leibniz center for informatics, 2009. (( convegno International Conference and Research Center for Computer Science : 24 through 29 September tenutosi a Wadern nel 2008.
Fuzzy logic based objective function construction for evolutionary test generation
A.G.B. TettamanziPrimo
2009
Abstract
The test case generation problem can be stated as an optimization problem whereby the closeness of test cases to violating the postcondition of a formal specification is maximized, subject to satisfying its precondition. This is usually implemented by constructing an objective function which provides a real-valued estimate of how distant all of the constraints are from being violated, and then trying to minimize it. A problem with this approach is that such objective functions may contain plateaux, which make their minimization hard. We propose a similar approach, grounded on fuzzy logic, which uses, instead of a "distance from violation" objective function, a fuzzy degree of proximity to postcondition violation and produces plateaux-free objective functions by construction. The approach is illustrated with the help of a case study on the functional (black-box) testing of computer programs.File | Dimensione | Formato | |
---|---|---|---|
08351.TettamanziAndrea.Paper.2016.pdf
accesso aperto
Tipologia:
Publisher's version/PDF
Dimensione
235.52 kB
Formato
Adobe PDF
|
235.52 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.