ارزیابی کارایی و تست نرم افزار با استفاده از شبکه پتری و UML

تست نرم افزار فرآیند تعیین دقت، کیفیت، کامل بودن و امنیت سیستم های نرم افزاری است . یک گام مهم در تست نرم افزار تولید موارد آزمون است، کهکیفیت نقش حیاتی در تعیین زمان آزمایش و هزینه های پس از آن ایفا می کند. در این تحقیق، هر دو نمودار ساختاری و رفتاری نشان داده شده است کهمی تواند برای نشان مشخصات در یک مدل با استفاده از شبکه پتری سطح بالا (HLPN) مورد استفاده قرار گیرد. این تحقیق بر روی تولید خودکار مدلهای آزمون از شبکه های پتری متمرکز است . علاوه بر این، تولید مدل های رسمی سازگار (HLPN) از مدل های رسمی (UML) نقطه برجسته از اینپژوهش است .

کلیدواژه ها:

تست نرم افزار ، ارزیابی نرم افزار ، شبکه پتری ، UML