سیویلیکا را در شبکه های اجتماعی دنبال نمایید.

تولید قوانین راستی آزمای سیستمهای رخدادگر با استفاده از حساب رخداد

Publish Year: 1390
Type: Conference paper
Language: Persian
View: 1,030

This Paper With 9 Page And PDF Format Ready To Download

Export:

Link to this Paper:

Document National Code:

ISCEE14_120

Index date: 22 August 2011

تولید قوانین راستی آزمای سیستمهای رخدادگر با استفاده از حساب رخداد abstract

وارسی مدل ابزار کاربردی جهت اشکال زدایی خودکار سیستم های واکنشی پیچیده مانند کنترل کننده های جاسازی شده و پروتکلهای شبکه می باشد در وارسی مدل سطح بالایی از توصیفات سیستم با نیازمندیهای درست منطقی مقایسه می شود تا ناسازگاری های آن کشف شود تکنیکهای سنتی قدیمی وارسی مدل جهت مدلسازی صریح زمان قابل پذیرش نمی باشند و برای استدلال سیستمهای بلادرنگ مناسب نمی باشند بنابراین آتاماتای زماندار جهت توصیف رفتار سیستمهای بلادرنگ معرفی شد که از آنجایی که آتاماتای زماندار در زمره زبانهای ویژوال جهت توصیف رفتار سیستمهای بلادرنگ قرار دارد دراین نوع زبانها بعضی از قیود سیستم قابل توصیف نمی باشد. برای توصیف این قیود مجبور به استفاده از زبانهای متنی هستیم. مادراین مقاله جهتتوصیف قیودی که توسط اتاماتای زماندار قابل توصیف نیستند از حساب رخداد که در زمره زبانهای متنی قرار دارد استفاده می کنیم و همچنین نحوی شبیه سازی آتاماتای زماندار به حساب رخداد را نشان میدهیم.

تولید قوانین راستی آزمای سیستمهای رخدادگر با استفاده از حساب رخداد Keywords:

تولید قوانین راستی آزمای سیستمهای رخدادگر با استفاده از حساب رخداد authors

امیر اسماعیلی

دانشجویان کارشناسی ارشد مهندسی نرم افزار دانشگاه آزاد اسلامی واحد ار

مراجع و منابع این Paper:

لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :
.Rajeev Alur : Timed Automata ...
Timed Automata 3 Event Calculus ...
نمایش کامل مراجع

مقاله فارسی "تولید قوانین راستی آزمای سیستمهای رخدادگر با استفاده از حساب رخداد" توسط امیر اسماعیلی، دانشجویان کارشناسی ارشد مهندسی نرم افزار دانشگاه آزاد اسلامی واحد ار؛ آروند ربیعی؛ مهدی برهانی؛ مصطفی امینی نوشته شده و در سال 1390 پس از تایید کمیته علمی چهاردهمین کنفرانس دانشجویی مهندسی برق کشور پذیرفته شده است. کلمات کلیدی استفاده شده در این مقاله آتاماتای زماندار، توصیف، حساب رخداد، وارسی هستند. این مقاله در تاریخ 31 مرداد 1390 توسط سیویلیکا نمایه سازی و منتشر شده است و تاکنون 1030 بار صفحه این مقاله مشاهده شده است. در چکیده این مقاله اشاره شده است که وارسی مدل ابزار کاربردی جهت اشکال زدایی خودکار سیستم های واکنشی پیچیده مانند کنترل کننده های جاسازی شده و پروتکلهای شبکه می باشد در وارسی مدل سطح بالایی از توصیفات سیستم با نیازمندیهای درست منطقی مقایسه می شود تا ناسازگاری های آن کشف شود تکنیکهای سنتی قدیمی وارسی مدل جهت مدلسازی صریح زمان قابل پذیرش نمی باشند و برای استدلال ... . برای دانلود فایل کامل مقاله تولید قوانین راستی آزمای سیستمهای رخدادگر با استفاده از حساب رخداد با 9 صفحه به فرمت PDF، میتوانید از طریق بخش "دانلود فایل کامل" اقدام نمایید.