تقرير
COTS: Connected OpenAPI Test Synthesis for RESTful Applications
العنوان: | COTS: Connected OpenAPI Test Synthesis for RESTful Applications |
---|---|
المؤلفون: | Burlò, Christian Bartolo, Francalanza, Adrian, Scalas, Alceste, Tuosto, Emilio |
سنة النشر: | 2024 |
المجموعة: | Computer Science |
مصطلحات موضوعية: | Computer Science - Software Engineering, Computer Science - Logic in Computer Science |
الوصف: | We present a novel model-driven approach for testing RESTful applications. We introduce a (i) domain-specific language for OpenAPI specifications and (ii) a tool to support our methodology. Our DSL is inspired by session types and enables the modelling of communication protocols between a REST client and server. Our tool, dubbed COTS, generates (randomised) model-based test executions and reports software defects. We evaluate the effectiveness of our approach by applying it to test several open source applications. Our findings indicate that our methodology can identify nuanced defects in REST APIs and achieve comparable or superior code coverage when compared to much larger handcrafted test suites. Comment: This preprint is the author version of the paper published at COORDINATION 2024 |
نوع الوثيقة: | Working Paper |
DOI: | 10.1007/978-3-031-62697-5_5 |
URL الوصول: | http://arxiv.org/abs/2404.19614 |
رقم الأكسشن: | edsarx.2404.19614 |
قاعدة البيانات: | arXiv |
DOI: | 10.1007/978-3-031-62697-5_5 |
---|