تولید خودکار آزمایه مبتنی بر توصیف رفتاری قاعده‌محور

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

automatic test-case generation based on rule-based behavioral specification

with the increasing use of software in safety-critical applications, such as the automotive, defense, and medical industries, achieving high levels of assurance regarding the quality of these software systems is essential. model-based testing is an automated test-case generation method that, on one hand, provides relative assurance by covering a formal description of the system’s behavior, ensuring that various execution scenarios of the program are tested. on the other hand, by automating the generation of these test cases, it significantly reduces the cost of test production. in this research, a model-based testing framework is presented that utilizes a rule-based model and can generate test cases based on two criteria: rule coverage and active rule condition coverage. to generate test cases, this framework employs a search-based approach using a genetic algorithm. the proposed method enables the definition of a system with a large state space and the generation of test cases for it. the framework has been evaluated through a case study on an embedded industrial software, and the evaluation results demonstrate its applicability to real-world problems in the industry.