International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
|
Volume 46 - Issue 14 |
Published: May 2012 |
Authors: Abhinav Kashyap, Thomas Holzer, Shahryar Sarkani, Tim Eveleigh |
![]() |
Abhinav Kashyap, Thomas Holzer, Shahryar Sarkani, Tim Eveleigh . Model based Testing for Software Systems: An Application of Markov Modulated Markov Process. International Journal of Computer Applications. 46, 14 (May 2012), 13-20. DOI=10.5120/6976-9491
@article{ 10.5120/6976-9491, author = { Abhinav Kashyap,Thomas Holzer,Shahryar Sarkani,Tim Eveleigh }, title = { Model based Testing for Software Systems: An Application of Markov Modulated Markov Process }, journal = { International Journal of Computer Applications }, year = { 2012 }, volume = { 46 }, number = { 14 }, pages = { 13-20 }, doi = { 10.5120/6976-9491 }, publisher = { Foundation of Computer Science (FCS), NY, USA } }
%0 Journal Article %D 2012 %A Abhinav Kashyap %A Thomas Holzer %A Shahryar Sarkani %A Tim Eveleigh %T Model based Testing for Software Systems: An Application of Markov Modulated Markov Process%T %J International Journal of Computer Applications %V 46 %N 14 %P 13-20 %R 10.5120/6976-9491 %I Foundation of Computer Science (FCS), NY, USA
Software systems require the validation of design features through regression testing. Two primary challenges in system validation are ensuring that test suites reflect actual system usage, and managing the test suite size to keep testing costs low while keeping testing results meaningful. To create a test environment that is close to actual system usage, we propose using Markov chains to create system behavioral models from available system usage data. Knowing that certain factors are not captured in system usage, we will use the Markov Modulated Markov Process to model hidden processes. The models are used to create test plans that employ a unique, likelihood-based, test prioritization scheme. The proposed methodology not only provides a stochastic modeling framework for software systems, but also considerably improves the coverage factor of generated test suites. This paper also presents a real-world web application case study to demonstrate the capabilities of the proposed system validation methodology.