تولید نمونه های تست اتوماتیک از مدل های فرایند کسب و کار

رویکردهای تولید نمونه های تست سنتی بر روی مدل‌های طراحی و اجرا متمرکز هستند در حالی که درصد زیادی از خطاهای نرم‌افزاری از عدم درک در فازهای اولیه ناشی می‌شوند. یکی از مهم‌ترین مدل‌ها در فازهای اولیه توسعه نرم‌افزار، مدل فرآیند کسب‌وکار است که به دقت به دنیای واقعی شباهت دارد و ضوابط دقیق آن را در بر می گیرد. هدف این مقاله ارایه یک رویکرد مبتنی بر مدل برای تولید خودکار نمونه های تست از مدل‌های فرآیند کسب‌وکار است. ما ابتدا فرآیندهای تجاری را مدلسازی کرده و آن‌ها را به گراف‌های حالت تبدیل می‌کنیم. سپس نمودار ها به وسیله ابزار «Spec Explorer» که نمونه های تست را تولید می کنند، به فرمت ورودی تبدیل می شوند. علاوه بر این، ما یک مطالعه را برای ارزیابی تاثیر ویژگی‌های فرآیند بر عملکرد روش پیشنهادی انجام می‌دهیم.

Traditional test case generation approaches focus on design and implementation models while a large percentage of software errors are caused by the lack of understanding in the early phases. One of the most important models in the early phases of software development is business process model which closely resembles the real world and captures the requirements precisely. The aim of this paper is to present a model-based approach to automatically generate test cases from business process models. We first model business processes and convert them to state graphs. Then, the graphs are traversed and transformed to the input format of the “Spec explorer” tool that generates the test cases. Furthermore, we conduct a study to evaluate the impact of process characterizations on the performance of the proposed method.