期刊名称：International Journal of Software Engineering & Applications (IJSEA)
印刷版ISSN：0976-2221
电子版ISSN：0975-9018
出版年度：2010
卷号：1
期号：2
页码：14
出版社：Academy & Industry Research Collaboration Center (AIRCC)
摘要：Software Testing is the process of testing the software in order to ensure that it is free of errors andproduces the desired outputs in any given situation. Model based testing is an approach in whichsoftware is viewed as a set of states. A usage model describes software on the basis of its statistical usagedata. One of the major problems faced in such an approach is the generation of optimal sets of testsequences. The model discussed in this paper is a Markov chain based usage model. The analyticaloperations and results associated with Markov chains make them an appropriate choice for checking thefeasibility of test sequences while they are being generated. The statistical data about the estimated usagehas been used to build a stochastic model of the software under test. This paper proposes a technique togenerate optimized test sequences from a markov chain based usage model. The proposed technique usesant colony optimization as its basis and also incorporates factors like cost and criticality of various statesin the model. It further takes into consideration the average number of visits to any state and the trade-offbetween cost considerations and optimality of the test coverage.
关键词：Model Based Testing; Software Testing; Markov Chain; Ant Colony Optimization; usage model; test;sequence generation; stochastic process
