Extending Data Flow Coverage to Test Constraint Refinements
Pages 313 - 321
Abstract
This paper presents a new data flow coverage criterion for a deeper analysis of possible refinements to the constraints on paths unfolding of software program’s behavior. Such refinements represent a feasible chain of usages of the same variable without redefinitions in-between. An algorithm for reasonable chains selection is proposed.
References
[1]
Miranda, B., Bertolino, A.: Testing relative to usage scope: revisiting software coverage criteria. ACM Trans. Softw. Eng. Methodol. 29(3), 18. 24p. (2020)
[2]
Lee, J., Kang, S., Pilsu, J.: Test coverage criteria for software product line testing: Systematic literature review. Inf. Softw. Techn. 122, 106272 (2020)
[3]
Gay G, Staats M, Whalen M, and Heimdahl M The risks of coverage-directed test case generation IEEE Trans. Softw. Eng. 2015 41 803-819
[4]
Inozemtseva, L., Holmes, R.: Coverage is not strongly correlated with test suite effectiveness. In: Proceedings of ACM ICSE, pp. 435–445 (2015)
[5]
Kolchin A, Potiyenko S, and Weigert T Challenges for automated, model-based test scenario generation Comm. Comput. Inf. Sci. 2019 1078 182-194
[6]
Su T., et al.: A survey on data-flow testing. ACM Comput. Surv. 50, 35p (2017)
[7]
Sahoo, R.R., Ray, M.: Metaheuristic techniques for test case generation: a review. Research anthology on agile software. Softw. Dev. Test. 1043–1058 (2022)
[8]
Hong HS and Ural H Khendek F and Dssouli R Dependence testing: extending data flow testing with control dependence Testing of Communicating Systems 2005 Heidelberg Springer 23-39
[9]
Rapps, S., Weyuker, E.: Data flow analysis techniques for test data selection. In: Proceedings of the International Conference of Software Engineering. pp. 272–277 (1982)
[10]
Laski J and Korel B A data flow oriented program testing strategy IEEE Trans. Softw. Eng. 1983 9 3 347-354
[11]
Chilenski J and Miller S Applicability of modified condition/decision coverage to software testing Softw. Eng. J. 1994 7 5 193-200
[12]
Static single assignment book (2018). https://pfalcon.github.io/ssabook/latest/book-full.pdf. Accessed 6 Apr 2022
[13]
Weigert T et al. Fonseca i Casas P, Sancho M-R, Sherratt E, et al. Generating test suites to validate legacy systems System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 2019 Cham Springer 3-23
[14]
Kolchin, A.: A novel algorithm for attacking path explosion in model-based test generation for data flow coverage. In: Proceedings of IEEE 1st International Conference on System Analysis and Intelligent Computing, SAIC. pp. 226–231 (2018)
[15]
Ntafos S On required element testing IEEE Trans. Softw. Eng. 1984 10 795-803
[16]
Kolchin, A., Potiyenko, S., Weigert, T.: Extending data flow coverage with redefinition analysis. In: Proceedings of the IEEE International Conference on Information and Digital Technologies. pp. 293–296 (2021)
[17]
Chaim, M.L., Baral, K., Offutt, J., Concilio, M.: Araujo, R.P.A.: Efficiently finding data flow subsumptions. In: Proceedings of 14th IEEE Conference on Software Testing, Verification and Validation (ICST). pp. 94–104 (2021)
[18]
Gal, R., Haber, E., Ibraheem, W., Irwin, B., Nevo, Z., Ziv, A.: Automatic scalable system for the coverage-directed generation (CDG) problem. In: Proceedings of Design, Automation & Test in Europe Conference & Exhibition (DATE), pp. 206–211 (2021)
Index Terms
- Extending Data Flow Coverage to Test Constraint Refinements
Index terms have been assigned to the content through auto-classification.
Recommendations
Comparing non-adequate test suites using coverage criteria
ISSTA 2013: Proceedings of the 2013 International Symposium on Software Testing and AnalysisA fundamental question in software testing research is how to compare test suites, often as a means for comparing test-generation techniques. Researchers frequently compare test suites by measuring their coverage. A coverage criterion C provides a set ...
Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites
Special Issue on ISSTA 2013A fundamental question in software testing research is how to compare test suites, often as a means for comparing test-generation techniques that produce those test suites. Researchers frequently compare test suites by measuring their coverage. A ...
Increasing The Thoroughness Of Data Flow Testing With The Required k-Use Chains
ICCTA '24: Proceedings of the 2024 10th International Conference on Computer Technology ApplicationsThe required k-use chain is a new data flow coverage criterion designed to provide deeper analysis of possible refinements of constraints on program behavior paths. Such refinements represent a feasible chain of usages of the same variable without ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Jun 2022
371 pages
© Springer Nature Switzerland AG 2022.
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 07 June 2022
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 27 Nov 2024
Other Metrics
Citations
Cited By
View allView Options
View options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in