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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Chen, J.F., Lu, Y.S., Xie, X.D.: Research on software fault injection testing. J. Softw. 20(6), 1425–1443 (2009)
Xu, Z.W., Wu, M.F.: Formal fault tree analysis modeling and software safety testing. J. Tongji Univ. (Nat. Sci.) 29(11), 1299–1302 (2001)
Yang, G.H., Qi, X., Shi, Y.S.: Software security testing based on threat model. Comput. Secur. 2, 11–13 17 (2010)
Zhao, C.G., Pu, Z.B.: A software reliability assessment model andITSPetri net description. Comput. Appl. Softw. 29(1), 141–144 (2012)
Wei, Z., Zhou, X., Bao, H.J., et al.: Research on safety test for ImterLocking software based on petri nets. Comput. Eng. Appl. 17, 123–125 138 (2005)
Dugan, J.B., Trivedi, K.S., Geist, R.M., et al.: Extended stochastic petri nets: applications and analysis. In: Performance 1984, Proceedings of 10th International Symposium on Computer Performance Modelling, Measurement and Evaluation, pp. 507–519. Elsevier, Amsterdam (1984)
Mellor, P.: Analysis of software failure data(l): adnptation of coarse data. ICL Techn. 1(2), 159–194 (1984)
Muss, T.D., Okumoto, K.: Application of basic and logarithmic Poisson execution time model in software reliability measurement. In: Reliablity and Maintainability Symposium IUM, pp. 190–194 (1988)
Littbewoood, B., Verrall, J.L.: On the likelihood function of a debugging model for software reliability. IEEE Trans. Reliab. R-30, 115–118 (1981)
Downs, T., Garrone, P.: Some new model of software testing with performance comparisons. IEEE Reliab. R-40(3), 322–328 (1991)
Zuberek, W.M.: Performance evaluation using unbound timed Petri nets. In: Proceedings of the Third International Workshop on Petri Nets and Performance Models, Kyoto, Japan, pp. 180–186 (1989)
Acknowledgment
This work was supported by Teaching Contents and Curriculum System Reform (key) project in Colleges and Universities in Guizhou Province (No. SJJG201404), Guizhou Provincial Education Department and Engineering Center of Avionics Electrical and Information Network of Guizhou province colleges and universities (No. HKDZ201406), Engineering Center of Avionics Electrical and Information Network of Guizhou province colleges and universities Anshun University, Anshun 561000, P.R. China.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this paper
Cite this paper
Pan, P., Zhu, X., Mao, X. (2018). Security Test for Application Software Based on SPN. In: Mizera-Pietraszko, J., Pichappan, P. (eds) Lecture Notes in Real-Time Intelligent Systems. RTIS 2016. Advances in Intelligent Systems and Computing, vol 613. Springer, Cham. https://doi.org/10.1007/978-3-319-60744-3_26
Download citation
DOI: https://doi.org/10.1007/978-3-319-60744-3_26
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-60743-6
Online ISBN: 978-3-319-60744-3
eBook Packages: EngineeringEngineering (R0)