A logic for assessing sets of heterogeneous testing hypotheses
| dc.contributor.author | García Merayo, María De Las Mercedes | |
| dc.contributor.author | Rodríguez Laguna, Ismael | |
| dc.contributor.author | Núñez García, Manuel | |
| dc.date.accessioned | 2023-06-20T09:36:54Z | |
| dc.date.available | 2023-06-20T09:36:54Z | |
| dc.date.issued | 2006 | |
| dc.description | Testing of Communicating Systems. 18th International Conference on Testing of Communicating Systems. MAY 16-18, 2006. New York, NY. | |
| dc.description.abstract | 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. | |
| dc.description.department | Sección Deptal. de Sistemas Informáticos y Computación | |
| dc.description.faculty | Fac. de Ciencias Matemáticas | |
| dc.description.refereed | TRUE | |
| dc.description.sponsorship | MCYT | |
| dc.description.sponsorship | Junta de Castilla-La Mancha | |
| dc.description.sponsorship | Marie Curie | |
| dc.description.status | pub | |
| dc.eprint.id | https://eprints.ucm.es/id/eprint/15825 | |
| dc.identifier.doi | 10.1007/11754008_3 | |
| dc.identifier.issn | 0302-9743 | |
| dc.identifier.officialurl | http://www.springerlink.com/content/8j1t4257723w165w/fulltext.pdf | |
| dc.identifier.relatedurl | http://www.springerlink.com/ | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/50036 | |
| dc.journal.title | Lecture Notes in Computer Science | |
| dc.language.iso | eng | |
| dc.page.final | 54 | |
| dc.page.initial | 39 | |
| dc.publisher | Springer Verlag | |
| dc.relation.projectID | TIC2003-07848-C02-01 | |
| dc.relation.projectID | PAC-03-001 | |
| dc.relation.projectID | MRTN-CT-2003-505121/TAROT | |
| dc.rights.accessRights | restricted access | |
| dc.subject.cdu | 519.8 | |
| dc.subject.ucm | Investigación operativa (Matemáticas) | |
| dc.subject.unesco | 1207 Investigación Operativa | |
| dc.title | A logic for assessing sets of heterogeneous testing hypotheses | |
| dc.type | journal article | |
| dc.volume.number | 3964 | |
| dcterms.references | 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: http://dalila.sip.ucm.es/~manolo/papers/logic-extended.pdf Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software – Concepts and Tools 17(3), 103–120 (1996) | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 28ca46b8-d1eb-42e6-a6e2-f31b193b055b | |
| relation.isAuthorOfPublication | 28429d40-53cb-4bb3-a3f6-82ec557a34ed | |
| relation.isAuthorOfPublication | 26825d32-1d0a-4bbb-b145-e014e22f1a88 | |
| relation.isAuthorOfPublication.latestForDiscovery | 28429d40-53cb-4bb3-a3f6-82ec557a34ed |
Download
Original bundle
1 - 1 of 1