A logic for assessing sets of heterogeneous testing hypotheses



Downloads per month over past year

García Merayo, Mercedes and Rodríguez Laguna, Ismael and Núñez García, Manuel (2006) A logic for assessing sets of heterogeneous testing hypotheses. Lecture Notes in Computer Science, 3964 . pp. 39-54. ISSN 0302-9743

[thumbnail of 26.pdf] PDF
Restringido a Repository staff only


Official URL: http://www.springerlink.com/content/8j1t4257723w165w/fulltext.pdf


To ensure the conformance of an implementation under test (IUT) with respect to a specification requires, in general, the application of an infinite number of tests. In order to use finite test suites, most testing methodologies add some feasible hypotheses about the behavior of the IUT. Since these methodologies are designed for considering a fix set of hypotheses, they usually do not have the capability of dealing with other scenarios where the set of assumed hypotheses varies. We propose a logic to infer whether a set of observations (i.e., results of test applications) allows to claim that the IUT conforms to the specification if a specific set of hypotheses (taken from a repertory) is assumed.

Item Type:Article
Additional Information:

Testing of Communicating Systems. 18th International Conference on Testing of Communicating Systems. MAY 16-18, 2006. New York, NY.

Subjects:Sciences > Mathematics > Operations research
ID Code:15825
Deposited On:04 Jul 2012 10:02
Last Modified:22 Aug 2018 11:37

Origin of downloads

Repository Staff Only: item control page