.png){kind=icon}
返回
A General Testability Theory: Classes, Properties, Complexity, and Testing Reductions
.png){kind=icon}
OA
AI
DOI：10.1109/TSE.2014.2331690.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
In this paper we develop a general framework to reason about testing. The difficulty of testing is assessed in terms of the amount of tests that must be applied to determine whether the system is correct or not. Based on this criterion, five testability classes are presented and related. We also explore conditions that enable and disable finite testability, and their relation to testing hypotheses is studied. We measure how far incomplete test suites are from being complete, which allows us to compare and select better incomplete test suites. The complexity of finding that measure, as well as the complexity of finding minimum complete test suites, is identified. Furthermore, we address the reduction of testing problems to each other, that is, we study how the problem of finding test suites to test systems of some kind can be reduced to the problem of finding test suites for another kind of systems. This enables to export testing methods. In order to illustrate how general notions are applied to specific cases, many typical examples from the formal testing techniques domain are presented.
Keyword:
Formal testing techniques
general testing frameworks
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
5.6
论文数:
2.9K
被引数:
1.1W
机构
引用论文
Structure and mechanism of ferulic acid decarboxylase (FDC1) from Saccharomyces cerevisiae.酿酒酵母 (Saccharomyces cerevisiae) 中阿魏酸脱羧酶 (FDC1) 的结构与机制。.png)
IF0
PREAI
分享收藏
查看更多内容