期刊文献+

Automated Test Case Generation from Requirements: A Systematic Literature Review 被引量:1

下载PDF
导出
摘要 Software testing is an important and cost intensive activity in software development.The major contribution in cost is due to test case generations.Requirement-based testing is an approach in which test cases are derivative from requirements without considering the implementation’s internal structure.Requirement-based testing includes functional and nonfunctional requirements.The objective of this study is to explore the approaches that generate test cases from requirements.A systematic literature review based on two research questions and extensive quality assessment criteria includes studies.The study identies 30 primary studies from 410 studies spanned from 2000 to 2018.The review’s nding shows that 53%of journal papers,42%of conference papers,and 5%of book chapters’address requirementsbased testing.Most of the studies use UML,activity,and use case diagrams for test case generation from requirements.One of the signicant lessons learned is that most software testing errors are traced back to errors in natural language requirements.A substantial amount of work focuses on UML diagrams for test case generations,which cannot capture all the system’s developed attributes.Furthermore,there is a lack of UML-based models that can generate test cases from natural language requirements by rening them in context.Coverage criteria indicate how efciently the testing has been performed 12.37%of studies use requirements coverage,20%of studies cover path coverage,and 17%study basic coverage.
出处 《Computers, Materials & Continua》 SCIE EI 2021年第5期1819-1833,共15页 计算机、材料和连续体(英文)
基金 supported by Tecnologico de Monterrey,Mexico.
  • 相关文献

参考文献2

二级参考文献10

  • 1Narayanan S, McIlraith S. Simulation, verification and automa- ted composition of web services [ C ]//Lassner D, Roure D D, Iyengar A. International World Wide Web Conference. Honolulu : ACM, 2002:77 - 88.
  • 2Fu X, Buhan T, Su J. Analysis of interacting BPEL web services[ C]//Feldman S, Uretsky M, Najork M, et al. International World Wide Web Conference. Manhattan: ACM, 2004:621 630.
  • 3Barbon F, Traverso P, Pistore M, et al. Run-time monitoring of instances and classes of web service compositions [ C ]//Leymann F, Zhang L J. Web Services. Chicago: IEEE, 2006:63 -71.
  • 4Martin D, Burstein M, Hobbs J, et al. OWL-S: semantic mark-up for web services [ EB/OL]. Arlington : DAML Organization, 2003 [ 2006 -03 ]. http://www, daml. org/services/owl-s/index. html.
  • 5Dillon L D, Ramakrishna Y S. Generating oracles from your favorite temporal logic specifications[ C ]//Garlan D. Foundations of Software Engineering. San Francisco :ACM, 1996 : 106 - 117.
  • 6Havelund K, Rosu G. Testing linear temporal logic formulae on Finite execution traces [ R ]. TR01 -08, 2001.
  • 7Huang H, Tsai W T, Paul R. Automated model checking and testing for composite Web Services[ C ]//Moody S, Ranning F. Object-Oriented Real-Time Distributed Computing 2005. ISORC 2005. Eighth IEEE International Symposium. Washington:IEEE Computer Society, 2005 : 300 - 307
  • 8Tsai W T, Wei X, Chen Y. Developing and assuring trustworthy Web services[C]// Autonomous Decentralized Systems, 2005. ISADS 2005. Piscatawory : IEEE, 2005 : 43 - 50
  • 9Tan L, Sokolsky O, Lee I. Specification-based testing with linear temporal logic [ C ]// Information Reuse and Integration, 2004. IRI 2004. Proceedings of the 2004 IEEE International Conference. New York : IEEE, 2004:493 - 498
  • 10Bouquet F, Dadeau F, Groslambert J. Safety property driven test generation from JML specifications[C]//FATES/RV'06, LNCS. Heidelberg:Springer-Verlag, 2006 : 225 - 239

共引文献3

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部