.png){kind=icon}
返回
Fault classes and error detection capability of specification-based testing
.png){kind=icon}
OA
AI
DOI：10.1145/322993.322996.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Some varieties of specification-based testing rely upon methods for generating test cases from predicates in a software specification. These methods derive various test conditions from logic expressions, with the aim of detecting different types of faults. Some authors have presented empirical results on the ability of specification-based test generation methods to detect failures. This article describes a method for computing the conditions that must be covered by a test set for the test set to guarantee detection of the particular fault class. It is shown that there is a coverage hierarchy to fault classes that is consistent with, and may therefore explain, experimental results on fault-based testing. The method is also shown to be effective for computing MCDC-adequate tests.
Keyword:
theory
verification
testing
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
A
IF:
6.2
论文数:
1.2K
被引数:
3.4K
机构
暂无机构信息
引用论文
Overproduction of the toxic protein, bovine pancreatic DNasel, in Escherichia coli using a tightly controlled T7-promoter-based vector.png)
Gene
GeneIF0
PREAI
分享收藏Spatial-uniform application method of methane fermentation digested slurry with irrigation water in the rice paddy field稻田中甲烷发酵消化污泥与灌溉水空间均匀施用方法
PREAI
分享收藏Immune tolerance induction therapy for patients with hemophilia A and FVIII inhibitors particularly using low‐dose regimens血友病A和FVIII抑制剂患者的免疫耐受诱导治疗，特别是使用低剂量方案
PREAI
分享收藏分享收藏 没有更多内容
没有更多内容