Passive Testing of Timed Systems
| dc.book.title | Automated Technology for Verification and Analysis | |
| dc.contributor.author | García Merayo, María De Las Mercedes | |
| dc.contributor.author | Andrés Sánchez, César | |
| dc.contributor.author | Núñez García, Manuel | |
| dc.contributor.editor | Cha, S | |
| dc.contributor.editor | Choi, JY | |
| dc.contributor.editor | Kim, M | |
| dc.contributor.editor | Lee, I | |
| dc.contributor.editor | Viswanathan, M | |
| dc.date.accessioned | 2023-06-20T13:38:10Z | |
| dc.date.available | 2023-06-20T13:38:10Z | |
| dc.date.issued | 2008-10 | |
| dc.description | 6th International Symposium on Automated Technology for Verification and Analysis. OCT 20-23, 2008. Seoul, SOUTH KOREA. | |
| dc.description.abstract | This paper presents a methodology to perform passive testing based on invariants for systems that present temporal restrictions. Invariants represent the most relevant expected properties of the implementation under test. Intuitively, an invariant expresses the fact that each time the implementation under test performs a given sequence of actions, then it must exhibit a behavior in a lapse of time reflected in the invariant. In particular, the algorithm presented in this paper are fully implemented | |
| 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 | MEC | |
| dc.description.status | pub | |
| dc.eprint.id | https://eprints.ucm.es/id/eprint/15726 | |
| dc.identifier.doi | 10.1007/978-3-540-88387-6_36 | |
| dc.identifier.isbn | 978-3-540-88386-9 | |
| dc.identifier.officialurl | http://www.springerlink.com/content/75336n003w032743/fulltext.pdf | |
| dc.identifier.relatedurl | http://www.springerlink.com/ | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/53125 | |
| dc.issue.number | 5311 | |
| dc.language.iso | eng | |
| dc.page.final | 427 | |
| dc.page.initial | 418 | |
| dc.publication.place | Berlín | |
| dc.publisher | SPRINGER-VERLAG BERLIN | |
| dc.relation.ispartofseries | Lecture Notes in Computer Science | |
| dc.relation.projectID | TIN2006-15578-C02-01 | |
| dc.relation.projectID | MRTN-CT-2003-505121 | |
| dc.rights.accessRights | open access | |
| dc.subject.cdu | 519.8 | |
| dc.subject.keyword | Computer Science | |
| dc.subject.keyword | Theory & Methods | |
| dc.subject.ucm | Investigación operativa (Matemáticas) | |
| dc.subject.unesco | 1207 Investigación Operativa | |
| dc.title | Passive Testing of Timed Systems | |
| dc.type | book part | |
| dcterms.references | 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) 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) Andrés, C., Merayo, M., Núñez, M.: Passive testing of timed systems (2008),http: //kimba.mat.ucm.es/-manolo/papers/atva08-passive-extended.pdf Merayo, M., Núñez, M., Rodríguez, I.: Formal testing of systems presenting soft and hard deadlines. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp.160-174. Springer, Heidelberg (2007) | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 28ca46b8-d1eb-42e6-a6e2-f31b193b055b | |
| relation.isAuthorOfPublication | 26825d32-1d0a-4bbb-b145-e014e22f1a88 | |
| relation.isAuthorOfPublication.latestForDiscovery | 26825d32-1d0a-4bbb-b145-e014e22f1a88 |
Download
Original bundle
1 - 1 of 1
