Requirements-Driven Automated Software Testing: A Systematic Review Article Swipe
Fanyu Wang
,
Chetan Arora
,
Chakkrit Tantithamthavorn
,
Kao Li Huang
,
Aldeida Aleti
·
YOU?
·
· 2025
· Open Access
·
· DOI: https://doi.org/10.48550/arxiv.2502.18694
YOU?
·
· 2025
· Open Access
·
· DOI: https://doi.org/10.48550/arxiv.2502.18694
Automated software testing has significant potential to enhance efficiency and reliability within software development processes. However, its broader adoption faces considerable challenges, particularly concerning alignment between test generation methodologies and software requirements. REquirements-Driven Automated Software Testing (REDAST) addresses this gap by systematically leveraging requirements as the foundation for automated test artifact generation. This systematic literature review (SLR) critically examines the REDAST landscape, analyzing the current state of requirements input formats, transformation techniques, generated test artifacts, evaluation methods, and prevailing limitations. We conducted a thorough analysis of 156 relevant studies selected through a rigorous multi-stage filtering process from an initial collection of 27,333 papers sourced from six major research databases. Our findings highlight the predominance of functional requirements, model-based specifications, and natural language formats. Rule-based techniques are extensively utilized, while machine learning-based approaches remain relatively underexplored. Furthermore, most existing frameworks are sequential and dependent on singular intermediate representations, and while test cases, structured textual formats, and requirements coverage are common, full automation remains rare. We identify significant gaps related to automation completeness and dependency on input quality. This comprehensive synthesis provides a detailed overview of REDAST research and limitations, offering clear, evidence-based recommendations to guide future advancements in automated software testing.
Related Topics
Concepts
No concepts available.
Metadata
- Type
- preprint
- Language
- en
- Landing Page
- http://arxiv.org/abs/2502.18694
- https://arxiv.org/pdf/2502.18694
- OA Status
- green
- OpenAlex ID
- https://openalex.org/W4416043127
All OpenAlex metadata
Raw OpenAlex JSON
- OpenAlex ID
-
https://openalex.org/W4416043127Canonical identifier for this work in OpenAlex
- DOI
-
https://doi.org/10.48550/arxiv.2502.18694Digital Object Identifier
- Title
-
Requirements-Driven Automated Software Testing: A Systematic ReviewWork title
- Type
-
preprintOpenAlex work type
- Language
-
enPrimary language
- Publication year
-
2025Year of publication
- Publication date
-
2025-02-25Full publication date if available
- Authors
-
Fanyu Wang, Chetan Arora, Chakkrit Tantithamthavorn, Kao Li Huang, Aldeida AletiList of authors in order
- Landing page
-
https://arxiv.org/abs/2502.18694Publisher landing page
- PDF URL
-
https://arxiv.org/pdf/2502.18694Direct link to full text PDF
- Open access
-
YesWhether a free full text is available
- OA status
-
greenOpen access status per OpenAlex
- OA URL
-
https://arxiv.org/pdf/2502.18694Direct OA link when available
- Cited by
-
0Total citation count in OpenAlex
Full payload
| id | https://openalex.org/W4416043127 |
|---|---|
| doi | https://doi.org/10.48550/arxiv.2502.18694 |
| ids.doi | https://doi.org/10.48550/arxiv.2502.18694 |
| ids.openalex | https://openalex.org/W4416043127 |
| fwci | |
| type | preprint |
| title | Requirements-Driven Automated Software Testing: A Systematic Review |
| biblio.issue | |
| biblio.volume | |
| biblio.last_page | |
| biblio.first_page | |
| is_xpac | False |
| apc_list | |
| apc_paid | |
| language | en |
| locations[0].id | pmh:oai:arXiv.org:2502.18694 |
| locations[0].is_oa | True |
| locations[0].source.id | https://openalex.org/S4306400194 |
| locations[0].source.issn | |
| locations[0].source.type | repository |
| locations[0].source.is_oa | True |
| locations[0].source.issn_l | |
| locations[0].source.is_core | False |
| locations[0].source.is_in_doaj | False |
| locations[0].source.display_name | arXiv (Cornell University) |
| locations[0].source.host_organization | https://openalex.org/I205783295 |
| locations[0].source.host_organization_name | Cornell University |
| locations[0].source.host_organization_lineage | https://openalex.org/I205783295 |
| locations[0].license | |
| locations[0].pdf_url | https://arxiv.org/pdf/2502.18694 |
| locations[0].version | submittedVersion |
| locations[0].raw_type | text |
| locations[0].license_id | |
| locations[0].is_accepted | False |
| locations[0].is_published | False |
| locations[0].raw_source_name | |
| locations[0].landing_page_url | http://arxiv.org/abs/2502.18694 |
| locations[1].id | doi:10.48550/arxiv.2502.18694 |
| locations[1].is_oa | True |
| locations[1].source.id | https://openalex.org/S4306400194 |
| locations[1].source.issn | |
| locations[1].source.type | repository |
| locations[1].source.is_oa | True |
| locations[1].source.issn_l | |
| locations[1].source.is_core | False |
| locations[1].source.is_in_doaj | False |
| locations[1].source.display_name | arXiv (Cornell University) |
| locations[1].source.host_organization | https://openalex.org/I205783295 |
| locations[1].source.host_organization_name | Cornell University |
| locations[1].source.host_organization_lineage | https://openalex.org/I205783295 |
| locations[1].license | |
| locations[1].pdf_url | |
| locations[1].version | |
| locations[1].raw_type | article |
| locations[1].license_id | |
| locations[1].is_accepted | False |
| locations[1].is_published | |
| locations[1].raw_source_name | |
| locations[1].landing_page_url | https://doi.org/10.48550/arxiv.2502.18694 |
| indexed_in | arxiv, datacite |
| authorships[0].author.id | https://openalex.org/A5108050054 |
| authorships[0].author.orcid | https://orcid.org/0000-0002-9937-8534 |
| authorships[0].author.display_name | Fanyu Wang |
| authorships[0].author_position | first |
| authorships[0].raw_author_name | Wang, Fanyu |
| authorships[0].is_corresponding | False |
| authorships[1].author.id | https://openalex.org/A5019739552 |
| authorships[1].author.orcid | https://orcid.org/0000-0003-1466-7386 |
| authorships[1].author.display_name | Chetan Arora |
| authorships[1].author_position | middle |
| authorships[1].raw_author_name | Arora, Chetan |
| authorships[1].is_corresponding | False |
| authorships[2].author.id | https://openalex.org/A5081449581 |
| authorships[2].author.orcid | https://orcid.org/0000-0002-5516-9984 |
| authorships[2].author.display_name | Chakkrit Tantithamthavorn |
| authorships[2].author_position | middle |
| authorships[2].raw_author_name | Tantithamthavorn, Chakkrit |
| authorships[2].is_corresponding | False |
| authorships[3].author.id | https://openalex.org/A5084406562 |
| authorships[3].author.orcid | |
| authorships[3].author.display_name | Kao Li Huang |
| authorships[3].author_position | middle |
| authorships[3].raw_author_name | Huang, Kaicheng |
| authorships[3].is_corresponding | False |
| authorships[4].author.id | https://openalex.org/A5035346540 |
| authorships[4].author.orcid | https://orcid.org/0000-0002-1716-690X |
| authorships[4].author.display_name | Aldeida Aleti |
| authorships[4].author_position | last |
| authorships[4].raw_author_name | Aleti, Aldeida |
| authorships[4].is_corresponding | False |
| has_content.pdf | False |
| has_content.grobid_xml | False |
| is_paratext | False |
| open_access.is_oa | True |
| open_access.oa_url | https://arxiv.org/pdf/2502.18694 |
| open_access.oa_status | green |
| open_access.any_repository_has_fulltext | False |
| created_date | 2025-10-10T00:00:00 |
| display_name | Requirements-Driven Automated Software Testing: A Systematic Review |
| has_fulltext | False |
| is_retracted | False |
| updated_date | 2025-11-09T23:09:16.995542 |
| primary_topic | |
| cited_by_count | 0 |
| locations_count | 2 |
| best_oa_location.id | pmh:oai:arXiv.org:2502.18694 |
| best_oa_location.is_oa | True |
| best_oa_location.source.id | https://openalex.org/S4306400194 |
| best_oa_location.source.issn | |
| best_oa_location.source.type | repository |
| best_oa_location.source.is_oa | True |
| best_oa_location.source.issn_l | |
| best_oa_location.source.is_core | False |
| best_oa_location.source.is_in_doaj | False |
| best_oa_location.source.display_name | arXiv (Cornell University) |
| best_oa_location.source.host_organization | https://openalex.org/I205783295 |
| best_oa_location.source.host_organization_name | Cornell University |
| best_oa_location.source.host_organization_lineage | https://openalex.org/I205783295 |
| best_oa_location.license | |
| best_oa_location.pdf_url | https://arxiv.org/pdf/2502.18694 |
| best_oa_location.version | submittedVersion |
| best_oa_location.raw_type | text |
| best_oa_location.license_id | |
| best_oa_location.is_accepted | False |
| best_oa_location.is_published | False |
| best_oa_location.raw_source_name | |
| best_oa_location.landing_page_url | http://arxiv.org/abs/2502.18694 |
| primary_location.id | pmh:oai:arXiv.org:2502.18694 |
| primary_location.is_oa | True |
| primary_location.source.id | https://openalex.org/S4306400194 |
| primary_location.source.issn | |
| primary_location.source.type | repository |
| primary_location.source.is_oa | True |
| primary_location.source.issn_l | |
| primary_location.source.is_core | False |
| primary_location.source.is_in_doaj | False |
| primary_location.source.display_name | arXiv (Cornell University) |
| primary_location.source.host_organization | https://openalex.org/I205783295 |
| primary_location.source.host_organization_name | Cornell University |
| primary_location.source.host_organization_lineage | https://openalex.org/I205783295 |
| primary_location.license | |
| primary_location.pdf_url | https://arxiv.org/pdf/2502.18694 |
| primary_location.version | submittedVersion |
| primary_location.raw_type | text |
| primary_location.license_id | |
| primary_location.is_accepted | False |
| primary_location.is_published | False |
| primary_location.raw_source_name | |
| primary_location.landing_page_url | http://arxiv.org/abs/2502.18694 |
| publication_date | 2025-02-25 |
| publication_year | 2025 |
| referenced_works_count | 0 |
| abstract_inverted_index.a | 82, 91, 180 |
| abstract_inverted_index.We | 80, 163 |
| abstract_inverted_index.an | 97 |
| abstract_inverted_index.as | 44 |
| abstract_inverted_index.by | 40 |
| abstract_inverted_index.in | 196 |
| abstract_inverted_index.of | 66, 85, 100, 114, 183 |
| abstract_inverted_index.on | 143, 173 |
| abstract_inverted_index.to | 6, 168, 192 |
| abstract_inverted_index.156 | 86 |
| abstract_inverted_index.Our | 109 |
| abstract_inverted_index.and | 9, 29, 77, 119, 141, 147, 154, 171, 186 |
| abstract_inverted_index.are | 125, 139, 157 |
| abstract_inverted_index.for | 47 |
| abstract_inverted_index.gap | 39 |
| abstract_inverted_index.has | 3 |
| abstract_inverted_index.its | 16 |
| abstract_inverted_index.six | 105 |
| abstract_inverted_index.the | 45, 59, 63, 112 |
| abstract_inverted_index.This | 52, 176 |
| abstract_inverted_index.from | 96, 104 |
| abstract_inverted_index.full | 159 |
| abstract_inverted_index.gaps | 166 |
| abstract_inverted_index.most | 136 |
| abstract_inverted_index.test | 26, 49, 73, 149 |
| abstract_inverted_index.this | 38 |
| abstract_inverted_index.(SLR) | 56 |
| abstract_inverted_index.faces | 19 |
| abstract_inverted_index.guide | 193 |
| abstract_inverted_index.input | 68, 174 |
| abstract_inverted_index.major | 106 |
| abstract_inverted_index.rare. | 162 |
| abstract_inverted_index.state | 65 |
| abstract_inverted_index.while | 128, 148 |
| abstract_inverted_index.27,333 | 101 |
| abstract_inverted_index.REDAST | 60, 184 |
| abstract_inverted_index.cases, | 150 |
| abstract_inverted_index.clear, | 189 |
| abstract_inverted_index.future | 194 |
| abstract_inverted_index.papers | 102 |
| abstract_inverted_index.remain | 132 |
| abstract_inverted_index.review | 55 |
| abstract_inverted_index.within | 11 |
| abstract_inverted_index.Testing | 35 |
| abstract_inverted_index.between | 25 |
| abstract_inverted_index.broader | 17 |
| abstract_inverted_index.common, | 158 |
| abstract_inverted_index.current | 64 |
| abstract_inverted_index.enhance | 7 |
| abstract_inverted_index.initial | 98 |
| abstract_inverted_index.machine | 129 |
| abstract_inverted_index.natural | 120 |
| abstract_inverted_index.process | 95 |
| abstract_inverted_index.related | 167 |
| abstract_inverted_index.remains | 161 |
| abstract_inverted_index.sourced | 103 |
| abstract_inverted_index.studies | 88 |
| abstract_inverted_index.testing | 2 |
| abstract_inverted_index.textual | 152 |
| abstract_inverted_index.through | 90 |
| abstract_inverted_index.(REDAST) | 36 |
| abstract_inverted_index.However, | 15 |
| abstract_inverted_index.Software | 34 |
| abstract_inverted_index.adoption | 18 |
| abstract_inverted_index.analysis | 84 |
| abstract_inverted_index.artifact | 50 |
| abstract_inverted_index.coverage | 156 |
| abstract_inverted_index.detailed | 181 |
| abstract_inverted_index.examines | 58 |
| abstract_inverted_index.existing | 137 |
| abstract_inverted_index.findings | 110 |
| abstract_inverted_index.formats, | 69, 153 |
| abstract_inverted_index.formats. | 122 |
| abstract_inverted_index.identify | 164 |
| abstract_inverted_index.language | 121 |
| abstract_inverted_index.methods, | 76 |
| abstract_inverted_index.offering | 188 |
| abstract_inverted_index.overview | 182 |
| abstract_inverted_index.provides | 179 |
| abstract_inverted_index.quality. | 175 |
| abstract_inverted_index.relevant | 87 |
| abstract_inverted_index.research | 107, 185 |
| abstract_inverted_index.rigorous | 92 |
| abstract_inverted_index.selected | 89 |
| abstract_inverted_index.singular | 144 |
| abstract_inverted_index.software | 1, 12, 30, 198 |
| abstract_inverted_index.testing. | 199 |
| abstract_inverted_index.thorough | 83 |
| abstract_inverted_index.Automated | 0, 33 |
| abstract_inverted_index.addresses | 37 |
| abstract_inverted_index.alignment | 24 |
| abstract_inverted_index.analyzing | 62 |
| abstract_inverted_index.automated | 48, 197 |
| abstract_inverted_index.conducted | 81 |
| abstract_inverted_index.dependent | 142 |
| abstract_inverted_index.filtering | 94 |
| abstract_inverted_index.generated | 72 |
| abstract_inverted_index.highlight | 111 |
| abstract_inverted_index.potential | 5 |
| abstract_inverted_index.synthesis | 178 |
| abstract_inverted_index.utilized, | 127 |
| abstract_inverted_index.Rule-based | 123 |
| abstract_inverted_index.approaches | 131 |
| abstract_inverted_index.artifacts, | 74 |
| abstract_inverted_index.automation | 160, 169 |
| abstract_inverted_index.collection | 99 |
| abstract_inverted_index.concerning | 23 |
| abstract_inverted_index.critically | 57 |
| abstract_inverted_index.databases. | 108 |
| abstract_inverted_index.dependency | 172 |
| abstract_inverted_index.efficiency | 8 |
| abstract_inverted_index.evaluation | 75 |
| abstract_inverted_index.foundation | 46 |
| abstract_inverted_index.frameworks | 138 |
| abstract_inverted_index.functional | 115 |
| abstract_inverted_index.generation | 27 |
| abstract_inverted_index.landscape, | 61 |
| abstract_inverted_index.leveraging | 42 |
| abstract_inverted_index.literature | 54 |
| abstract_inverted_index.prevailing | 78 |
| abstract_inverted_index.processes. | 14 |
| abstract_inverted_index.relatively | 133 |
| abstract_inverted_index.sequential | 140 |
| abstract_inverted_index.structured | 151 |
| abstract_inverted_index.systematic | 53 |
| abstract_inverted_index.techniques | 124 |
| abstract_inverted_index.challenges, | 21 |
| abstract_inverted_index.development | 13 |
| abstract_inverted_index.extensively | 126 |
| abstract_inverted_index.generation. | 51 |
| abstract_inverted_index.model-based | 117 |
| abstract_inverted_index.multi-stage | 93 |
| abstract_inverted_index.reliability | 10 |
| abstract_inverted_index.significant | 4, 165 |
| abstract_inverted_index.techniques, | 71 |
| abstract_inverted_index.Furthermore, | 135 |
| abstract_inverted_index.advancements | 195 |
| abstract_inverted_index.completeness | 170 |
| abstract_inverted_index.considerable | 20 |
| abstract_inverted_index.intermediate | 145 |
| abstract_inverted_index.limitations, | 187 |
| abstract_inverted_index.limitations. | 79 |
| abstract_inverted_index.particularly | 22 |
| abstract_inverted_index.predominance | 113 |
| abstract_inverted_index.requirements | 43, 67, 155 |
| abstract_inverted_index.comprehensive | 177 |
| abstract_inverted_index.methodologies | 28 |
| abstract_inverted_index.requirements, | 116 |
| abstract_inverted_index.requirements. | 31 |
| abstract_inverted_index.evidence-based | 190 |
| abstract_inverted_index.learning-based | 130 |
| abstract_inverted_index.systematically | 41 |
| abstract_inverted_index.transformation | 70 |
| abstract_inverted_index.underexplored. | 134 |
| abstract_inverted_index.recommendations | 191 |
| abstract_inverted_index.specifications, | 118 |
| abstract_inverted_index.representations, | 146 |
| abstract_inverted_index.REquirements-Driven | 32 |
| cited_by_percentile_year | |
| countries_distinct_count | 0 |
| institutions_distinct_count | 5 |
| citation_normalized_percentile |