Testing finite state machines presenting stochastic time and timeouts
| dc.book.title | Formal Methods and Stochastic Models for Performance Evaluation | |
| dc.contributor.author | García Merayo, María De Las Mercedes | |
| dc.contributor.author | Núñez García, Manuel | |
| dc.contributor.author | Rodríguez Laguna, Ismael | |
| dc.contributor.editor | Wolter, K | |
| dc.date.accessioned | 2023-06-20T13:38:14Z | |
| dc.date.available | 2023-06-20T13:38:14Z | |
| dc.date.issued | 2007 | |
| dc.description | 4th European Performance Engineering Workshop. SEP 27-28, 2007. Berlin, GERMANY. | |
| dc.description.abstract | In this paper we define a formal framework to test implementations that can be represented by the class of finite state machines introduced in [10]. First, we introduce an appropriate notion of test. Next, we provide an algorithm to derive test suites from specifications such that the constructed test suites are sound and complete with respect to two of the conformance relations introduced in [10]. In fact, the current paper together with [10] constitute a complete formal theory to specify and test the class of systems covered by the before mentioned stochastic finite state machines. | |
| 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.sponsorship | Marie Curie | |
| dc.description.status | pub | |
| dc.eprint.id | https://eprints.ucm.es/id/eprint/15800 | |
| dc.identifier.doi | 10.1007/978-3-540-75211-0_8 | |
| dc.identifier.isbn | 978-3-540-75210-3 | |
| dc.identifier.officialurl | http://www.springerlink.com/content/mj6x036764445840/fulltext.pdf | |
| dc.identifier.relatedurl | http://www.springerlink.com/ | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/53132 | |
| dc.issue.number | 4748 | |
| dc.language.iso | eng | |
| dc.page.final | 111 | |
| dc.page.initial | 97 | |
| dc.publication.place | Berlín | |
| dc.publisher | SPRINGER-VERLAG BERLIN | |
| dc.relation.ispartofseries | Lecture Notes in Computer Science | |
| dc.relation.projectID | WEST/FAST (TIN2006-15578-C02-01) | |
| dc.relation.projectID | TAROT (MRTN-CT-2003-505121) | |
| dc.rights.accessRights | open access | |
| dc.subject.cdu | 519.8 | |
| dc.subject.keyword | Systems | |
| dc.subject.keyword | Automata | |
| dc.subject.ucm | Investigación operativa (Matemáticas) | |
| dc.subject.unesco | 1207 Investigación Operativa | |
| dc.title | Testing finite state machines presenting stochastic time and timeouts | |
| dc.type | book part | |
| dcterms.references | Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994) Brandán, L., Brinksma, E.: Testing real-time multi input-output systems. In: Lau, K.-K., Banach, R. (eds.) ICFEM 2005. LNCS, vol. 3785, pp. 264–279. Springer, Heidelberg (2005) Brinksma, E., Tretmans, J.: Testing transition systems: An annotated bibliography. In: Cassez, F., Jard, C., Rozoy, B., Dermot, M. (eds.) MOVEP 2000. LNCS, vol. 2067, pp. 187–195. Springer, Heidelberg (2001) Clarke, D., Lee, I.: Automatic generation of tests for timing constraints from requirements. In: 3rd Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 1997, pp. 199–206. IEEE Computer Society Press, Los Alamitos (1997) En-Nouaary, A., Dssouli, R., Khendek, F.: Timed Wp-method: Testing real time systems. IEEE Transactions on Software Engineering 28(11), 1024–1039 (2002) Krichen, M., Tripakis, S.: An expressive and implementable formal framework for testing real-time systems. In: Khendek, F., Dssouli, R. (eds.) TestCom 2005. LNCS, vol. 3502, pp. 209–225. Springer, Heidelberg (2005) Larsen, K.G., Mikucionis, M., Nielsen, B.: Online testing of real-time systems using Uppaal. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 79–94. Springer, Heidelberg (2005) Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines: A survey. Proceedings of the IEEE 84(8), 1090–1123 (1996) Mandrioli, D., Morasca, S., Morzenti, A.: Generating test cases for real time systems from logic specifications. ACM Transactions on Computer Systems 13(4), 356–398 (1995) Merayo, M.G., Núñez, M., Rodríguez, I.: Implementation relations for stochastic finite state machines. In: Horváth, A., Telek, M. (eds.) EPEW 2006. LNCS, vol. 4054, pp. 123–137. Springer, Heidelberg (2006) 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) Núñez, M., Rodríguez, I.: Towards testing stochastic timed systems. In: König, H., Heiner, M., Wolisz, A. (eds.) FORTE 2003. LNCS, vol. 2767, pp. 335–350. Springer, Heidelberg (2003) Núñez, M., Rodríguez, I.: Conformance testing relations for timed systems. In: Grieskamp, W., Weise, C. (eds.) FATES 2005. LNCS, vol. 3997, pp. 103–117. Springer, Heidelberg (2006) 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) Rodríguez, I., Merayo, M.G., Núñez, M.: HOTL: Hypotheses and observations testing logic. In: Journal of Logic and Algebraic Programming (2007), http://dx.doi.org/10.1016/j.jlap.2007.03.002 Springintveld, J., Vaandrager, F., D’Argenio, P.R.: Testing timed automata. Theoretical Computer Science, 254(1-2):225–257, 2001. Previously appeared as Technical Report CTIT-97-17, University of Twente (1997) | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 28ca46b8-d1eb-42e6-a6e2-f31b193b055b | |
| relation.isAuthorOfPublication | 26825d32-1d0a-4bbb-b145-e014e22f1a88 | |
| relation.isAuthorOfPublication | 28429d40-53cb-4bb3-a3f6-82ec557a34ed | |
| relation.isAuthorOfPublication.latestForDiscovery | 26825d32-1d0a-4bbb-b145-e014e22f1a88 |
Download
Original bundle
1 - 1 of 1
