ترجمه مقاله توسعه محیط تست مبتنی بر شبیه سازی برای نرم افزارهای مهم از نظر ایمنی – سال 2018
مشخصات مقاله:
عنوان فارسی مقاله:
توسعه محیط تست مبتنی بر شبیه سازی برای نرم افزارهای مهم از نظر ایمنی
عنوان انگلیسی مقاله:
Development of simulation-based testing environment for safety-critical software
کلمات کلیدی مقاله:
ابزار دقیق و سیستم کنترل دیجیتال، نیروگاه هسته ای، کمیت قابلیت اطمینان نرم افزار، تست نرم افزار
مناسب برای رشته های دانشگاهی زیر:
مهندسی کامپیوتر
مناسب برای گرایش های دانشگاهی زیر:
مهندسی نرم افزار
وضعیت مقاله انگلیسی و ترجمه:
مقاله انگلیسی را میتوانید به صورت رایگان با فرمت PDF از باکس زیر دانلود نمایید. ترجمه این مقاله با فرمت WORD – DOC آماده خریداری و دانلود آنی میباشد.
فهرست مطالب:
چکیده
1. مقدمه
2. سیستم هدف
2-1 پیکربندی سیستم IDiPS-RPS
2-2 معماری POSAFE-Q
3. توسعه بستر تست
3-1 توسعه بستر تست نرم افزار
3-2 تایید بستر تست نرم افزار
4. مطالعه موردی
4-1 نرم افزار مورد نظر
4-2 تولید مورد تست نرم افزار هدف
4-3 روند تست و نتایج حاصل از نرم افزار هدف
5. نتیجه گیری
منابع
قسمتی از مقاله انگلیسی و ترجمه آن:
Abstract
Recently, a software program has been used in nuclear power plants (NPPs) to digitalize many instrumentation and control systems. To guarantee NPP safety, the reliability of the software used in safety-critical instrumentation and control systems must be quantified and verified with proper test cases and test environment. In this study, a software testing method using a simulation-based software test bed is proposed. The test bed is developed by emulating the microprocessor architecture of the programmable logic controller used in NPP safety-critical applications and capturing its behavior at each machine instruction. The effectiveness of the proposed method is demonstrated via a case study. To represent the possible states of software input and the internal variables that contribute to generating a dedicated safety signal, the software test cases are developed in consideration of the digital characteristics of the target system and the plant dynamics. The method provides a practical way to conduct exhaustive software testing, which can prove the software to be error free and minimize the uncertainty in software reliability quantification. Compared with existing testing methods, it can effectively reduce the software testing effort by emulating the programmable logic controller behavior at the machine level.
چکیده
اخیراً برنامه ای نرم افزاری در نیروگاه های برق هسته ای (NPP) به منظور دیجیتالی کردن بسیاری از سیستم های کنترل و ابزار دقیق مورد استفاده قرار گرفته است. برای اطمینان از ایمنی نیروگاه های برق هسته ای، قابلیت اطمینان نرم افزار مورد استفاده در سیستم های ابزار دقیق و کنترل می بایست توسط موارد تست و محیط تست مناسب بررسی و تایید شود. در این مطالعه یک روش تست نرم افزاری با استفاده از بستر تست نرم افزاری مبتنی بر شبیه سازی پیشنهاد می شود. این بستر تست با شبیه سازی معماری ریز پردازنده مربوط بخ یک کنترل کننده منطقی قابلی برنامه ریزی (PLC) مورد استفاده در کاربری های نیروگاه برق هسته ای و رصد رفتار آن در هر دستورالعمل ماشین توسعه داده می شود. اثربخشی این روش پیشنهادی از طریق یک مطالعه مورد نشان داده می شود. برای نمایش شرایط ممکن ورودی نرم افزار و متغیرهای داخلی که به تولید سیگنال ایمنی اختصاصی کمک می کنند، موارد تست نرم افزار با در نظر گرفتن مشخصات دیجیتالی سیستم هدف و شرایط دینامیکی نیروگاه توسعه داده می شوند. این روش یک راه عملیاتی برای اجرای تست نرم افزار ارائه می کند که می تواند بدون خطا بدون نرم افزار را اثبات کند و عدم اطمینان را در اندازه گیری قابلیت اطمینان نرم افزار به حداقل برساند. در مقایسه با روش های فعلی تست، روش پیشنهادی می تواند به طور موثر تست نرم فازار را با شبیه سازی رفتار کنترل کننده منطقی قابل برنامه نویسی در سطح ماشین کاهش دهد.
