Markov Analysis of Software Specifications

ACM Transactions on Software Engineering and Methodology (TOSEM)

Volumn 2, Issue 1, 1993, Pages 93-106

  Whittaker, James A ^a   Poore, J H ^b  

^a Software Engineering Technology Inc ^*  (United States)

^b UNIVERSITY OF TENNESSEE   (United States)

Author keywords

box structure method; certification; Cleanroom; Markov chain; software specification; statistical test; stochastic process; usage distribution

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER HARDWARE DESCRIPTION LANGUAGES; DATA STRUCTURES; FINITE AUTOMATA; NUMERICAL ANALYSIS; PARAMETER ESTIMATION; PROGRAM DEBUGGING; PROGRAM DOCUMENTATION; QUALITY ASSURANCE; RANDOM PROCESSES; SOFTWARE ENGINEERING; STATISTICAL TESTS;

BOX STRUCTURE METHOD; CERTIFICATION; CLEANROOM SOFTWARE ENGINEERING; MARKOV ANALYSIS; SOFTWARE SPECIFICATIONS; STOCHASTIC PROCESS; USAGE DISTRIBUTION;

COMPUTER SOFTWARE;

EID: 0027347917     PISSN: 1049331X     EISSN: 15577392     Source Type: Journal    
DOI: 10.1145/151299.151326     Document Type: Article

References (12)

1. ASH, R. Information Theory, Wiley, New York, 1966.
2. CURRIT, P. A., DYER, M., AND MILLS, H. D. Certifying the reliability of software. IEEE Trans. Softw. Eng., SE-12, 1, 3-11 (Jan. 1986), 3-11.
3. FELLER, W. An Introduction to Probability Theory and its Applications Vol 1, Wiley, New York, 1950.
4. FUHRER, D., MAO, H., AND POORE, J. H. OS/2 Cleanroom environment: A progress report on a Cleanroom tools development project. In Proceedings of the 25th Hawaii International Conference on Systems Science, IEEE Computer Society Press, Vol. 2, 1992, pp. 449-458.
5. LINGER, R. C., AND MILLS, H. D. A case study in Cleanroom software engineering: The IBM Cobol restructuring facility. In Proceedings of COMPSAC '88, IEEE, 1988
6. MILLS, H. D., DYER, M., AND LINGER, R. C. Cleanroom software engineering. IEEE Software (Sept. 1987), 19-24.
7. MILLS, H. D., LINGER, R. C., AND HEVNER, A. R. Box structured information systems. IBM Syst. J. 26, (1987).
8. MILLS, H. D., AND POORE, J. H. Bringing software under statistical quality control. Quality Progress, (Nov. 1988), 52-55.
9. POORE, J. H., MILLS, H. D., HOPKINS, S. L., AND WHITTAKER, J. A. Cleanroom reliability manager: A case study using Cleanroom with box structures ADL. Software Engineering Technology, Inc., IBM STARS CDRL 1940, May 1990.
10. POORE, J. H., MUTCHLER, D., AND MILLS, H. D. STARS-Cleanroom reliability: Cleanroom ideas in the STARS environment. Software Engineering Technology, Inc., IBM STARS CDRL 1710, Sept. 1989.
11. SEXTON, B. C. Statistical testing of software, Master's thesis, Dept. of Computer Science, Univ. of Tennessee, 1988.
12. THOMASON, M. G. Generating functions for stochastic context-free grammars. Int. J. Pattern Recogn. Artif. Intell. 4, 4 (April 1990), 553-572.