عنوان پایان‌نامه
آزمون مبتنی بر مدل با استفاده از توصیف های ربکا
- رشته تحصیلی
- مهندسی کامپیوتر -نرم افزار
- مقطع تحصیلی
- کارشناسی ارشد
- محل دفاع
- کتابخانه مرکزی پردیس 2 فنی شماره ثبت: E 2224;کتابخانه مرکزی -تالار اطلاع رسانی شماره ثبت: 57599
- تاریخ دفاع
- ۰۲ مرداد ۱۳۹۱
- دانشجو
- علیرضا طالبی پورآقاباقر
- استاد راهنما
- رامتین خسروی
- چکیده
- پیچیده‌گی روزافزون نرم‌افزار‌ها سبب شده است که آزمون مبتنی بر مدل در سا‌‌ل‌های اخیر در صنعت و پژوهش بیش از پیش مورد توجه قرار گرفته است. آزمون مبتنی بر مدل با تولید خودکار مورد آزمون به کمک توصیف ارائه شده برای سیستم، سبب کاهش هزینه و زمان آزمون سیستم می‌شود که این امر نیز می‌تواند به تولید نرم‌افزار‌هایی با کیفیت بالاتر بی‌انجامد. از ابتدای معرفی آزمون مبتنی بر مدل روش‌های ارائه شده برای این آزمون در زمینه‌ی تئوری‌های انطباق و روش‌های آزمون پیشرفت مناسبی داشته است، اما در زمینه استفاده از مدل‌های سطح بالا این تئوری پیشرفت زیادی نداشته است و تاکنون روش‌های صوری ارائه شده بیشتر از مدل‌های سطح پایینی چون سیستم گذار استفاده کرده‌اند که این امر سبب ضعف این روش در عمل شده است. در این پژوهش تلاش شده است به کمک زبان ربکا که یک زبان مبتنی بر مدل اکتور می‌باشد و به منظور وارسی مدل و درستی‌یابی صوری طراحی شده است روش آزمون مبتنی بر مدل غنی‌تر شود. از ویژگی‌های این روش می‌توان به شی‌بنیاد بودن زبان ربکا، پشتیبانی از تبادل ناهمگام پیام در سطح مدل و پشتیبانی از مدل‌های با وضعیت نامحدود برای آزمون سیستم اشاره کرد. برای رسیدن به این هدف ابتدا مدل‌های باز ربکا تعریف شده، تولید مورد آزمون به کمک این مدل‌ها ارائه می‌شود. در قدم بعدی آزمونگر on-the-fly معرفی می‌شود که امکان تولید مورد آزمون از مدل‌های وضعیت نامحدود را فراهم می‌کند. در نهایت نیز نحوه‌ی پشتیبانی از آزمون در حضور محیط بیان شده و ابزار توسعه یافته برای تئوری‌های ارائه شده معرفی می‌شود.
- Abstract
- Model-based testing has been recently attracted attentions in both fields of academy and industry. This is due to the increasing complexity of softwares. Model based testing not only decreases the test costs but also it reduces the amount of the required time through automatic generation of the test cases, more importantly, giving rise in the production of higher quality softwares. Moreover, in the field of testing and conformance theories, model based testing has had reasonable development. Although these theories are vital for the precise and systematic testing, they are not sufficient in practice. In fact, in most of the works done so far, low level models such as transition systems have been used for modeling system behavior. In the present study, the researcher offers a method for applying Rebeca specifications as desired behavioral model. Rebeca is an actor-based language which was designed for model checking of the reactive systems. Using object-based language, this method includes features of asynchronous message passing in modeling as well as infinite state models support. In this study, firstly, a definition of the open Rebeca models is provided. Then, the researcher presents the test case generation using the models. At the next stage, the researcher offers on-the-fly tester which makes testing of infinite state models possible. Finally, testing against environment as well as a testing tool which was developed throughout this research are provided.
