Title :
Using Fuzzy Logic and Symbolic Execution to Prioritize UML-RT Test Cases
Author :
Rapos, Eric J. ; Dingel, Juergen
Author_Institution :
Sch. of Comput., Queen´s Univ., Kingston, ON, Canada
Abstract :
The relative ease of test case generation associated with model-based testing can lead to an increased number of test cases being identified for any given system; this is problematic as it is becoming near impossible to run (or even generate) all of the possible tests in available time frames. Test case prioritization is a method of ranking the tests in order of importance, or priority based on criteria specific to a domain or implementation, and selecting some subset of tests to generate and run. Some approaches require the generation of all tests, and simply prioritize the ones to be run, however we propose an approach that would prevent unnecessary generation of tests through the use of symbolic execution trees to determine which tests provide the most benefit to coverage of execution. Our approach makes use of fuzzy logic, specifically fuzzy control systems, to prioritize test cases generated from these execution; the prioritization is based on natural language rules about testing priority. Within this paper we present our motivation, some background research, our methodology and implementation, results, and conclusions.
Keywords :
Unified Modeling Language; fuzzy logic; program testing; real-time systems; trees (mathematics); UML-RT test case generation; fuzzy control system; fuzzy logic; model-based testing; natural language rules; symbolic execution trees; test case prioritization; Computational modeling; Fuzzy control; Fuzzy logic; Fuzzy sets; Natural languages; Testing; Unified modeling language;
Conference_Titel :
Software Testing, Verification and Validation (ICST), 2015 IEEE 8th International Conference on
Conference_Location :
Graz
DOI :
10.1109/ICST.2015.7102610