Complutense University Library

A logic for assessing sets of heterogeneous testing hypotheses


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 . 39-54 . ISSN 0302-9743

[img] PDF
Restringido a Repository staff only hasta 31 December 2020.


Official URL:


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

Bayse, E., Cavalli, A., Núñez, M., Zaïdi, F.: A passive testing approach based on invariants: Application to the WAP. Computer Networks 48(2), 247–266 (2005)

Bosik, B.S., Uyar, M.U.: Finite state machine based formal methods in protocol conformance testing. Computer Networks & ISDN Systems 22, 7–33 (1991)

Cavalli, A., Gervy, C., Prokopenko, S.: New approaches for passive testing using an extended finite state machine specification. Journal of Information and Software Technology 45, 837–852 (2003)

Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)

Eleftherakis, G., Kefalas, P.: Towards model checking of finite state machines extended with memory through refinement. In: Advances in Signal Processing and Computer Technologies, pp. 321–326. World Scientific and Engineering Society Press (2001)

Hierons, R.: Comparing test sets and criteria in the presence of test hypotheses and fault domains. ACM Transactions on Software Engineering and Methodology 11(4), 427–448 (2002)

Lee, D., Chen, D., Hao, R., Miller, R., Wu, J., Yin, X.: A formal approach for passive testing of protocol data portions. In: 10th IEEE Int. Conf. on Network Protocols, ICNP 2002, pp. 122–131. IEEE Computer Society Press, Los Alamitos (2002)

Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines: A survey. Proceedings of the IEEE 84(8), 1090–1123 (1996)

Lima, L.P., Cavalli, A.: A pragmatic approach to generating tests sequences for embedded systems. In: 10th Workshop on Testing of Communicating Systems, pp. 288–307. Chapman & Hall, Boca Raton (1997)

Ntafos, S.C.: A comparison of some structural testing strategies. IEEE Transactions on Software Engineering 14, 868–874 (1988)

Núñez, M., Rodríguez, I.: Encoding PAMR into (timed) EFSMs. In: Peled, D.A., Vardi, M.Y. (eds.) FORTE 2002. LNCS, vol. 2529, pp. 1–16. Springer, Heidelberg (2002)

Petrenko, A.: Fault model-driven test derivation from finite state models: Annotated bibliography. In: Cassez, F., Jard, C., Rozoy, B., Dermot, M. (eds.) MOVEP 2000. LNCS, vol. 2067, pp. 196–205. Springer, Heidelberg (2001)

Petrenko, A., Yevtushenko, N., von Bochmann, G.: Testing deterministic implementations from their nondeterministic specifications. In: 9th Workshop on Testing of Communicating Systems, pp. 125–140. Chapman & Hall, Boca Raton (1996)

Rodríguez, I., Merayo, M.G., Núñez, M.: A logic for assessing sets of heterogeneous testing hypotheses: Extended version (2006), Available at:

Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software – Concepts and Tools 17(3), 103–120 (1996)

Deposited On:04 Jul 2012 10:02
Last Modified:06 Feb 2014 10:32

Repository Staff Only: item control page