Abstract
The complexity of IT systems and the criticality of robust IT systems is constantly increasing. Testing a system requires consideration of different protocols and interfaces, which makes testing hard and expensive. Test automation is required to improve the quality of systems without cost explosion. Many standards like HTML and FTP are semi–formally defined in RFCs, which makes a generic algorithm for test data generation based on RFC relevant. The proposed approach makes it possible to automatically generate test data for protocols defined as ABNF in RFCs for robustness tests. The introduced approach was shown in practice by generating SIP messages based on the RFC specification of SIP. This approach shows the possibility to generate data for any RFC that uses ABNF, and provides a solid foundation for further empirical evaluation and extension for software testing purposes.
Chapter PDF
References
Aboulnaga, A., Naughton, J.F., Zhang, C.: Generating synthetic complex-structured XML data. In: Proc. 4th Int. Workshop on the Web and Databases, WebDB 2001 (2001)
Arcuri, A., Iqbal, M.Z., Briand, L.: Random testing: Theoretical results and practical implications. IEEE Trans. Softw. Eng. 38(2), 258–277 (2012)
Barbosa, D., Mendelzon, A., Keenleyside, J., Lyons, K.: ToXgene: a template-based data generator for XML. In: SIGMOD 2002: Proceedings of the 2002 ACM SIGMOD International Conference on Management of Data, pp. 616–616. ACM, New York (2002)
Bertolino, A., Gao, J., Marchetti, E., Polini, A.: TAXI–a tool for XML-based testing. In: ICSE COMPANION 2007: Companion to the Proceedings of the 29th International Conference on Software Engineering, pp. 53–54. IEEE Computer Society, Washington, DC (2007)
Caballero, J., Yin, H., Liang, Z., Song, D.: Polyglot: automatic extraction of protocol message format using dynamic binary analysis. In: CCS 2007: Proceedings of the 14th ACM Conference on Computer and Communications Security, pp. 317–329. ACM, New York (2007)
Carbin, M., Rinard, M.C.: Automatically identifying critical input regions and code in applications. In: ISSTA, pp. 37–48 (2010)
Crocker, E., Overell, P.: Augmented bnf for syntax specifications: Abnf (2008)
Ebert, C., Dumke, R.: Software Measurement: Establish - Extract - Evaluate - Execute, 1st edn. Springer (August 2007)
Fenner, B.: Bill fenner’s abnf extractor, http://code.google.com/p/bap/source/browse/trunk/aex (accessed: January 21, 2013)
Fong, J., Pang, F., Bloor, C.: Converting relational database into XML document, pp. 61–65 (2001)
I. E. T. Force. Overview of rfc decument series, http://www.rfc-editor.org/RFCoverview.html (accessed: January 26, 2013)
Gutjahr, W.: Partition testing vs. random testing: the influence of uncertainty. IEEE Transactions on Software Engineering 25(5), 661–674 (1999)
ITU-T. X.693 information technology ASN.1 encoding rules: XML encoding rules (XER). Identical standard: ISO/IEC 8825-4:2008 (Common) (November 2008)
Jacinto, M., Librelotto, G., Ramalho, J., Henriques, P.: Bidirectional conversion between XML documents and relational databases, pp. 437–443 (2002)
McCracken, D.D., Reilly, E.D.: Backus-naur form (bnf). In: Encyclopedia of Computer Science, pp. 129–131. John Wiley and Sons Ltd., Chichester
McMinn, P.: Search-based software test data generation: A survey. Software Testing, Verification and Reliability 14, 105–156 (2004)
Michael, C.C., McGraw, G., Schatz, M.A.: Generating software test data by evolution. IEEE Trans. Softw. Eng. 27(12), 1085–1110 (2001)
Myers, J., Rose, M.: The content-md5 header field (1995)
Ribeiro, J.C.B., Zenha-Rela, M.A., de Vega, F.F.: Test case evaluation and input domain reduction strategies for the evolutionary testing of object-oriented software. Information and Software Technology 51(11), 1534–1548 (2009)
Rosenberg, J., Schulzrinne, H., Camarillo, G., Johnston, A., Peterson, J., Sparks, R., Handley, M., Schooler, E.: RFC 3261: SIP - Session Initiation Protocol
Schanes, C., Fankhauser, F., Taber, S., Grechenig, T.: Generic data format approach for generation of security test data. In: The Third International Conference on Advances in System Testing and Validation Lifecycle, Barcelona, Spain. IEEE Computer Society Press, Los Alamitos (2011)
E. Standard. EBNF: ISO/IEC 14977: 1996 (E), http://www.cl.cam.ac.uk/mgk25/iso-14977.pdf
Stefanec, T., Skuliber, I.: Grammar-based sip parser implementation with performance optimizations. In: Proceedings of the 2011 11th International Conference on Telecommunications (ConTEL), pp. 81–86 (June 2011)
Van Deursen, D., Poppe, C., Martens, G., Mannens, E., Walle, R.: XML to RDF conversion: A generic approach, pp. 138–144 (November 2008)
Wirth, N.: What can we do about the unnecessary diversity of notation for syntactic definitions? Commun. ACM 20(11), 822–823 (1977)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 IFIP International Federation for Information Processing
About this paper
Cite this paper
Gruber, M., Wieser, P., Nachtnebel, S., Schanes, C., Grechenig, T. (2013). Extraction of ABNF Rules from RFCs to Enable Automated Test Data Generation. In: Janczewski, L.J., Wolfe, H.B., Shenoi, S. (eds) Security and Privacy Protection in Information Processing Systems. SEC 2013. IFIP Advances in Information and Communication Technology, vol 405. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39218-4_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-39218-4_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39217-7
Online ISBN: 978-3-642-39218-4
eBook Packages: Computer ScienceComputer Science (R0)