nach oben

Erschienen in:

2015 | OriginalPaper | Buchkapitel

XQuery Testing from XML Schema Based Random Test Cases

verfasst von : Jesús M. Almendros-Jiménez, Antonio Becerra-Terón

Erschienen in: Database and Expert Systems Applications

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

In this paper we present the elements of an XQuery testing tool which makes possible to automatically test XQuery programs. The tool is able to systematically generate XML instances (i.e., test cases) from a given XML schema. The number and type of instances is defined by the human tester. These instances are used to execute the given XQuery program. In addition, the tool makes possible to provide an user defined property to be tested against the output of the XQuery program. The property can be specified with a Boolean XQuery function. The tool is implemented as an oracle able to report whether the XQuery program passes the test, that is, all the test cases satisfy the property, as well as the number of test cases used for testing. In the case of the XQuery program fails the testing, the tool shows counterexamples found in the test cases. The tool has been implemented as an XQuery library which makes possible to be used from any XQuery interpreter.

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 Logical Framework for XML Reference Specification

Nächstes Kapitel Grid-File: Towards to a Flash Efficient Multi-dimensional Index

http://www.altova.com/xmlspy/xquery-debugger.html.

http://www.oxygenxml.com/xml_editor/xquery_debugger.html.

http://www.stylusstudio.com/xquery_debugger.html.

http://labsewiki.isti.cnr.it/labsedc/tools/taxi/public/main.

http://www.w3.org/TR/xquery-use-cases/.

Anand, S., Burke, E.K., Chen, T.Y., Clark, J., Cohen, M.B., Grieskamp, W., Harman, M., Harrold, M.J., McMinn, P., et al.: An orchestrated survey of methodologies for automated software test case generation. J. Syst. Softw. 86(8), 1978–2001 (2013)CrossRefMATH

Barbosa, D., Mendelzon, A., Keenleyside, J., Lyons, K.: ToXgene: a template-based data generator for XML. In: Proceedings of the 2002 ACM SIGMOD, pp. 616–616. ACM (2002)

Bartolini, C., Bertolino, A., Marchetti, E., Polini, A.: WS-TAXI: a WSDL-based testing tool for web services. In: International Conference on Software Testing Verification and Validation, 2009, pp. 326–335. IEEE (2009)

Bertolino, A., Gao, J., Marchetti, E., Polini, A.: Automatic test data generation for XML schema-based partition testing. In: Proceedings of the Second International Workshop on Automation of Software Test (AST), p. 4. IEEE Computer Society (2007)

Bertolino, A., Gao, J., Marchetti, E., Polini, A.: TAXI-a tool for XML-based testing. In: Companion to the Proceedings of the 29th International Conference on Software Engineering, pp. 53–54. IEEE Computer Society (2007)

Bertolino, A., Gao, J., Marchetti, E., Polini, A.: XModel-based testing of XSLT applications. WEBIST 2, 282–288 (2007)

Bertolino, A., Lonetti, F., Marchetti, E.: Systematic XACML request generation for testing purposes. In: 36th EUROMICRO Conference on Software Engineering and Advanced Applications, pp. 3–11. IEEE (2010)

Chimisliu, V., Wotawa, F.: Category partition method and satisfiability modulo theories for test case generation. In: 2012 7th International Workshop on Automation of Software Test (AST), pp. 64–70. IEEE (2012)

Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of Haskell programs. ACM SIGPLAN Not. 46(4), 53–64 (2011)CrossRef

10.

Cohen, S.: Generating XML structure using examples and constraints. Proc. VLDB Endow. 1(1), 490–501 (2008)CrossRef

11.

De La Riva, C., Garcia-Fanjul, J., Tuya, J.: A partition-based approach for XPath testing. In: International Conference on Software Engineering Advances, p. 17. IEEE (2006)

12.

Fisher, M., Elbaum, S., Rothermel, G.: An automated analysis methodology to detect inconsistencies in web services with WSDL interfaces. Softw. Test. Verification Reliab. 23(1), 27–51 (2013)CrossRef

13.

Grün, C.: BaseX. The XML Database (2015). http://basex.org

14.

Harazaki, M., Tekli, J., Yokoyama, S., Fukuta, N., Chbeir, R., Ishikawa, H.: XBeGene: scalable XML documents generator by example based on real data. In: Gaol, F.L. (ed.) Recent Progress in DEIT, Vol. 1. LNEE, vol. 156, pp. 449–460. Springer, Heidelberg (2013) CrossRef

15.

Kim-Park, D.S., de la Riva, C., Tuya, J.: An automated test oracle for XML processing programs. In: Proceedings of the First International Workshop on Software Test Output Validation, pp. 5–12. ACM (2010)

16.

Jeong, H.J., Lee, S.H.: A versatile XML data generator. Int. J. Softw. Effectiveness Effi. 1, 21–24 (2006)

17.

Ostrand, T.J., Balcer, M.J.: The category-partition method for specifying and generating functional tests. Commun. ACM 31(6), 676–686 (1988)CrossRef

18.

Papadakis, M., Sagonas, K.: A PropEr integration of types and function specifications with property-based testing. In: Proceedings of the 2011 ACM SIGPLAN Erlang Workshop, pp. 39–50. ACM Press, New York, September 2011

19.

Runapongsa, K., Patel, J.M., Jagadish, H.V., Chen, Y., Al-Khalifa, S.: The Michigan benchmark: towards XML query performance diagnostics. Inf. Syst. 31(2), 73–97 (2006)CrossRef

20.

Schmidt, A., Waas, F., Kersten, M., Carey, M.J., Manolescu, I., Busse, R.: XMark: a benchmark for XML data management. In: Proceedings of the 28th International Conference on Very Large Data Bases, VLDB Endowment, pp. 974–985 (2002)

21.

Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing approaches. Softw. Test. Verification Reliab. 22(5), 297–312 (2012)CrossRef

22.

Yao, B.B., Ozsu, M.T., Khandelwal, N.: XBench benchmark and performance testing of XML DBMSs. In: Proceedings of the 20th International Conference on Data Engineering, 2004, pp. 621–632. IEEE (2004)

Titel: XQuery Testing from XML Schema Based Random Test Cases
verfasst von: Jesús M. Almendros-Jiménez
Antonio Becerra-Terón
Verlag: Springer International Publishing
Buch: Database and Expert Systems Applications
Print ISBN: 978-3-319-22851-8

Electronic ISBN: 978-3-319-22852-5

Copyright-Jahr: 2015
DOI: https://doi.org/10.1007/978-3-319-22852-5_23

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