概括
软件测试依赖于判断,但仅仅是结构覆盖可能会忽略故障. 通过输入空间覆盖措施来补充结构覆盖,可以确保彻底的软件保证,并验证足够的输入模型.
科学领域:
- 软件工程 软件工程 软件工程
- 计算机科学 计算机科学
- 质量保证 质量保证 质量保证
背景情况:
- 软件测试对于保证至关重要,但通常依赖于主观判断.
- 结构覆盖标准提高了测试的完整性,但可能无法检测罕见输入的故障.
- 现有的测试套件可能缺乏全面的输入多样性,导致潜在的软件漏洞.
研究的目的:
- 建议通过输入空间覆盖来补充结构覆盖措施.
- 突出输入空间覆盖面对识别软件故障的重要性.
- 为了证明结构和输入空间覆盖面之间的关系,用于验证输入模型.
主要方法:
- 在软件测试中审查现有的结构覆盖度量.
- 分析结构覆盖的局限性,以检测输入相关故障.
- 调查输入空间覆盖措施的实用性和应用.
- 检查结构覆盖和输入空间覆盖之间的相关性.
主要成果:
- 结构覆盖,虽然有价值,但不足以完全检测软件故障.
- 输入空间覆盖范围的测量可以识别仅仅通过结构覆盖而忽略的故障.
- 结构覆盖和输入空间覆盖指标之间存在关系.
- 输入空间覆盖提供了一种方法来验证输入模型的充分性.
结论:
- 结构覆盖必须增加输入空间覆盖,以确保强大的软件保证.
- 有效的输入空间覆盖增强了罕见的输入触发故障的识别.
- 输入空间覆盖的整合验证了定义的输入模型,提高了整体软件质量.
相关概念视频
Margin of Error
3.9K
The margin of error is also called the maximum error of an estimate. The margin of error is the maximum possible or expected difference between the observed sample parameter value and the actual population parameter value. For proportion, it is the maximum difference between the value of sample proportion obtained from the data and the true value of population proportion. As the true value of the population parameter is not known, the margin of error is calculated using the sample statistic.
3.9K
State Space Representation
151
The frequency-domain technique, commonly used in analyzing and designing feedback control systems, is effective for linear, time-invariant systems. However, it falls short when dealing with nonlinear, time-varying, and multiple-input multiple-output systems. The time-domain or state-space approach addresses these limitations by utilizing state variables to construct simultaneous, first-order differential equations, known as state equations, for an nth-order system.
Consider an RLC circuit, a...
Consider an RLC circuit, a...
151
Space Trusses: Problem Solving
529
A space truss is a three-dimensional counterpart of a planar truss. These structures consist of members connected at their ends, often utilizing ball-and-socket joints to create a stable and versatile framework. Due to its adaptability and capacity to withstand complex loads, the space truss is widely used in various construction projects.
Consider a tripod consisting of a tetrahedral space truss with a ball-and-socket joint at C. Suppose the height and lengths of the horizontal and vertical...
Consider a tripod consisting of a tetrahedral space truss with a ball-and-socket joint at C. Suppose the height and lengths of the horizontal and vertical...
529
Sample Size Calculation
3.1K
Knowledge of the sample size is the first requirement to conduct random sampling or an experiment. The sample size is the total number of units, observations, or groups (in some cases) used to get the data to estimate a population parameter. As the name suggests, the sample size is that of the sample drawn from the population and differs from the population size.
The sample size for the given experiment or sampling effort is fundamental to any study design. Sample size decides the number of...
The sample size for the given experiment or sampling effort is fundamental to any study design. Sample size decides the number of...
3.1K
Leaky Scanning
5.0K
During most eukaryotic translation processes, the small 40S ribosome subunit scans an mRNA from its 5' end until it encounters the first start AUG codon. The large 60S ribosomal subunit then joins the smaller one to initiate protein synthesis. The location of the translation initiation is largely determined by the nucleotides near the start codon as there may be multiple translation initiation sites present on the mRNA. Marilyn Kozak discovered that the sequence RCCAUGG (where R...
5.0K
Space Trusses
721
A space truss is a three-dimensional counterpart of a planar truss. These structures consist of members connected at their ends, often utilizing ball-and-socket joints to create a stable and versatile framework. The space truss is widely used in various construction projects due to its adaptability and capacity to withstand complex loads.
At the core of a space truss lies the fundamental unit known as the tetrahedron. This structure is composed of six members that form a three-dimensional shape...
At the core of a space truss lies the fundamental unit known as the tetrahedron. This structure is composed of six members that form a three-dimensional shape...
721


