论文信息 - NLForSpec: Translating Natural Language Descriptions into Formal Test Case Specifications

NLForSpec: Translating Natural Language Descriptions into Formal Test Case Specifications

This paper describes the NLForSpec, a Natural Language (NL) processing tool to translate software test cases descriptions in NL into a formal representation in CSP specification language. NLForSpec is part of a larger project which aims to automate test case generation, selection and evaluation for mobile phone applications. Our tool can be used in the process of update or partially generate requirements documents from test cases (one of the project’s main goals). The NLForSpec architecture follows the traditional pipeline NL interpretation approach, counting on a lexicon, a case grammar (to represent semantic information) and a domain ontology. The prototype was tested with a corpus of 100 test cases descriptions, obtaining a performance rate of 91%. This is an original and innovative work.

[1] Vander Alves,et al. PDC: Persistent Data Collections pattern , 2001 .

[2] Joseph D. Becker. The Phrasal Lexicon , 1975, TINLAP.

[3] Derek Long,et al. Reasoning by analogy and causality - a model and application , 1994 .

[4] Paola Inverardi,et al. Towards Anti-Model-based Testing , 2004 .

[5] Walling R. Cyre,et al. Generating VHDL models from natural language descriptions , 1994, EURO-DAC '94.

[6] Robert Dale,et al. Handbook of Natural Language Processing , 2001, Computational Linguistics.

[7] C. Fillmore. FRAME SEMANTICS AND THE NATURE OF LANGUAGE * , 1976 .

[8] Anna Maria Di Sciullo,et al. Natural Language Understanding , 2009, SoMeT.

[9] Luisa Mich,et al. NL-OOPS: from natural language to object oriented requirements using the natural language processing system LOLITA , 1996, Natural Language Engineering.

[10] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.

[11] Dan Klein,et al. Feature-Rich Part-of-Speech Tagging with a Cyclic Dependency Network , 2003, NAACL.

[12] John B. Lowe,et al. The Berkeley FrameNet Project , 1998, ACL.

[13] Tadao Kasami,et al. A translation method from natural language specifications into formal specifications using contextual dependencies , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.