skip to main content
research-article

A prolific approach for automated generation of test cases from informal requirements

Published: 22 October 2010 Publication History

Abstract

Specification-based testing begins with the documentation of customers' requirements. This informal depiction of requirements needs to undergo formalization for effective test case generation to corroborate specification-based testing so as to catapult validation testing. In this paper, we discuss a credible approach for test suite generation by formalizing the informal requirements that further proves prolific in pioneering effective test case generation. The endeavor is directed towards testing software in the absence of source code.

References

[1]
Offut, J., Liu, S., Abdurazik, A., and Ammann, P., "Generating Test data from State based Specifications", Journal of Software Testing, Verification and Reliability, 2003, pp. 25--53.
[2]
Patton, R., "Software Testing-2nd Edition", SAMS Publication, 2nd Ed., 2005.
[3]
Liu, S., "Utilizing Formalization to Test Programs without Available Source Code", in Proceedings of the 8th International Conference on Quality Software, QSIC, 2008.
[4]
Bryant, B. R., Lee, B. S., Cao, F., Zhao, W., Gray, J. G., Burt, C. C., et al., "From Natural Language Requirements to Executable Models of Software Components", 2003.
[5]
Formal Methods. Web: http://www.ece.cmu.edu/~koopman/des_s99/formal_methods/
[6]
Fahmi, S. A. and Choi, H., "A Study on Software Component Selection Methods", in the Proceedings of 11th International Conference on Advanced Communication Technology, vol. 1, 2009, pp. 288--292.
[7]
Somé, S., "Beyond Scenarios: Generating State Models from Use Cases", In Scenarios and state machines: models, algorithms, and tools (SCESM'02), 2002.
[8]
Offutt, J., Xiong, Y., and Liu, S., "Criteria for Generating Specification-based Tests", in Proceedings of the 5th International Conference on Engineering of Complex Computer Systems, 1999, pp. 119--129.
[9]
Offutt, J. and Abdurazik, A., "Generating Tests from UML Specifications", in Proceedings of 2nd International Conference on Unified Modeling Language (UML 99), Fort Collins, CO, 1999.
[10]
Hartmann, J., Vieira, M., Foster, H., and Ruder, A., UML based Test Generation and Execution. Web: www.gm.fh_koelin.de/~winter/tav/html/tav21/TAV21P6Vieira.pdf.
[11]
Tang, S., Poon, P., and Chen, T. Y., Teaching Specification-Based Testing. Web: www.testingeducation.com.
[12]
Grochtmann, M., "Test Case Design Using Classification Trees", in the Proceedings of the International Conference on Software Testing Analysis and Review (STAR 1994), Washington D.C., USA, 1994.
[13]
Mussa, M., Ouchani, S., Sammane, W. A., and Lhadj, A. H., "A Survey of Model-Driven Testing Techniques", in the Proceedings of the 9th International Conference on Quality Software, 2009, pp. 167--172.
[14]
UBET. Web: http://cm.bell-labs.com/cm/cs/what/ubet/.

Cited By

View all
  • (2023)User acceptance test for software development in the agricultural domain using natural language processingJournal of Decision Systems10.1080/12460125.2023.222957933:4(913-936)Online publication date: 29-Jun-2023
  • (2021)AGUTER a platform for automated generation of user acceptance tests from requirements specificationsKybernetes10.1108/K-04-2021-025252:1(44-63)Online publication date: 10-Sep-2021
  • (2012)Technical Aspects: MugglImproving Software Testing10.1007/978-3-642-27464-0_4(71-93)Online publication date: 3-Feb-2012

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes  Volume 35, Issue 5
September 2010
134 pages
ISSN:0163-5948
DOI:10.1145/1838687
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 22 October 2010
Published in SIGSOFT Volume 35, Issue 5

Check for updates

Author Tags

  1. formalization
  2. requirements
  3. specification-based
  4. test cases
  5. testing
  6. validation testing

Qualifiers

  • Research-article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)3
  • Downloads (Last 6 weeks)0
Reflects downloads up to 15 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2023)User acceptance test for software development in the agricultural domain using natural language processingJournal of Decision Systems10.1080/12460125.2023.222957933:4(913-936)Online publication date: 29-Jun-2023
  • (2021)AGUTER a platform for automated generation of user acceptance tests from requirements specificationsKybernetes10.1108/K-04-2021-025252:1(44-63)Online publication date: 10-Sep-2021
  • (2012)Technical Aspects: MugglImproving Software Testing10.1007/978-3-642-27464-0_4(71-93)Online publication date: 3-Feb-2012

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media