ارایه روش تولید نمونه آزمون برای مدل شبکه پتری نرم افزار با هدف اصلاح مدل UML

آزمون نرم افزار بخش بسیار مهمی در فرآیند توسعه ی نرم افزار محسوب میشود. اگر آزمون نرم افزار را از مرحله ی طراحی آن آغاز کنیم، مانع از انتشار خطاهای طراحی به مراحل بعدی و به تبع آن صرفه جویی در هزینه های آتی برای اصلاح خطاهای نرم افزار میشویم. یکی از روشهایی که برای آزمون مدل طراحی شده ی نرم افزار استفاده میشود، آزمون مدل شبکه ی پتری نرم افزار که از مدلهای UML بدست می آیند، میباشد. با استفاده از الگوریتم های فرا اکتشافی مانند الگوریتم ژنتیک، براساس گراف حالتهای این مدل مسیرهایی(نمونه آزمونهایی) برای سنجش اجرای درست مدل مطابق انتظار بدست میآیند. به منظور بهبود در چنین روشهایی در این مقاله برای اولین بار از مدلهای State Machine Diagram و Collaboration Diagram مربوط به UML به همراه زبان نشانه گذاری OCL برای مدلسازی نرم افزار از سطح شی تا سیستم، و تبدیل به شبکه ی پتری رنگی استفاده میشود. همچنین برای تسهیل یافتن مسیرهای بهینه برای آزمون مدل شبکه ی پتری برای اولین بار از الگوریتم بهینه سازی ازدحام ذرات استفاده شده است. برخلاف آنچه در سایر مطالعات نادیده گرفته شده، در نهایت نیز با اصلاح مدل شبکه ی پتری از خطاهای یافت شده در اجرای مسیرهای آزمون و برگرداندن آن به مدل های UML یاد شده ، اصلاح شده ی این مدلها را که مدلهای رایج طراحی هستند، بدست آوریم.

Keywords:

شبکه های پتری رنگی , مدلهای UML , آزمون مدل , الگوریتم ازدحام ذرات , CPN TOOLS , Model Base Testing , Particle Swarm Optimization