Spelling suggestions: "subject:"1ug prioritization"" "subject:"2ug prioritization""
1 |
Prioritization of Software Bugs using an SMT Solver / Prioritering av mjukvarubuggar med en SMT-lösareRasoul, Sirwan January 2021 (has links)
Many bugs are reported during the software maintenance phase, and in order for asoftware product to have a longer life, it must effectively handle and resolve thesebugs. As a result, when cost and time are considered, a prioritized list of bugs isrequired for all products. Due to some factors, such as user expertise, the numberof bugs, the priority methodology, and how critical the software is, developing a prioritization technique that includes user inputs and preset bug constraints to producea final prioritization list of software bugs is challenging. Our approach to solvingthe prioritization problem involves combining an SMT solver with user interactionto provide the best possible solution. Our findings suggest that this strategy outperforms both random and non-interactive bug prioritization methods.
|
Page generated in 0.1344 seconds