An Automated Approach of Test Case Generation for Concurrent Systems from Requirements Descriptions

Edgar Sarmiento, Julio C. S. P. Leite, Noemi Rodriguez, Arndt von Staa

Abstract

Concurrent applications are frequently written, however, there are no systematic approaches for testing them from requirements descriptions. Methods for sequential applications are inadequate to validate the reliability of concurrent applications and they are expensive and time consuming. So, it is desired that test cases can be automatically generated from requirements descriptions. This paper proposes an automated approach to generate test cases for concurrent applications from requirements descriptions. The Scenario language is the representation used for these descriptions. Scenario describes specific situations of the application through a sequence of episodes, episodes execute tasks and some tasks can be executed concurrently; these descriptions reference relevant words or phrases (shared resources), the lexicon of an application. In this process, for each scenario a directed graph is derived, and this graph is represented as an UML activity diagram. Because of multiple interactions among concurrent tasks, test scenario explosion becomes a major problem. This explosion is controlled adopting the interaction sequences and exclusive paths strategies. Demonstration of the feasibility of the proposed approach is based on two case studies.

References

  1. Binder, R. V., 2000. Testing object-oriented systems. Addison-Wesley.
  2. Cockburn, A.,2001. Writing Effective Use Cases. Addison-Wesley.
  3. Damas, C., Lambeau, B., Dupont, P. and Lamsweerde, A. v., 2005. Generating annotated behavior models from end-user scenarios. IEEE TSE, volume 31, number 12.
  4. Debasish, K. and Debasis, S., 2009. A novel approach to generate test cases from UML activity diagrams. Journal of Object Technology, volume 8, number 3.
  5. Denger, C. and Medina, M., 2003. Test Case Derived from Requirement Specifications, Fraunhofer IESE Report.
  6. Gutiérez, J. J., Escalona, M. J., Mejías, M. and Torres, J., 2006. An approach to generate test cases from use cases, Proceedings of the 6th International Conference on Web Engineering, pages 113-114.
  7. Heitmeyer, C., 2007. Formal methods for specifying, validating, and verifying requirements. J Univ Comput Sci, volume 13, number 5, pages 607-618.
  8. Heumann, J.,2001 Generating test Cases from use cases IBM Katayama, T., Itoh, E. and Furukawa, Z., 1999. Test-case generation for concurrent programs with the testing criteria using interaction sequences. Asia-Pacific Software Engineering Conference.
  9. Khandai, M., Acharya, A. and Mohapatra, D., 2011. A Novel Approach of Test Case Generation for Concurrent Systems Using UML Sequence Diagram. ICECT, 6, pages 157-161.
  10. Kim, H., Kang, S., Baik, J., Ko, I., 2007. Test Cases Generation from UML Activity Diagrams. In 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/ Distributed Computing, pages 556-561.
  11. Leite, J. C. S. P., Hadad, G., Doorn, J. and Kaplan, G., 2000. A scenario construction process. Requirements Engineering Journal, Springer-Verlag London Limited, volume 5, number 1, pages 38-61.
  12. Letier, E., Kramer, J., Magee, J. and Uchitel, S., 2005. Monitoring and Control in Scenario-based Requirements Analysis. ICSE.
  13. Sabharwal, S., Sibal, R. and Sharma, C., 2011. "Applying Genetic Algorithm for Prioritization of Test Case Scenarios Derived from UML Diagrams". IJCSI, 8.
  14. Sapna, P. G. and Hrushikesha, M., 2008. Automated Scenario Generation Based on UML Activity Diagrams. In Proceedings of the International Conference on Information Technology.
  15. Shirole, M. and Kumar, R., 2012. Testing for concurrency in UML diagrams. SIGSOFT Softw. Eng. Notes, volume 37, number 5.
  16. Sparx, 2011. Writing use case scenarios for model driven development. http://www.spaxsystems.com.
  17. Yan, J., Li, Z., Yuan, Y., Sun, W. and Zhang, J., 2006. BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach. In Proceedings of ISSRE'06, pages 75-84.
Download


Paper Citation


in Harvard Style

Sarmiento E., C. S. P. Leite J., Rodriguez N. and von Staa A. (2014). An Automated Approach of Test Case Generation for Concurrent Systems from Requirements Descriptions . In Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-758-028-4, pages 339-347. DOI: 10.5220/0004899703390347


in Bibtex Style

@conference{iceis14,
author={Edgar Sarmiento and Julio C. S. P. Leite and Noemi Rodriguez and Arndt von Staa},
title={An Automated Approach of Test Case Generation for Concurrent Systems from Requirements Descriptions},
booktitle={Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2014},
pages={339-347},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004899703390347},
isbn={978-989-758-028-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - An Automated Approach of Test Case Generation for Concurrent Systems from Requirements Descriptions
SN - 978-989-758-028-4
AU - Sarmiento E.
AU - C. S. P. Leite J.
AU - Rodriguez N.
AU - von Staa A.
PY - 2014
SP - 339
EP - 347
DO - 10.5220/0004899703390347