چکیده فارسی‌:

آزمون نرم­افزار یک فعالیت مهم و حیاتی در توسعه نرم­افزار است که با کیفیت نرم­افزار سروکار دارد. با این حال فرایند آزمون، فعالیت­هایی که باید خودکار شوند تا منابع را به این شکل ذخیره کنند، را مصرف میکند. به دنبال آزمون نرم­افزار، تولید نمونه­های آزمایشی خودکار به عنوان اولین فرایند آزمون مشخص شده است. این تحقیق،به دنبال تولید خودکار نمونه آزمایشی از نمودارUML است زیرا تست مبتنی بر مدل که در فاز اولیه فرایند توسعه نرم افزار ساخته شده است، نشان میدهد که دارای کارایی بهتری است. نمودارهای UML به کارگرفته شده در این تحقیق شامل نمودار فعالیت، نمودار ترتیبی و SYTG به عنوان گراف مرکب میباشند. ثابت شده است که این سه نمودار، منطبق­ترین انواع نمودار برای تولید نمونه­های آزمایشی از تحقیقات قبلی هستند. روش ارائه شده در این مقاله بر اساس الگوریتم اول عمق است که برای تولید نمونه­های آزمایشی، تغییر داده شده است. این مقاله ثابت میکند که الگوریتمDFS تغییر داده شده برای تولید نمونه­های آزمایشی نتایج دقیقی فراهم میکند، هر گره موجود در نمونه آزمایشی شامل هر وضعیت(alt و opt) میباشد. مقایسه نتایج تولید شده از یک نمونه آزمایشی مختلف نشان میدهد که نمونه­های آزمایشی بدست­آمده از UML ترکیبی، الزاماً نتایج نمونه بهتری ندارند و این به علت احتمال نمونه آزمایشی تکراری در بعضی از نمونه­های آزمایشی است. همچنین در این مقاله نتایج آزمایش نشان میدهد که اثبات نمونه­هاتی ترتیبی میتواند نمونه­های آزمایشی بهتری تولید کند.

کلمات کلیدی

نمونه­های آزمایشی، الگوریتم جستجوی اول عمق، نمودار UML، آزمون نرم­افزار، تولیدکننده نمونه­های آزمایشی

چکیده انگلیسی:

Software testing is an important and critical activity in software development that deals with software quality. However, the testing process is consuming activities that need to be automated to save a lot of resources. Towards automated testing, automating test cases generation as the first testing process is being highlighted. This research aims to generate test case automatically from UML diagram since model based testing that conducted on early phase of software development process show higher efficiency. UML diagrams used in this research are activity diagram, sequence diagram and SYTG as the combination graph. These three diagrams have been proved as the most compatible diagram to generate test case from previous research. Method proposed in this paper is Depth First Search algorithm that is modified to generate expected test cases. This paper proves that modified DFS algorithm applied to generate test case is provide accurate result, every node presented on the test case, include any condition (alt and opt). Comparison result from three different test cases generated shows that test cases from combined UML may not necessarily result in better test cases, due to the possibility of redundant test cases for some test cases. This paper also presenting an experiment result that proving sequence diagrams can produce better test cases.