Representing software usage models with stochastic automata networks

ACM International Conference Proceeding Series

Volumn 27, Issue , 2002, Pages 401-407

  Farina, André G ^a   Fernandes, Paulo ^a   Oliveira, Flávio M ^a  

^a PONTIFICAL CATHOLIC UNIVERSITY OF RIO GRANDE DO SUL   (Brazil)

Author keywords

statistical testing; stochastic automata networks; usage models

Indexed keywords

DISCRETE STATE; MARKOV CHAIN; NUMBER OF STATE; PERFORMANCE EVALUATION; SAN MODELS; SOFTWARE TOOL; SOFTWARE USAGE MODELS; STATISTICAL TESTING; STOCHASTIC AUTOMATA NETWORKS; USAGE MODELS;

AUTOMATA THEORY; COMPUTER SOFTWARE; KNOWLEDGE ENGINEERING; MARKOV PROCESSES; ROBOTS; STOCHASTIC MODELS; STOCHASTIC SYSTEMS; TRANSLATION (LANGUAGES);

MODELS;

EID: 77953765627     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/568760.568830     Document Type: Conference Paper

References (16)

1. CPTS Project: Centro de Pesquisa em Teste de Software (Research center on software test). HP-Brasil/PUCRS, http://www.cpts.pucrs.br
2. A.G.Farina, F.M.Oliveira. A comparison between usage modeling formalisms for statistical software testing. Research Report nb. 23, CPPGCC-PUCRS, Porto Alegre, Brazil, March 2002. (available at wwww.inf.pucrs.br/tr/tr023.pdf)
3. P.Fernandes. Méthodes numériques pour la solution de systèmes Markoviens à grand espace d'états. INPG, Grenoble, France, 1998. (Ph.D. thesis)
4. P.Fernandes, B.Plateau, W.J.Stewart. Efficient descriptor-vector multiplication in stochastic automata networks. Journal of the ACM, v. 45(3): 381-414, 1998. (Pubitemid 128506631)
5. C.Kallepalli, J.Tian. Measuring and Modeling Usage and Reliability for Statistical Web Testing. IEEE Transactions on Software Engineering, v. 27(11): 1023-1036, 2001. (Pubitemid 33106030)
6. J.D.Musa. Software reliability engineering. McGraw-Hill, 1998.
7. PEPS Project: Performance Evaluation of Parallel Systems. ID-INRIA/IMAG/PUCRS, http://www-apache.imag.fr/software/peps/
8. B.Plateau. De l'Evaluation du Paralllisme et de la Synchronisation. Paris-Sud, Orsay, France, 1984. (Ph.D. thesis)
9. B.Plateau, K.Atif. Stochastic automata networks for modelling parallel systems. IEEE transactions on software engineering, v. 17(10): 1093-1108, 1991. (Pubitemid 21722752)
10. K.Sayre. Improved techniques for software testing based on Markov chain usage models. University of Tennessee, Knoxville, USA, 1999. (Ph.D. thesis)
11. W.J.Stewart. Introduction to the numerical solution of Markov chains. Princeton University Press, 1994.
12. J.Tian, E.Lin. Unified Markov Models for Software Testing, Performance Evaluation, and Reliability Analysis. In: Proceedings of the 4th ISSAT - International Conference on Reliability and Quality in Design, Seatle, USA, August 12-14, 1998.
13. C.Trammel. Quantifying the reliability of software: statistical testing based on a usage model. In: Proceedings of the 2nd ISSES - International Symposium on Software Engineering Standards, Montreal, Canada, August 21-25, 1995.
14. K.S.Trivedi. Probability & statistics with reliability, queueing and computer science applications. Prentice-Hall, 1982.
15. G.H.Walton, J.H.Poore. Generating transposition probabilities to support model-based software testing. Software Practice and Experience, v. 30: 1095-1106, John Wiley & Sons, 2000.
16. J.A.Whittaker, M.G.Thomason. A Markov chain model for statistical software testing. IEEE Transactions on Software Engineering, v. 20(10): 812-824, 1994.