Abstract
The quality of the delivered software relies on rigorous testing performed and testing is as good as the test-cases. However, designing good test-cases is a challenging task. The challenges are multi-fold and designing test-cases is often delayed towards the end of implementation phase during software development. In this paper, we propose an approach to automatically generate the test-cases from logical form of the requirements specifications during early phases of software development. Our approach is based on courteous logic representation of requirements. The knowledge stored in the courteous logic representation of requirements is used to automatically generate trivial as well as functional test-cases. We present an evaluation of the effectiveness of our generated test-cases through the case-studies conducted. We further report our observations for the empirical study conducted with subjects from different backgrounds.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Ammann, P., Offutt, J.: Introduction to Software Testing. Cambridge University Press, USA (2008)
Incomplete List of Testing Tools. http://research.cs.queensu.ca/~shepard/testing.dir/under.construction/tool_list.html
Tsai, J.J.P., Weigert, T.: HCLIE: a logic based requirement language for new software engineering paradigms. Softw. Eng. 6(4), 137–151 (1991)
Boghdady, P.N., Badr, N.L., Hashem, M., Tolba, M.F.: A proposed test case generation technique based on activity diagrams. Int. J. Eng. Technol. 11(3), 35–52 (2011)
Kansomkeat, S., Thiket, P., Offutt, J.: Generating test cases from UML activity diagrams using the condition classification method. In: 2nd International Conference on Software Technology and Engineering (ICSTE 2010), pp. V1-62–V1-66, San Juan (2010)
Li, L., Li, X., He T., Xiong, J.: Extenics-based test case generation for UML activity diagram. In: International Conference on Information Technology and Quantitative Management (ITQM 2013), pp. 1186-1193 (2013)
Hartmann, J., Vieira, M., Foster, H., Ruder, A.: A UML-based approach to system testing. J. Innovations Syst. Softw. Eng. 1(1), 12–24 (2005)
Offutt, J., Abdurazik, A.: Generating tests from UML specifications. In: France, R.B. (ed.) UML 1999. LNCS, vol. 1723, pp. 416–429. Springer, Heidelberg (1999)
Heumann, J.: Generating test cases from use cases. In the Rational Edge, e-zine for Rational Community (2001)
Ahlowalia, N.: Testing from use cases using path analysis technique. In: International Conference on Software Testing Analysis and Review (2002)
Kamalkar, S., Edward, S.H., Dao, T.M.: Automatically generating tests from natural language descriptions of software behavior. In: 8th International Conference on Evaluation of Novel Approaches to Software Engineering, France (2013)
Sharma, R., Biswas, K.K.: A Semi-automated approach towards handling inconsistencies in software requirements. In: Maciaszek, L.A., Filipe, J. (eds.) Evaluation of Novel Approaches to Software Engineering, pp. 142–156. Springer, Heidelberg (2012)
Sharma, R., Biswas, K.K.: Using norm analysis patterns for requirements validation. In: IEEE 2nd International Workshop on Requirements Patterns (RePa), pp. 23–28 (2012)
Shieber, S.M., Noord, G.N, Moore, R., Pereira, C.N.: A Semantic-head-driven generation algorithm for unification-based formalisms. In: 27th Annual Meeting of the Association for Computational Linguistics, pp. 7–17 (1989)
Sharma, R., Biswas, K.K.: Automated generation of test cases from logical specification of requirements. In: 9th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), Lisbon, Portugal (2014)
Reiter, R.: A logic for default reasoning. Artif. Intell. 13, 81–132 (1980)
Nute, D.: Defeasible logic. In: Proceedings of International Conference on Applications of Prolog (INAP 2001), pp. 87–114. IF Computer Japan (2001)
Grosof, B.N.: Courteous logic programs: prioritized conflict handling for rules. IBM Research Report RC20836, IBM Research Division, T.J. Watson Research Centre (1997)
Grosof, B.N.: Representing e-commerce rules via situated courteous logic programs in RuleML. Electron. Commer. Res. Appl. 3(1), 2–20 (2004)
Kaur, A. and Vig, V.: Systematic review of automatic test case generation by UML diagrams. Int. J. Eng. Res. Technol. 1(7) (2012)
Gutierrez, J.J., Escalona, M.J., Mejias, M., Torres, J.: Generation of test cases from functional requirements, a survey. In: 4th workshop on System Testing and Validation, Potsdam, Germany (2006)
Pertschner, A.: Classical search strategies for test case generation with constraint logic programming. In: International Workshop of Formal Approaches to Software Testing of Software, pp. 47–60 (2001)
Mandrioli, D., Morasca, S., Morzenti, A.: Generating test cases for real-time systems from logical specifications. ACM Trans. Comput. Syst. 13(4), 365–398 (1995)
Grasso, F.: Natural language processing: many questions, no answers. http://www.academia.edu/2824428/Natural_Language_Processing_many_questions_no_answers
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Sharma, R., Biswas, K.K. (2015). Natural Language Generation Approach for Automated Generation of Test Cases from Logical Specification of Requirements. In: Maciaszek, L., Filipe, J. (eds) Evaluation of Novel Approaches to Software Engineering. ENASE 2014. Communications in Computer and Information Science, vol 551. Springer, Cham. https://doi.org/10.1007/978-3-319-27218-4_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-27218-4_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-27217-7
Online ISBN: 978-3-319-27218-4
eBook Packages: Computer ScienceComputer Science (R0)