چکیده فارسی :

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

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

Security is an important attribute of software, some of the current software security testing methods are often based on the accurate parameters or on the basis of function structure, and cannot adapt to the complex environment and safety requirements, particularly in scale distributed environment. Based on Stochastic Petri nets (SPN) theory, this paper analyzes the security of the application software by the SPN reliability measurement parameters, and then react up on the analysis and design of the software system, in order to explore a kind of application software security testing method based on SPN model. With example analysis, the method can find the disable system state or state combination intuitively, rapidly, and effectively, meanwhile provides a new method for the application software security test.