Measuring complexity and coverage of software specifications

Information and Software Technology

Volumn 42, Issue 12, 2000, Pages 859-872

  Walton, G H ^a   Poore, J H ^b  

^a University of Central Florida   (United States)

^b University of Tennessee Knoxville   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; MARKOV PROCESSES; MATHEMATICAL MODELS; OPTIMIZATION; PROBABILITY; SOFTWARE ENGINEERING; STATISTICAL TESTS;

SOFTWARE USAGE MODELS;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0034269563     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(00)00102-6     Document Type: Article

References (12)

1. R. Ash, Information Theory, Wiley, New York, 1966.
2. L. Ekroot, T.M. Cover, The entropy of Markov trajectories, IEEE Transactions on Information Theory 39 (4) (1993) 1418-1421.
3. A.M. Gibbons, Algorithmic Graph Theory, Cambridge University Press, Cambridge, 1985 (pp. 165).
4. J.G. Kemeny, J.L. Snell, Finite Markov Chains, Van Nostrand, Princeton, NJ, 1960.
5. C.D. Meyer Jr., The role of the group generalized in verse in the theory of finite Markov chains, SIAM Review 17 (1975) 443-464.
6. W. Oettli, On the solution set of a linear system with inaccurate coefficients, SIAM Journal of Numerical Analysis, Series B 2 (1) (1965) 115-118.
7. J.H. Poore, G.H. Walton, J.A. Whittaker, A constraint-based approach to the representation of software usage models, Information and Software Technology 42(12) (2000) 825-833.
8. C.E. Shannon, A mathematical theory of communication, Bell Systems Technical Journal 27 (1948) 379-423 (see also pp. 623-656).
9. J.L. Smith, Approximate stationary probability vectors of a finite markov chain, SIAM Journal of Applied Mathematics 20 (4) (1971) 612-618.
10. G.H. Walton, J.H. Poore, C.J. Trammell, Statistical testing of software based on a usage model, Software Practice & Experience 25 (1) (1995) 97-108.
11. J.A. Whittaker, J.H. Poore, Markov analysis of software specifications, ACM Transactions on Software Engineering and Methodology 2 (1)(1993) 93-106.
12. J.A. Whittaker, M.G. Thomason, Markov chain model for statistical software testing, IEEE Transactions on Software Engineering 30 (10) (1994) 812-824.