dc.contributor.author | Ahishakiye, Faustin | |
dc.contributor.author | Requeno Jarabo, Jose Ignacio | |
dc.contributor.author | Kristensen, Lars Michael | |
dc.contributor.author | Stolz, Volker | |
dc.date.accessioned | 2022-03-10T09:57:30Z | |
dc.date.available | 2022-03-10T09:57:30Z | |
dc.date.created | 2021-11-21T21:26:26Z | |
dc.date.issued | 2021 | |
dc.identifier.citation | Ahishakiye, F., Requeno Jarabo, J. I., Kristensen, L. M., & Stolz, V. (2021). MC/DC test cases generation based on BDDs. In S. Qin, J. Woodcock, & W. Zhang (Eds.), SETTA2021: 7th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (pp. 178-197). Springer International Publishing. | en_US |
dc.identifier.isbn | 978-3-030-91265-9 | |
dc.identifier.uri | https://hdl.handle.net/11250/2984198 | |
dc.description | This version of the article has been accepted for publication, after peer review (when applicable) and is subject to Springer Nature’s AM terms of use, but is not the Version of Record and does not reflect post-acceptance improvements, or any corrections. The Version of Record is available online at: https://doi.org/10.1007/978-3-030-91265-9_10 | en_US |
dc.description.abstract | We present a greedy approach to test-cases selection for single decisions to achieve MC/DC-coverage of their Boolean conditions. Our heuristics take into account “don’t care” inputs through three-valued truth values that we obtain through a compact representation via reduced-ordered binary decision diagrams (roBDDs). In contrast to an exhaustive, resource-consuming search for an optimal solution, our approach quickly gives frequently either optimal results, or otherwise produces “good enough” results (close to the optimal size) with little complexity. Users obtain different—possibly better—solutions by permuting the order of conditions when constructing the BDD, allowing them to identify the best solutions within a given time budget. We compare variations on metrics that guide the heuristics. | en_US |
dc.language.iso | eng | en_US |
dc.publisher | Springer | en_US |
dc.relation.ispartof | SETTA2021: 7th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications | |
dc.title | MC/DC Test Cases Generation Based on BDDs | en_US |
dc.type | Chapter | en_US |
dc.type | Peer reviewed | en_US |
dc.description.version | acceptedVersion | en_US |
dc.source.pagenumber | 178-197 | en_US |
dc.source.volume | 13071 | en_US |
dc.source.journal | Lecture Notes in Computer Science | en_US |
dc.identifier.doi | 10.1007/978-3-030-91265-9_10 | |
dc.identifier.cristin | 1957005 | |
dc.relation.project | Norges forskningsråd: 309612 | en_US |
cristin.ispublished | true | |
cristin.fulltext | postprint | |