کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4951749 | 1441601 | 2017 | 44 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Concolic testing for functional languages
ترجمه فارسی عنوان
تست کنکلی برای زبانهای کاربردی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
تست کنکلی، اعدام نمادین، تطبیق الگو، ارلانگ،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
Concolic testing is a software testing technique that simultaneously combines concrete execution of a program (given specific input, along specific paths) with symbolic execution (generating new test inputs that explore other paths, which gives better path coverage than random test case generation). So far, concolic testing has been applied, mainly at the level of bytecode or assembly code, to programs written in imperative languages that manipulate primitive data types such as integers and arrays. In this article, we demonstrate its application to a functional programming language core, the functional subset of Core Erlang, that supports pattern matching, structured recursive data types such as lists, recursion and higher-order functions. We present CutEr, a tool implementing this testing technique, and describe its architecture, the challenges that it needs to address, its current limitations, and report some experiences from its use.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volume 147, 1 November 2017, Pages 109-134
Journal: Science of Computer Programming - Volume 147, 1 November 2017, Pages 109-134
نویسندگان
Aggelos Giantsios, Nikolaos Papaspyrou, Konstantinos Sagonas,