Development of graphicanalytical models for the software security testing algorithm
Journal Title: Восточно-Европейский журнал передовых технологий - Year 2018, Vol 2, Issue 4
Abstract
An analysis of one of the main types of software testing, namely security testing has been made. It was established that there are a number of specific features associated with the possibility of negative manipulation with software products. A graphic-analytical model of the algorithm of testing software security was developed. The model based on the theory of semi-Markov processes provides an adequate structural description of the actual testing process. However, accuracy of this model essentially depends on accuracy of reproduction of densities of distribution of duration of the system residence in each of the possible states. An alternative model that uses the method of probability-time graphs is less demanding. For its implementation, it is sufficient to know the mean values of duration of residence in each of the states and the probability of transitions from one state to another. Correlations were obtained for calculating statistical characteristics and density of distribution of the mean time of execution of the software security testing algorithm. The model can be used to study basic stages of software security testing. Application of this model will reduce software vulnerability and improve security of the IT project as a whole. Also, the model is applicable when developing new methods, algorithms, and procedures for managing the IT projects
Authors and Affiliations
Serhii Semenov, Oksana Sira, Nina Kuchuk
Keywords
Related Articles
- EP ID EP527872
- DOI 10.15587/1729-4061.2018.127210
- Views 77
- Downloads 0
Determining the electromagnetic field parameters to kill flies at livestock facilities
<p>We have considered the electromagnetic method to kill the larvae of flies ‒ agricultural pests. To address the task, a problem on the distribution of electromagnetic fields in their body was solved. The solution is ba...
Determining the influence of parameters for gas-air flows on the thermal process of producing iron ore pellets
<p>We present the results of the study on changes in temperature of gas-air flows at the outlets from calcination zones and recuperation zones of a conveyor-calcination plant. We determined the influence of these tempera...
Research and control of the purity of production hydrogen with a high degree of purification when applying the electrolysis method of production
<p>We conducted experimental studies aimed at determining the purity of hydrogen obtained at the electrolysis installation made by Hydrogen Technologies (Norway) at the pipe plant Centravis Production Ukraine in the city...
Stabilization of the natural color of sweet pepper (Capsicum annuum L.) during its processing
<p class="a">The influence of various parameters of technological treatment on the degree of chlorophyll destruction and change in the green coloration of the sweet pepper (Capsicum annuum L.) has been investigated. It h...
Substantiation of countervortex spillway structures of hydrotechnical facilities
<p>The construction and reconstruction of waterworks sets a number of scientific and engineering tasks that require a new approach to their solution. One of the promising areas for solving these and a number of other pro...