Automated Generation of Test Cases from Logical Specification of Software Requirements

Richa Sharma, K. K. Biswas

Abstract

The quality of the delivered software relies on rigorous testing performed. However, designing good test cases is a challenging task. The challenges are multi-fold and test-cases design is often delayed towards the end of implementation phase. In this paper, we propose an approach to automatically generate test cases from the logical form of 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 predicates is used to automatically generate the test cases. We evaluate the effectiveness of our generated test-cases through case-studies.

References

  1. Ammann, P. and Offutt, J., 2008, Introduction to Software Testing, Cambridge University Press, USA.
  2. Incomplete List of Testing Tools. Available from: http://research.cs.queensu.ca/shepard/testing.dir/unde r.construction/tool_list.html. [20 January 2014].
  3. Tsai, J.J.P. and Weigert, T., 1991, HCLIE: a logic based requirement language for new Software Engineering Paradigms, Software Engineering, vol. 6, no. 4, pp. 137-151.
  4. Boghdady, P.N., Badr, N.L., Hashem, M. and Tolba, M.F., 2011, A Proposed Test Case Generation Technique Based on Activity Diagrams, International Journal of Engineering and Technology, vol. 11, no. 3, pp. 35-52.
  5. Kansomkeat, S., Thiket, P. and Offutt, J., 2010, Generating Test Cases from UML Activity Diagrams using the Condition Classifcation Method, In 2nd International Conference on Software technology and Engineering (ICSTE'10), San Juan, pp. V1-62 - V1- 66.
  6. Li, L., Li, X., He T. and Xiong, J., 2013, Extenics-based Test Case Generation for UML Activity Diagram, In International Conference on Information Technology and Quantitative Management (ITQM'13), pp. 1186- 1193.
  7. Heumann, J., 2001, Generating Test Cases from Use Cases, In the Rational Edge, e-zine for Rational Community.
  8. Ahlowalia, N., 2002, Testing from Use Cases Using Path Analysis Technqiue, Analysis, In International Conference on Software Testing Analysis and Review.
  9. Kamalkar, S., Edward, S.H. and Dao, T.M., 2013, Automatically Generating Tests from Natural Language Descriptions of Software Behavior, In 8th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE'13).
  10. Sharma R. and Biswas, K.K., 2012, A Semi-automated Approach towards Handling Inconsistencies in Software Requirements. In: Maciaszek, L.A. and Filipe, J. (eds.), Evaluation of Novel Approaches to Software Engineering, Springer Berlin Heidelberg, pp. 142-156.
  11. Sharma, R. and Biswas, K.K. 2012, Using Norm Analysis Patterns for Requirements Validation, In IEEE 2nd International Workshop on Requirements Patterns (RePa), pp.23-28.
  12. Shieber, S.M., Noord, G.N, Moore R. and Pereira, C.N., 1989, A Semantic-head-driven generation algorithm for unification-based formalisms, In Proceedings of the 27th Annual Meeting of the Association for Computational Linguistics, pp. 7-17.
  13. Reiter, R., 1980, A logic for default reasoning, Artificial Intlligence, vol. 13, pp. 81-132.
  14. Nute, D., 2001, Defeasible Logic, In Proceedings of International Conference on Applications of Prolog (INAP 2001), IF Computer Japan, 2001, pp 87-114.
  15. Grosof, B.N., 1997. Courteous Logic Programs: prioritized conflict handling for rules. IBM Research Report RC20836, IBM Research Division, T.J. Watson Research Centre.
  16. Grosof, B.N., 2004. Representing E-Commerce Rules via situated courteous logic programs in RuleML. Electronic Commerce Research and Applications, Vol 3, Issue 1, 2004, pp 2-20.
  17. Kaur, A. and Vig, V., 2012, Systematic Review of Automatic Test Case Generation by UML Diagrams, International Journal of Engineering Research and Technology, vol. 1, no. 7.
  18. Gutierrez, J.J., Escalona, M.J., Mejias, M. and Torres, J., 2006, Generation of test cases from functional requirements. A survey, In 4th workshop on System Testing and Validation, Potsdam, Germany.
  19. Hartmann, J., Vieira, M., Foster, H., Ruder, A., 2005, A UML-based Approach to System Testing, Journal of Innovations System Software Engineering, vol. 1, pp. 12-24.
  20. Offutt, J. and Abdurazik, A., 1999, Generating Tests from UML Specifications, In UML'99 - The Unified Modeling Language, Springer Berlin Heidelberg, pp. 416 - 429.
  21. Pretschner, A., 2001, Classical search strategies for test case generation with Constraint Logic Programming, In Proceedings of International Workshop of Formal Approaches to Software Testing of Software, pp. 47- 60.
  22. Mandrioli, D., Morasca, S. and Morzenti, A., 1995, Generating Test Cases for Real-Time Systems from Logical Specifications, ACM Transactions on Computer Systems, vol. 13, no. 4, pp. 365-398.
  23. Grasso, F., 2000, Natural Language Processing: many questions, no answers, Available from: http://www.academia.edu/2824428/Natural_Language _Processing_many_questions_no answers. [20 January, 2014]
Download


Paper Citation


in Harvard Style

Sharma R. and K. Biswas K. (2014). Automated Generation of Test Cases from Logical Specification of Software Requirements . In Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-030-7, pages 241-248. DOI: 10.5220/0004972902410248


in Bibtex Style

@conference{enase14,
author={Richa Sharma and K. K. Biswas},
title={Automated Generation of Test Cases from Logical Specification of Software Requirements},
booktitle={Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2014},
pages={241-248},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004972902410248},
isbn={978-989-758-030-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - Automated Generation of Test Cases from Logical Specification of Software Requirements
SN - 978-989-758-030-7
AU - Sharma R.
AU - K. Biswas K.
PY - 2014
SP - 241
EP - 248
DO - 10.5220/0004972902410248