Security test for application software based on SPN

Abstract

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 functional 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 upon 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.