University of Minnesota
Software Engineering Center

You are here

Finding Robust Solutions in Requirements Models

Date of Publication: 
March 2010
Associated Research Groups: 
Publication Files: 
Solutions to non-linear requirements engineering problems may be "brittle"; i.e. small changes may dramatically alter solution effectiveness. Hence, it is not enough to just generate solutions to requirements problems- we must also assess solution robustness. The KEYS2 algorithm can generate decision ordering diagrams. Once generated, these diagrams can assess solution robustness in linear time. In experiments with real-world requirements engineering models, we show that KEYS2 can generate decision ordering diagrams in O(N 2). When assessed in terms of terms of (a) reducing inference times, (b) increasing solution quality, and (c) decreasing the variance of the generated solution, KEYS2 out-performs other search algorithms (simulated annealing, ASTAR, MaxWalkSat).
Journal of Automated Software Engineering archive Volume 17 Issue 1, March 2010
@article{gay2010finding, title={{Finding robust solutions in requirements models}}, author={Gay, G. and Menzies, T. and Jalali, O. and Mundy, G. and Gilkerson, B. and Feather, M. and Kiper, J.}, journal={Automated Software Engineering}, volume={17}, number={1}, pages={87--116}, issn={0928-8910}, year={2010}, publisher={Springer} }