-
improving active mealy machine learning for protocol conformance testing
جزئیات بیشتر مقاله- تاریخ ارائه: 1392/07/24
- تاریخ انتشار در تی پی بین: 1392/07/24
- تعداد بازدید: 1000
- تعداد پرسش و پاسخ ها: 0
- شماره تماس دبیرخانه رویداد: -
using a well-known industrial case study from the verification literature, the bounded retransmission protocol, we show how active learning can be used to establish the correctness of protocol implementation i relative to a given reference implementation r. using active learning, we learn a model m r of reference implementation r, which serves as input for a model-based testing tool that checks conformance of implementation i to m r . in addition, we also explore an alternative approach in which we learn a model m i of implementation i, which is compared to model m r using an equivalence checker. our work uses a unique combination of software tools for model construction (uppaal), active learning (learnlib, tomte), model-based testing (jtorx, torxakis) and verification (cadp, mrmc). we show how these tools can be used for learning models of and revealing errors in implementations, present the new notion of a conformance oracle, and demonstrate how conformance oracles can be used to speed up conformance checking.
مقالات جدیدترین رویدادها
-
استفاده از تحلیل اهمیت-عملکرد در ارائه الگوی مدیریت خلاقیت سازمانی و ارائه راهکار جهت بهبود
-
بررسی تاثیر ارزش وجوه نقد مازاد بر ساختار سرمایه شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر سطح افشای ریسک بر قرارداد بدهی شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر رتبه بندی اعتباری مبتنی بر مدل امتیاز بازار نوظهور بر نقد شوندگی سهام با تأکید بر خصوصی سازی شرکت ها
-
تأثیر آمیخته بازاریابی پوشاک ایرانی بر تصویر ذهنی مشتری پوشاک ایرانی (هاکوپیان)
-
نقش و جایگاه گردشگری و مجموعه های گردشگری در هویت بخشی به شهر با رویکردی به شاخص های گردشگری فرهنگی
-
تحلیل مکانیکی خاک مسلح با استفاده از روش گالرکین بدون شبکه
-
کاربرد فتوگرامتری در ترمیم و بازسازی آثار باستانی
-
بررسی آزمایشگاهی تاثیر درصدهای مختلف خاکستر بادی و نسبت آب به سیمان در مقاومت فشاری بتن
-
nonlinear finite element analysis of historical masonry building of imam khomeini (sultani) mosque in semnan
مقالات جدیدترین ژورنال ها
-
مدیریت و بررسی افسردگی دانش آموزان دختر مقطع متوسطه دوم در دروان کرونا در شهرستان دزفول
-
مدیریت و بررسی خرد سیاسی در اندیشه ی فردوسی در ادب ایران
-
واکاوی و مدیریت توصیفی قلمدان(جاکلیدی)ضریح در موزه آستان قدس رضوی
-
بررسی تاثیر خلاقیت، دانش و انگیزه کارکنان بر پیشنهادات نوآورانه کارکنان ( مورد مطالعه: هتل های 3 و 4 ستاره استان کرمان)
-
بررسی تاثیر کیفیت سیستم های اطلاعاتی بر تصمیم گیری موفق در شرکتهای تولیدی استان اصفهان (مورد مطالعه: مدیران شرکتهای تولیدی استان اصفهان)
-
بررسی ویژگیهای مدل بالندگی سازمانی مدیریت پروژه (opm3) در مقایسه با سایر مدلهای بلوغ مدیریت پروژه
-
مهارت های شهروندی
-
شناسایی عوامل سازمانی مؤثر بر مدیریت پژوهش و فناوری سازمان های دانش بنیان در ایران
-
خوانشی استعاری از پدیده بی حسی سازمانی در سازمان های دولتی: واکاوی راهبردها و پیامدها
-
wind energy uncertainties in multi-objective environmental/economic dispatch based on multi-objective evolutionary algorithm
سوال خود را در مورد این مقاله مطرح نمایید :