زمان کنونی: ۰۳ دى ۱۴۰۳, ۰۴:۴۵ ب.ظ مهمان گرامی به انجمن مانشت خوش آمدید. برای استفاده از تمامی امکانات انجمن می‌توانید عضو شوید.
گزینه‌های شما (ورودثبت نام)

Formal methods

ارسال:
  

H-Arshad پرسیده:

Formal methods

سلام
من درس تحمل پذیری خطا دارم میخوننم. همش میگه Formal Methods منظور چیه؟ منظورش چه متدی در برنامه نویسی هست؟ من متن رو میزارم

Formal methods have been used, particularly in the research community,
to improve software dependability during construction. In these approaches,
requirements specifications are developed and maintained using mathemati-
cally tractable languages and tools. Lyu [25] describes four goals of current
formal methods studies: (1) executable specifications for systematic and
precise evaluation, (2) proof mechanisms for software verification and vali-
dation, (3) development procedures that follow incremental refinement for
step-by-step verification, and (4) every work item, be it a specification or
a test case, is subject to mathematical verification for correctness and
appropriateness.
Mathematical specifications of proofs of software properties tend to
be the same size as the program, difficult to construct, and often harder
to understand than the program itself. As a result, they can be just as prone
to error as the software under scrutiny. Because of these concerns, formal
methods have not been generally used on large projects. However, if a spe-
cific part of a system is indicated for risk mitigation, the analyst may find the
size of the component small enough that the use of formal methods on that
component is not prohibitive in terms of cost, time, or other resources.
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

matt2007 پاسخ داده:

Formal methods

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

۰
ارسال:
  

H-Arshad پاسخ داده:

Formal methods

سلام
امکان داره بفرمائید این مباحث در کدام درس مطرح میشه؟
Formal design proofs
formal inspection
formal methods
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

هلیا۹۹ پاسخ داده:

Formal methods

دقیقا!
جملاتی که matt2007 گفتن مفهوم رو کامل میرسونه و امروزه ابزارهای زیادی برای مدل کردن سیستم ها به صورت صوری ایجاد شدند و بسیار هم در این زمینه قدرتمندند. مثل سیستمهای تبدیل گراف! که در مقابل ابزارهایی مثل uml در مدل کردن سیستم بهتر و کاراتر عمل می کنند.
الان ابزارای زیادی توی دنیا هستند که از تبدیل گراف حمایت می کنند.

(۱۷ آبان ۱۳۹۳ ۰۷:۴۲ ب.ظ)H-Arshad نوشته شده توسط:  سلام
امکان داره بفرمائید این مباحث در کدام درس مطرح میشه؟
Formal design proofs
formal inspection
formal methods
ما در درسی به نام طراحی نرم افزارهای مطمئن در مورد این مباحث، مفاهیمی داشتیم. همون بحث مدل سازی و بررسی مدل!
نقل قول این ارسال در یک پاسخ



موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  درخواست کتاب (Theory of formal languages with applications (Simovici Hera ۰ ۱,۷۸۸ ۰۹ مهر ۱۳۹۶ ۱۲:۱۲ ق.ظ
آخرین ارسال: Hera

پرش به انجمن:

Can I see some ID?

به خاطر سپاری رمز Cancel

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close

رمزت رو فراموش کردی؟

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. close