کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
423480 685238 2007 24 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction
چکیده انگلیسی

Developing test suites is a costly and error-prone process. Model-based test generation tools facilitate this process by automatically generating test cases from system models. The applicability of these tools, however, depends on the size of the target systems. Here, we propose an approach to generate test cases by combining data abstraction, enumerative test generation and constraint-solving. Given the concrete specification of a possibly infinite system, data abstraction allows to derive an abstract system, which is finite and thus suitable for the automatic generation of abstract test cases with enumerative tools. To execute abstract test cases, we have to instantiate them with concrete data. For data selection we make use of constraint-solving techniques.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 191, 6 October 2007, Pages 25-48