Publication:
Passive Testing of Stochastic Timed Systems

Loading...
Thumbnail Image
Full text at PDC
Publication Date
2009
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
IEEE COMPUTER SOC
Citations
Google Scholar
Research Projects
Organizational Units
Journal Issue
Abstract
In this paper we introduce a formal Methodology to perforin passive testing, based on invariants, for systems where the passing of time is represented in probabilistic terms by means of probability distributions functions. In our approach, invariants express the fact that each time the implementation under test performs a given sequence of actions, then it must exhibit a behavior according to the probability distribution functions reflected it? the invariant. We present algorithms to decide the correctness of the proposed invariants with respect to a given specification. Once we know that an invariant is correct, we check whether the execution traces observed from the implementation respect the invariant. In addition to the theoretical framework we have developed a tool., called PASTE, that helps in the automation of our passive testing approach. We have used the tool to obtain experimental results front the application of our methodology.
Description
2nd International Conference on Software Testing, Verification and Validation Workshops. APR 01-04, 2009. Denver, CO.
Keywords
Citation
R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994. C. Andrés, M.G. Merayo, and M. Núñez. Passive testing of timed systems. In 6th Int. Symposium on Automated Technology for Verification and Analysis, ATVA'08, LNCS 5311, pages 418-427. Springer, 2008. E. Bayse, A. Cavalli, M. Núñez, and F. Zaïdi. A passive testing approach based on invariants: Application to theWAP. Computer Networks, 48(2):247-266, 2005. B.S. Bosik and M.Ü. Uyar. Finite state machine based formal methods in protocol conformance testing. Computer Networks & ISDN Systems, 22:7-33, 1991. R.S. Boyer and J.S. Moore. A fast string searching algorithm. Communications of the ACM, 20:762-772, 1977. A. Cavalli, C. Gervy, and S. Prokopenko. New approaches for passive testing using an extended finite state machine specification. Information and Software Technology, 45:837-852, 2003. A. En-Nouaary, R. Dssouli, and F. Khendek. Timed Wp-method: Testing real time systems. IEEE Transactions on Software Engineering, 28(11):1024-1039, 2002. A. Hessel, K.G. Larsen, M. Mikucionis, B. Nielsen, P. Pettersson, and A. Skou. Testing real-time systems using UPPAAL. In Formal Methods and Testing, LNCS 4949, pages 77-117. Springer, 2008. T. Higashino, A. Nakata, K. Taniguchi, and A. Cavalli. Generating test cases for a timed I/O automaton model. In 12th Int. Workshop on Testing of Communicating Systems, IWTCS'99, pages 197-214. Kluwer Academic Publishers, 1999. G.-D. Huang and F. Wang. Automatic test case generation with region-related coverage annotations for real-time systems. In 3rd Int. Symposium on Automated Technology for Verification and Analysis, ATVA'05, LNCS 3707, pages 144-158. Springer, 2005. D.E. Knuth, J.H. Morris, and V.R. Pratt. Fast pattern matching in strings. SIAM Journal on Computing, 6(1):323-350, 1977. D. Lee, A.N. Netravali, K.K. Sabnani, B. Sugla, and A. John. Passive testing and applications to network management. In 5th IEEE Int. Conf. on Network Protocols, ICNP'97, pages 113-122. IEEE Computer Society Press, 1997. D. Lee and M. Yannakakis. Principles and methods of testing finite state machines: A survey. Proceedings of the IEEE, 84(8):1090-1123, 1996. D. Mandrioli, S. Morasca, and A. Morzenti. Generating test cases for real time systems from logic specifications. ACM Transactions on Computer Systems, 13(4):356-398, 1995. M.G. Merayo, M. Núñez, and I. Rodríguez. Formal testing of systems presenting soft and hard deadlines. In 2nd IPM Int. Symposium on Fundamentals of Software Engineering, FSEN'07, LNCS 4767, pages 160- 174. Springer, 2007. M.G. Merayo, M. Núñez, and I. Rodríguez. Extending EFSMs to specify and test timed systems with action durations and timeouts. IEEE Transactions on Computers, 57(6):835-848, 2008. M.G. Merayo, M. Núñez, and I. Rodríguez. Formal testing from timed finite state machines. Computer Networks, 52(2):432-460, 2008. R.E. Miller. Passive testing of networks using a CFSM specification. In IEEE Int. Performance Computing and Communications Conference, pages 111-116. IEEE Computer Society Press, 1998. M. Núñez and I. Rodríguez. Towards testing stochastic timed systems. In 23rd IFIP WG 6.1 Int. Conf. on Formal Techniques for Networked and Distributed Systems, FORTE'03, LNCS 2767, pages 335-350. Springer, 2003. M. Núñez and I. Rodríguez. Conformance testing relations for timed systems. In 5th Int.Workshop on Formal Approaches to Software Testing, FATES'05, LNCS 3997, pages 103-117. Springer, 2006. I. Rodríguez, M.G. Merayo, and M. Núñez. HOTL: Hypotheses and observations testing logic. Journal of Logic and Algebraic Programming, 74(2):57-93, 2008. J. Schmaltz and J. Tretmans. On conformance testing for timed systems. In 6th Int. Conf. on Formal Modeling and Analysis of Timed Systems, FORMATS'08, LNCS 5215, pages 250-264. Springer, 2008. J. Springintveld, F. Vaandrager, and P.R. D'Argenio. Testing timed automata. Theoretical Computer Science, 254(1-2):225-257, 2001. Previously appeared as Technical Report CTIT-97-17, University of Twente, 1997. M. Tabourier and A. Cavalli. Passive testing and application to the GSM-MAP protocol. Journal of Information and Software Technology, 41:813-821, 1999. M. Tabourier, A. Cavalli, and M. Ionescu. A GSMMAP protocol experiment using passive testing. In World Congress on Formal Methods in the Development of Computing Systems, FM'99, LNCS 1708, pages 915-934. Springer, 1999.
Collections