یک رویکرد برای تست سیستم‌های نرم‌افزاری مبتنی بر الگوی طراحی حالت با استفاده از اجرای نمادین
واتساپ:09141077352 همراه: 09141077352 ثابت: 35250068-041 سفارش سمینار و مقاله سفارش ترجمه تخصصی
 

دانلود فایل با شمار فاکتور

لطفا شماره فاکتور خود را درج نمایید


جدیدترین لغات واژه‌نامه

آمار بازدیدکنندگان

بازدید امروز :75
بازدید روز گذشته :72
بازدید این هفته :425
بازدید این ماه :2185
مجموع آمار بازدید ها :780458

عنوان محصول: یک رویکرد برای تست سیستم‌های نرم‌افزاری مبتنی بر الگوی طراحی حالت با استفاده از اجرای نمادین

دسته‌بندی: مقالات ترجمه شده رشته کامپیوتر
تاریخ انتشار: دوشنبه 28 اسفند 1398
یک رویکرد برای تست سیستم‌های نرم‌افزاری مبتنی بر الگوی طراحی حالت با استفاده از اجرای نمادین یک رویکرد برای تست سیستم‌های نرم‌افزاری مبتنی بر الگوی طراحی حالت با استفاده از اجرای نمادین
توضیحات مختصر: در این مقاله، یک روش تست جدید که با استفاده از الگوهای حالت طراحی شده برای سیستم‌های نرم‌افزاری کار می‌کند، ارائه می‌شود. تست‌ها (آزمون‌ها) در یک حالت اجرای نمادین با هدف شناسایی وضعیت‌ها و مقادیر پارامترهای ورودی که اعلان‌ها را در زمان اجرا مختل می‌کنند، انجام می‌شوند. ساختار مبتنی بر حالت چنین سیس...
یک رویکرد برای تست سیستم‌های نرم‌افزاری مبتنی بر الگوی طراحی حالت با استفاده از اجرای نمادین یک رویکرد برای تست سیستم‌های نرم‌افزاری مبتنی بر الگوی طراحی حالت با استفاده از اجرای نمادین


قیمت قیمت : 27000 تومان
تخفیف تخفیف: 2000 تومان
تخفیف تخفیف ویژه : 10 درصد
قیمت نهایی قیمت نهایی: 22300 تومان
336 بازدید
کد مقاله: TTC- 3738
نوع فایل : docx
لینک دانلود فایل خریداری شده بلافاصله بعد از خرید موفق فعال خواهد شد.
Journal: IEEE

A method for testing software systems based on state design pattern using symbolic execution
Abstract
The paper reports a new testing method working with state pattern designed software systems. The tests are performed in terms of symbolic execution aiming to identify conditions and values of some input parameters that violate assertions at runtime. The state based architecture of such systems allows a direct mapping of the methods to the transitions of the underlying finite state machine (FSM). In order to identify the methods that contain failing assertions, the Java Path Finder Symbolic Execution framework extension (JPF-SE) is used for an out of context execution of each method. We propose a new algorithm to compute a transition path from the initial state of the system to each faulty transition. The computation is carried out using a backward traversal scheme of the FSM support graph where the JPF-SE symbolically executes each transition of the path. The transition execution performed by JPF-SE yields to the backward propagation of the conditions imposed on the input parameters. The overall capabilities of the proposed algorithm are illustrated with an example.
Keywords: finite state machine; Java PathFinder; software testing; state design pattern; symbolic execution

چکیده
در این مقاله، یک روش تست جدید که با استفاده از الگوهای حالت طراحی شده برای سیستم‌های نرم‌افزاری کار می‌کند، ارائه می‌شود. تست‌ها (آزمون‌ها) در یک حالت اجرای نمادین با هدف شناسایی وضعیت‌ها و مقادیر پارامترهای ورودی که اعلان‌ها را در زمان اجرا مختل می‌کنند، انجام می‌شوند. ساختار مبتنی بر حالت چنین سیستم‌هایی، امکان هدایت روند نگاشت متدهای مختلف برای گذار (انتقال) ماشین حالت متناهی پایه (FSM) را فراهم می‌سازند. به‌منظور شناسایی متدهایی که شامل اعلان‌های شکست هستند، چارچوب اجرای نمادین مسیریاب جاوا (JPF-SE) برای هر اجرای خارج از محدوده هر روش به کار گرفته شده است. ما یک الگوریتم جدید برای محاسبه مسیر گذار (انتقال) از حالت اولیه سیستم به هر انتقال خطادار را پیشنهاد کرده‌ایم. محاسبات با استفاده از یک طرح پیمایش عقب‌گرد گراف پشتیبان FSM انجام شده است که در آن JPF-SE به‌صورت نمادین هر گذار (انتقال) مسیر را اجرا می‌کند. اجرای گذر انجام شده توسط JPF-SE منجر به انتشار رو به عقب شروط اعمال شده بر روی پارامترهای ورودی می‌شود. امکانات کلی الگوریتم پیشنهادی با استفاده از یک مثال نشان داده خواهد شد.
کلمات کلیدی: ماشین حالت متناهی، مسیریاب جاوا، تست نرم‌افزار، الگوی طراحی حالت، اجرای نمایدین

تعداد صفحات انگلیسی تعداد صفحات انگلیسی:5 صفحه
تعداد صفحات فارسی تعداد صفحات فـارسـی:11 صفحه

  • آدرس: تبریز، آبرسان، مهرگان چهارم
  • تلفن  تماس: 09016347107
  • تلفن  ثابت : 35250068-041
  •  Mailttcenterاین آدرس ایمیل توسط spambots حفاظت می شود. برای دیدن شما نیاز به جاوا اسکریپت دارید : آدرس  ایمیل
  • @zoodyab :آدرس تلگرام
مرکز  تخصصی  تلاش ترجمه از  سال  1385 شروع به کار نموده است  و تا کنون بیش از ده هزار ترجمه در رشته ها و زمینه های مختلف توسط متخصصین این مرکز انجام  شده  است.

تمامی ترجمه‌های انجام شده توسط موسسه تخصصی تلاش ترجمه، به صورت دستی (غیرماشینی) بوده و توسط مترجمین با سابقه انجام می‌شوند. ترجمه‌های انجام شده توسط موسسه تلاش ترجمه در قالب فایل Word و به صورت کاملا روان و بازخوانی شده و با ضمانت بازگشت وجه 72 ساعته (در صورت عدم رضایت از ترجمه) خدمت مشتریان محترم ارائه می‌شود.