کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
9656073 | 685363 | 2005 | 21 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Testing Conformance of Real-Time Applications by Automatic Generation of Observers
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
We propose a new methodology for automated testing of real-time applications in general and robotic applications in particular. The starting point is a high-level specification which can be automatically translated into a network of timed automata. Analog or digital-clock observers are then generated from the timed automata specification. The system under test (SUT) is instrumented to export observable events and corresponding time-stamps. The traces generated by the SUT are fed to the observer (on-the-fly or off-line). The latter checks whether each trace conforms to the specification. The approach has been applied to the K9 Martian Rover executive of NASA.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 113, 3 January 2005, Pages 23-43
Journal: Electronic Notes in Theoretical Computer Science - Volume 113, 3 January 2005, Pages 23-43
نویسندگان
Saddek Bensalem, Marius Bozga, Moez Krichen, Stavros Tripakis,