EXECUTABLE TESTERS

被引：0

作者：

PHALIPPOU, M

机构：

来源：

PROTOCOL TEST SYSTEMS, VI | 1994年 / 19卷

关键词：

CONFORMANCE TESTING; IMPLEMENTATION RELATIONS; TESTERS; TEST EXECUTION;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

some conformance testing theories use the concept of tester as an abstract model of test test suite. A tester is a mathematical object which, when composed with any implementation, allows to detect wether this implementation conforms to its specification. Some problems appear when we try to use these testers in order to define concrete test suites, due to the infinite behaviour of testers and to the non-deterministic behaviour of implementations. We analyse here under which conditions these problems can be solved, allowing to define executable testers, i.e. testers which can be easily transformed into test algorithms.

引用

页码：35 / 50

页数：16

共 24 条

[21] Effectiveness of Yellow Maize Testers with Varying Resistance Reactions to Striga hermonthica for Evaluating the Combining Ability of Maize Inbred Lines
Zebire, Degife
Menkir, Abebe
Adetimirin, Victor
Mengesha, Wende
Meseka, Silvestro
Gedil, Melaku
AGRONOMY-BASEL, 2020, 10 (09):
[22] Assessing performance of white endosperm testers with varying resistance reactions to Striga (Striga hermonthica) for evaluating resistant maize (Zea mays) inbred lines
Afolabi, Samson
Menkir, Abebe
Oyekunle, Muhyideen
Abdullahi, Ubale
Gedil, Melaku
Meseka, Silvestro
Mengesha, Wende
PLANT BREEDING, 2021, 140 (05) : 786 - 800
[23] Combining ability amongst CIMMYT’s early maturing maize (Zea mays L.) germplasm under stress and non-stress conditions and identification of testers
Alexander Pswarayi
Bindiganavile S. Vivek
Euphytica, 2008, 162 : 353 - 362
[24] Combining ability amongst CIMMYT's early maturing maize (Zea mays L.) germplasm under stress and non-stress conditions and identification of testers
Pswarayi, Alexander
Vivek, Bindiganavile S.
EUPHYTICA, 2008, 162 (03) : 353 - 362

← 1 2 3 →