A constraint-based approach to the representation of software usage models

Information and Software Technology

Volumn 42, Issue 12, 2000, Pages 825-833

  Poore, J H ^a   Walton, G H ^b   Whittaker, J A ^c  

^a University of Tennessee Knoxville   (United States)

^b UNIVERSITY OF CENTRAL FLORIDA   (United States)

^c FLORIDA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Convex constraints; Markov chains; Software usage models

Indexed keywords

CONSTRAINT THEORY; MARKOV PROCESSES; MATHEMATICAL MODELS; MATHEMATICAL PROGRAMMING; PROBABILITY; SOFTWARE ENGINEERING; STATISTICAL TESTS;

CONVEX CONSTRAINTS; SOFTWARE USAGE MODELS;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0034270752     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(00)00101-4     Document Type: Article

References (11)

1. J.A. Whittaker, J.H. Poore, Markov analysis of software specifications, ACM Transactions on Software Engineering and Methodology 2 (1) (1993) 93-106.
2. J.A. Whittaker, M.G. Thomason, A Markov chain model for statistical software testing, IEEE Transactions on Software Engineering 30 (10) (1994) 812-824.
3. G.H. Walton, Generating Transition Probabilities for Markov Chain Usage Models, PhD Dissertation, University of Tennessee, Knoxville, TN, 1995.
4. G.H. Walton, J.H. Poore, C.J. Trammell, Statistical testing of software based on a usage model, Software Practice & Experience 24 (1) (1995) 97-108.
5. K. Agrawal, J.A. Whittaker, Experience in applying statistical testing to a real-time, embedded software system, Proceedings of the Pacific Northwest Software Quality Conference, 1994.
6. C.E. Shannon, A mathematical theory of communication, Bell Systems Technical Journal 27 (1948) 379-423 (see also pp. 623-056).
7. J.N. Kapur, Maximum Entropy Models in Science and Engineering, Wiley, New York, 1989.
8. R. Ash, Information Theory, Wiley, New York, 1965.
9. D.P. Bertsekas, J.N. Tsitsiklis, Parallel and Distributed Computation: Numerical Methods, Prentice Hall, Englewood Cliffs, NJ, 1989.
10. P.E. Gill, W. Murray, M.H. Wright, Practical Optimization, Academic Press, New York, 1981.
11. P.A. Hausler, R.C. Linger, C.J. Trammell, Adopting cleanroom software engineering with a phased approach, IBM Systems Journal 33 (1) (1994) 89-109.