nach oben

Erschienen in:

2016 | OriginalPaper | Buchkapitel

Controllability Through Nondeterminism in Distributed Testing

verfasst von : Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez

Erschienen in: Testing Software and Systems

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

If the system under test interacts with its environment at physically distributed ports, there is a separate independent tester at each port, and there is no global clock then we are testing in the distributed test architecture. It is known that the distributed test architecture can lead to additional controllability problems in which a tester cannot know when to send an input and this has led to most test generation techniques aiming to produce controllable test cases. However, there may be no controllable test case that achieves a given objective. This paper introduces the notion of a test section, in which each tester has a fixed input sequence to apply and there is no attempt to synchronise the testers. It defines the notion of a test section being convergent and shows how convergent test sections can be used as the basis of a less restrictive form of controllability.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel A Combinatorial Approach to Analyzing Cross-Site Scripting (XSS) Vulnerabilities in Web Application Security Testing

Nächstes Kapitel Parallelizing Heuristics for Generating Synchronizing Sequences

von Bochmann, G., Haar, S., Jard, C., Jourdan, G.-V.: Testing systems specified as partial order input/output automata. In: Suzuki, K., Higashino, T., Ulrich, A., Hasegawa, T. (eds.) FATES/TestCom-2008. LNCS, vol. 5047, pp. 169–183. Springer, Heidelberg (2008). doi:10.1007/978-3-540-68524-1_13 CrossRef

Cacciari, L., Rafiq, O.: Controllability and observability in distributed testing. Inf. Softw. Technol. 41(11–12), 767–780 (1999)CrossRef

Chow, T.S.: Testing software design modeled by finite state machines. IEEE Trans. Softw. Eng. 4, 178–187 (1978)CrossRefMATH

Dssouli, R., von Bochmann, G.: Error detection with multiple observers. In: 5th WG6.1 International Conference on Protocol Specification, Testing and Verification, PSTV 1985, pp. 483–494. North-Holland (1985)

Dssouli, R., von Bochmann, G.: Conformance testing with multiple observers. In: 6th WG6.1 International Conference on Protocol Specification, Testing and Verification, PSTV 1986, pp. 217–229. North-Holland (1986)

Godefroid, P.: Using partial orders to improve automatic verification methods. In: Clarke, E.M., Kurshan, R.P. (eds.) CAV 1990. LNCS, vol. 531, pp. 176–185. Springer, Heidelberg (1991). doi:10.1007/BFb0023731 CrossRef

Haar, S., Jard, C., Jourdan, G.-V.: Testing input/output partial order automata. In: Petrenko, A., Veanes, M., Tretmans, J., Grieskamp, W. (eds.) FATES/TestCom-2007. LNCS, vol. 4581, pp. 171–185. Springer, Heidelberg (2007). doi:10.1007/978-3-540-73066-8_12 CrossRef

Hierons, R.M.: Canonical finite state machines for distributed systems. Theor. Comput. Sci. 411(2), 566–580 (2010)MathSciNetCrossRefMATH

Hierons, R.M.: Reaching and distinguishing states of distributed systems. SIAM J. Comput. 39(8), 3480–3500 (2010)MathSciNetCrossRefMATH

10.

Hierons, R.M.: Generating complete controllable test suites for distributed testing. IEEE Trans. Softw. Eng. 41(3), 279–293 (2015)CrossRef

11.

Hierons, R.M., Merayo, M.G., Núñez, M.: Controllable test cases for the distributed test architecture. In: Cha, S.S., Choi, J.-Y., Kim, M., Lee, I., Viswanathan, M. (eds.) ATVA 2008. LNCS, vol. 5311, pp. 201–215. Springer, Heidelberg (2008). doi:10.1007/978-3-540-88387-6_16 CrossRef

12.

Hierons, R.M., Ural, H.: UIO sequence based checking sequences for distributed test architectures. Inf. Softw. Technol. 45(12), 793–803 (2003)CrossRef

13.

Hierons, R.M., Ural, H.: Checking sequences for distributed test architectures. Distrib. Comput. 21(3), 223–238 (2008)CrossRefMATH

14.

Joint Technical Committee ISO/IEC JTC 1. International Standard ISO/IEC 9646–1. Information Technology - Open Systems Interconnection - Conformance testing methodology, framework - Part 1: General concepts. ISO/IEC (1994)

15.

Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines: a survey. Proc. IEEE 84(8), 1090–1123 (1996)CrossRef

16.

Luo, G., Dssouli, R., von Bochmann, G.: Generating synchronizable test sequences based on finite state machine with distributed ports. In: 6th IFIP Workshop on Protocol Test Systems, IWPTS 1993, pp. 139–153. North-Holland (1993)

17.

Moore, E.P.: Gedanken experiments on sequential machines. In: Shannon, C., McCarthy, J. (eds.) Automata Studies. Princeton University Press, Princeton (1956)

18.

Ponce de León, H., Haar, S., Longuet, D.: Unfolding-based test selection for concurrent conformance. In: Yenigün, H., Yilmaz, C., Ulrich, A. (eds.) ICTSS 2013. LNCS, vol. 8254, pp. 98–113. Springer, Heidelberg (2013). doi:10.1007/978-3-642-41707-8_7 CrossRef

19.

Ponce de León, H., Haar, S., Longuet, D.: Model-based testing for concurrent systems: unfolding-based test selection. Int. J. Softw. Tools Technol. Transfer 18(3), 305–318 (2016)CrossRef

20.

Rafiq, O., Cacciari, L.: Coordination algorithm for distributed testing. J. Supercomputing 24(2), 203–211 (2003)CrossRefMATH

21.

Sarikaya, B., von Bochmann, G.: Synchronization and specification issues in protocol testing. IEEE Trans. Commun. 32, 389–395 (1984)CrossRef

22.

Ural, H., Whittier, D.: Distributed testing without encountering controllability and observability problems. Inf. Process. Lett. 88(3), 133–141 (2003)MathSciNetCrossRefMATH

23.

Ural, H., Williams, C.: Constructing checking sequences for distributed testing. Formal Aspects Comput. 18(1), 84–101 (2006)CrossRefMATH

Titel: Controllability Through Nondeterminism in Distributed Testing
verfasst von: Robert M. Hierons
Mercedes G. Merayo
Manuel Núñez
Verlag: Springer International Publishing
Buch: Testing Software and Systems
Print ISBN: 978-3-319-47442-7

Electronic ISBN: 978-3-319-47443-4

Copyright-Jahr: 2016
DOI: https://doi.org/10.1007/978-3-319-47443-4_6

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner