Publication: Testing conformance on stochastic stream X-machines
Loading...
Files
Full text at PDC
Publication Date
2007
Authors
García Merayo, Mercedes
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
IEEE COMPUTER SOC
Citations
Exportar
Abstract
Stream X-machines have been used to specify real systems requiring to represent complex data structures. One of the advantages of using stream X-machines to specify a system is that it is possible to produce a test set that, under certain conditions, detects all the faults of an implementation. In this paper we present a formal framework to test temporal behaviors in systems where temporal aspects are critical. Temporal requirements are expressed by means of random variables and affect the duration of actions. Implementation relations are presented as well as a method to determine the conformance of an implementation with respect to a specification by applying a test set.
Description
5th IEEE International Conference on Software Engineering and Formal Methods. SEP 12-14, 2007. London, ENGLAND.
UCM subjects
Unesco subjects
Keywords
Citation
M. Ajmone Marsan, A. Bianco, L. Ciminiera, R. Sisto, and A. Valenzano. A LOTOS extension for the performance analysis of distributed systems. IEEE/ACM Transactions on Networking, 2(2): 151-165, 1994.
T. Balanescu, M. Gheorghe, F. Ipate, and M. Holcombe. Formal black box testing for partially specified deterministic finite state machines. Foundations of Computer Decision Systems, 28(1):17-28, 2003.
J. Barnard. COMX: A design methodology using communicating X-machines. Information and Software Technology, 40(5-6):271-280, 1998.
M. Bernardo and W. Cleaveland. A theory of testing for markovian processes. In 11th Int. Conf. on Concurrency Theory, CONCUR'2000, LNCS 1877, pages 305-319. Springer, 2000.
M. Bernardo and R. Gorrieri. A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time. Theoretical Computer Science, 202(1-2):1-54, 1998.
K. Bogdanov, M. Holcombe, F. Ipate, L. Seed, and S. Vanak. Testing methods for X-machines: a review. Formal Aspects of Computing, 18:3-30, 2006.
B. Bosik and M. Uyar. Finite state machine based formal methods in protocol conformance testing. Computer Networks & ISDN Systems, 22:7-33, 1991.
L. Brandan Briones and E. Brinksma. Testing real-time multi input-output systems. In 7th Int. Conf. on Formal Engineering Methods, ICFEM'05, LNCS 3785, pages 264-279. Springer, 2005.
M. Bravetti and R. Gorrieri. The theory of interactive generalized semi-Markov processes. Theoretical Computer Science, 282(1):5-32, 2002.
T. Chow. Testing software design modelled by finite state machines. IEEE Transactions on Software Engineering, 4:178-187, 1978.
D. Clarke and I. Lee. Automatic generation of tests for timing constraints from requirements. In 3rd Workshop on Object-Oriented Real-Time Dependable Systems, WORDS'97, pages 199-206. IEEE Computer Society Press, 1997.
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.
S. Fujiwara, G. Bochmann, F. Khendek, M. Amalou, and A. Ghedamsi. Test selection based on finite-state models. IEEE Transactions on Software Engineering, 17(6):591-603, 1991.
N. Götz, U. Herzog, and M. Rettelbach. Multiprocessor and distributed system design: The integration of functional specification and performance analysis using stochastic process algebras. In 16th Int. Symp. on Computer Performance Modelling, Measurement and Evaluation, PERFORMANCE'93, LNCS 729, pages 121-146. Springer, 1993.
H. Hermanns, U. Herzog, and J.-P. Katoen. Process algebra for performance evaluation. Theoretical Computer Science, 274(1-2):43-87, 2002.
R. Hierons and M. Harman. Testing conformance of a deterministic implementation to a non-deterministic stream Xmachine. Theoretical Computer Science, 323(1-3):191-233, 2004.
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.
J. Hillston. A Compositional Approach to Performance Modelling. Cambridge University Press, 1996.
M. Holcombe. X-machines as a basis for dynamic system specification. Software Engineering Journal, 3(2):69-76, 1988.
M. Holcombe and F. Ipate. Correct Systems: Building a Business Process Solution. Springer, 1998.
F. Ipate and M. Holcombe. An integration testing method that is proved to find all faults. International Journal of Computer Mathematics, 63(3-4):159-178, 1997.
F. Ipate and M. Holcombe. Generating test sets from non-deterministic stream X-machines. Formal Aspects of Computing, 12(6):443-458, 2000.
E. Kehris, G. Eleftherakis, and P. Kefalas. Using X-machines to model and test discrete event simulation programs. In N. Mastorakis, editor, Systems and Control: Theory and Applications, pages 163-171. World Scientific and Engineering Society Press, 2000.
M. Krichen and S. Tripakis. An expressive and implementable formal framework for testing real-time systems. In 17th Int. Conf. on Testing of Communicating Systems, Test-Com'05, LNCS 3502, pages 209-225. Springer, 2005.
R. Lai. A survey of communication protocol testing. Journal of Systems and Software, 62:21-46, 2002.
D. Lee and M. Yannakakis. Principles and methods of testing finite state machines: A survey. Proceedings of the IEEE, 84(8): 1090-1123, 1996.
N. López and M. Núñez. A testing theory for generally distributed stochastic processes. In 12th Int. Conf. on Concurrency Theory, CONCUR'01, LNCS 2154, pages 321-335. Springer, 2001.
N. López and M. Núñez. Weak stochastic bisimulation for non-markovian processes. In 2nd ICTAC, LNCS 3722, pages 454-468. Springer, 2005.
N. López, M. Núñez, and F. Rubio. An integrated framework for the analysis of asynchronous communicating stochastic processes. Formal Aspects of Computing, 16(3):238-262, 2004.
G. Luo, A. Petrenko, and G. v. Bochmann. Selecting test sequences for partially-specified nondeterministic finite state machines. In 7th IFIP Workshop on Protocol Test Systems, IWPTS'94, pages 95-110. Chapman & Hall, 1994.
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.
E. Moore. Gedanken-experiments. In C. Shannon and J. McCarthy, editors, Automata Studies. Princeton University Press, 1956.
M. Núñez and I. Rodríguez. Towards testing stochastic timed systems. In 23rd IFIP WG 6.1 Int. Conf. on Formal Methods 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. Merayo, and M. Núñez. HOTL: Hypotheses and observations testing logic. Journal of Logic and Algebraic Programming (in press), 2007.
J. Springintveld, F. Vaandrager, and P. 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.