کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
423754 685287 2008 20 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Towards Deriving Test Sequences by Model Checking
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Towards Deriving Test Sequences by Model Checking
چکیده انگلیسی

Model-based testing automatically generates test cases from a model describing the behavior of the system under test. Although there exist several model-based formal testing methods, they usually do not address time constraints, mainly due to the fact that some supporting formalisms do not allow a suitable representation of time. In this paper, we consider such constraints in a framework of Timed Extended Finite State Machines (TEFSMs), which augment the Extended Finite State Machine (EFSM) model by including a notion of explicit and implicit time advancement. We use this extension to address conformance testing by reducing the confirming configuration problem to the problem of finding a path in a TEFSM product.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 195, 18 January 2008, Pages 21-40