Statistical testing for cleanroom software engineering
Statistical testing for cleanroom software engineering
复制标题
洁净室软件工程的统计测试
DOI：
--
复制
发表时间：
1992
期刊：
影响因子：
--
通讯作者：
J. Poore
中科院分区：
文献类型：
--
作者：
J. Whittaker;J. Poore
洁净室软件工程需要由独立代理进行统计测试，以证明软件质量。统计软件测试是一个正式的过程，涉及从预期使用环境中采样以及精确测量此类统计实验中固有的随机变量的属性。进行统计测试的第一步是确定软件在其预期环境中的使用分布。该分布是软件测试序列随机生成器的基础。为了实现这种分发，使用软件规范和任何可用的使用信息来执行使用分析。使用分析包括对规范文档进行自上而下的结构调查，建立一组使用状态并定义该组的排序。本文详细描述了使用分析和推理过程，包括对随后的马尔可夫链的各种计算。制定了停止标准并提出了离散软件可靠性模型。<<ETX>>
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.<<ETX>>