DocumentCode :
2871453
Title :
Statistical testing for cleanroom software engineering
Author :
Whittaker, James A. ; Poore, J.H.
Author_Institution :
Dept. of Comput. Sci., Tennessee Univ., Knoxville, TN, USA
Volume :
ii
fYear :
1992
fDate :
7-10 Jan 1992
Firstpage :
428
Abstract :
Cleanroom software engineering requires statistical testing by an independent agent for the purpose of certifying software quality. Statistical software testing is a formal process that involves sampling from the intended usage environment and the precise measurement of properties of random variables inherent in such a statistical experiment. The first step in conducting a statistical test is to determine the usage distribution for the software in its intended environment. This distribution is the basis for a random generator of test sequences for the software. In order to achieve this distribution, a usage analysis is performed using the software specification and any available usage information. The usage analysis consists of a top down, structural investigation of the specification document that establishes a set of usage states and defines an ordering on this set. The paper describes in detail the usage analysis and inference procedure including various computations on the ensuing Markov chains. Stopping criteria are developed and a discrete software reliability model is presented
Keywords :
program testing; software reliability; statistical analysis; cleanroom software engineering; random generator; software quality; software reliability model; software specification; statistical testing; test sequences; usage analysis; usage distribution; Information analysis; Performance analysis; Random variables; Sampling methods; Software engineering; Software measurement; Software performance; Software quality; Software testing; Statistical analysis;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
System Sciences, 1992. Proceedings of the Twenty-Fifth Hawaii International Conference on
Conference_Location :
Kauai, HI
Print_ISBN :
0-8186-2420-5
Type :
conf
DOI :
10.1109/HICSS.1992.183256
Filename :
183256
Link To Document :
بازگشت