کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
9656101 685426 2005 19 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Test Selection Strategies for Lustre Descriptions in GATeL
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Test Selection Strategies for Lustre Descriptions in GATeL
چکیده انگلیسی
We describe various test selection techniques from Lustre descriptions using the tool GATeL. The Lustre language is declarative and describes synchronous data-flow computations. Our test generation tool interprets the language constructs as boolean and integer interval constraints. Test sequence generation is automated using constraint logic programming techniques. GATeL provides various mechanisms to allow testers to define their own selection strategies. They are illustrated on an simple example.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 111, 1 January 2005, Pages 93-111
نویسندگان
, ,