دانلود فایل با شمار فاکتور
لطفا شماره فاکتور خود را درج نمایید
جدیدترین لغات واژه‌نامه
کشورهای شمال اروپا
آتش سوزی های جنگلی
دوسویه
نادیده گرفتن، دست انداخ
اجتناب ناپذیر، بی شفقت،
آمار بازدیدکنندگان
بازدید امروز :53
بازدید روز گذشته :54
بازدید این هفته :313
بازدید این ماه :1056
مجموع آمار بازدید ها :800681
بازدید روز گذشته :54
بازدید این هفته :313
بازدید این ماه :1056
مجموع آمار بازدید ها :800681
عنوان محصول: یک رویکرد برای تست سیستم‌های نرم‌افزاری مبتنی بر الگوی طراحی حالت با استفاده از اجرای نمادین
|
توضیحات مختصر:
در این مقاله، یک روش تست جدید که با استفاده از الگوهای حالت طراحی شده برای سیستم‌های نرم‌افزاری کار می‌کند، ارائه می‌شود. تست‌ها (آزمون‌ها) در یک حالت اجرای نمادین با هدف شناسایی وضعیت‌ها و مقادیر پارامترهای ورودی که اعلان‌ها را در زمان اجرا مختل می‌کنند، انجام می‌شوند. ساختار مبتنی بر حالت چنین سیس...
|
| یک رویکرد برای تست سیستم‌های نرم‌افزاری مبتنی بر الگوی طراحی حالت با استفاده از اجرای نمادین |
قیمت : 27000 تومان
تخفیف: 2000 تومان
تخفیف ویژه : 10 درصد
قیمت نهایی: 22300 تومان
406 بازدید
کد مقاله: TTC-
3738
نوع فایل : docx
خرید و دانلود
لینک دانلود فایل خریداری شده بلافاصله بعد از خرید موفق فعال خواهد شد.
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.
چکیده
در این مقاله، یک روش تست جدید که با استفاده از الگوهای حالت طراحی شده برای سیستم‌های نرم‌افزاری کار می‌کند، ارائه می‌شود. تست‌ها (آزمون‌ها) در یک حالت اجرای نمادین با هدف شناسایی وضعیت‌ها و مقادیر پارامترهای ورودی که اعلان‌ها را در زمان اجرا مختل می‌کنند، انجام می‌شوند. ساختار مبتنی بر حالت چنین سیستم‌هایی، امکان هدایت روند نگاشت متدهای مختلف برای گذار (انتقال) ماشین حالت متناهی پایه (FSM) را فراهم می‌سازند. به‌منظور شناسایی متدهایی که شامل اعلان‌های شکست هستند، چارچوب اجرای نمادین مسیریاب جاوا (JPF-SE) برای هر اجرای خارج از محدوده هر روش به کار گرفته شده است. ما یک الگوریتم جدید برای محاسبه مسیر گذار (انتقال) از حالت اولیه سیستم به هر انتقال خطادار را پیشنهاد کرده‌ایم. محاسبات با استفاده از یک طرح پیمایش عقب‌گرد گراف پشتیبان FSM انجام شده است که در آن JPF-SE به‌صورت نمادین هر گذار (انتقال) مسیر را اجرا می‌کند. اجرای گذر انجام شده توسط JPF-SE منجر به انتشار رو به عقب شروط اعمال شده بر روی پارامترهای ورودی می‌شود. امکانات کلی الگوریتم پیشنهادی با استفاده از یک مثال نشان داده خواهد شد.
تعداد صفحات انگلیسی:
تعداد صفحات فـارسـی:
- آدرس: تبریز، آبرسان، مهرگان چهارم
- تلفن تماس: 09016347107
- تلفن ثابت : 35250068-041
- Mailttcenterاین آدرس ایمیل توسط spambots حفاظت می شود. برای دیدن شما نیاز به جاوا اسکریپت دارید : آدرس ایمیل
- @zoodyab :آدرس تلگرام
مرکز تخصصی تلاش ترجمه از سال 1385 شروع به کار نموده است و تا کنون بیش از ده هزار ترجمه در رشته ها و زمینه های مختلف توسط متخصصین این مرکز انجام شده است.
تمامی ترجمه‌های انجام شده توسط موسسه تخصصی تلاش ترجمه، به صورت دستی (غیرماشینی) بوده و توسط مترجمین با سابقه انجام می‌شوند. ترجمه‌های انجام شده توسط موسسه تلاش ترجمه در قالب فایل Word و به صورت کاملا روان و بازخوانی شده و با ضمانت بازگشت وجه 72 ساعته (در صورت عدم رضایت از ترجمه) خدمت مشتریان محترم ارائه می‌شود.