کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6871018 | 681589 | 2016 | 36 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A semantic approach for automated test oracle generation
ترجمه فارسی عنوان
یک رویکرد معنایی برای تولید نسل تست اوراکل تست خودکار
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
تست نرم افزار، نسل تولید تست، تست اوراکل، معانی انتزاعی،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
This paper presents the design, implementation, and applications of a software testing tool, TAO, which allows users to specify and generate test cases and oracles in a declarative way. Extended from its previous grammar-based test generation tool, TAO provides a declarative notation for defining denotational semantics on each productive grammar rule, such that when a test case is generated, its expected semantics will be evaluated automatically as well, serving as its test oracle. TAO further provides a simple tagging mechanism to embed oracles into test cases for bridging the automation between test case generation and software testing. Two practical case studies are used to illustrate how automated oracle generation can be effectively integrated with grammar-based test generation in different testing scenarios: locating fault-inducing input patterns on Java applications; and Selenium-based automated web testing.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Computer Languages, Systems & Structures - Volume 45, April 2016, Pages 204-219
Journal: Computer Languages, Systems & Structures - Volume 45, April 2016, Pages 204-219
نویسندگان
Hai-Feng Guo,