7992

مروري بر چارچوب هاي ساخت نرم افزارهاي اتكاء پذير

1399

دكتر محمد عبداللهي ازگمي

امروزه يكي از مباحث مهم در ساخت نرم افزار كه توجه مهندسان نرم افزار را به خود جلب كرده است، قابليت اتكاپذيري نرم افزار است. در اين تحقيق به طور كلي نحوه پشتيباني متدلوژي ها و شيوه هاي توسعه موجود از ساخت يك نرم افزار را قابل اتكا مي پردازد. نرم افزار قابل اتكا رمز استفاده موفق و مطمئن از نرم افزار ، مخصوصا در فضاي ابري است. براي آنكه معناي واقعي برنامه هاي نرم افزارهاي قابل اعتماد را بدانيد، مفاهيم اعتماد و قابليت هاي اعتماد را تعريف كرده و با همديگر مقايسه مي كنيم. همچنين، ويژگي هاي برنامه هاي نرم افزاري كه از قابليت اعتماد حمايت مي كنند را بيان مي كنيم. بر اين اساس، برخي از بهترين روش ها و متدلوژي هاي معروف در توسعه نرم افزار قابل اعتماد را با توجه به نحوه پشتيباني آنها از مهندسي نظامند نرم افزارهاي قابل اتكا، بررسي مي كنيم. براي توسعه اين نرم افزار ها يك چارچوب قابل اعتماد بيان مي كنيم و بالاخره پيشرفت ها به روش كيفي مورد بحث قرار مي گيرند، و بر تلاش هاي تحقيقاتي لازم نگاهي مي كنيم و نوآوري هاي عرصه فناوري ارائه مي شوند.

12/30/2020 12:00:00 AM

69933

1399/10/26

A Survey on Frameworks for Building Dependable Software

چارچوب , قابليت اعتماد , اتكاپذيري , نرم افزار

Framework , Dependibility , trustworthy , software