Академический Документы
Профессиональный Документы
Культура Документы
D. Maevsky
soon as some conditions will be repeated. Errors of software, in a sense, are not objective they depend on type of operations, type of inputs and, at last, on type of users. attempts to put hardware reliability shoes on software legs are absolutely wrong and, moreover, will lead only to a logical dead end.
: , . , , , , , . , . Ushakov, I. (2006) Reliability: past, present, future. Reliability: Theory & Applications, No.1, January 2006 : p. 10 16.
Now we come to the most confusing area in reliability theory and practice
the so-called software reliability. This term is rooted in software engineering though it very much contradicts to traditional understanding of the term reliability in hardware engineering. It leads to erroneous attempts of applying probabilistic reliability concepts to this subject that led only to some disaster. ... One thing is clear: software reliability specialists should distinguish their reliability from hardware reliability, develop their own non-probabilistic and non-time dependent mathematical tools.
. , . , . :
Ushakov, I. (2012) Reliability theory: history & current state in bibliographies. RT&A # 01 (24) Vol.1 2012, March: p. 8 35
, . ( ) .
It should be stressed that so far the theory of software reliability cant be regarded as an established science. one can ascertain the presence of a substantial gap between theory (mathematical models and methods) and practice.
Kharchenko V.S., Sklar V.V., Tarasyuk O.M. (2004) Methods for modeling and evaluating the quality and reliability of the programming security. Kharkov: Nat. Aerospace Univ. "HAI".
Primary
Discovery
stream
Correction
Bringing
Secondary
Information structure of PS
stream
Information structure of SD
A defect is disparity of information structure of SS and information structure of SD An error is a defect which is showing up during the process of exploitation
The processes of discovery and correction of defects in software systems are similar to the processes of transfer in the non-equilibrium systems
5
The transport phenomena in the non-equilibrium systems TRANSPORT PHENOMENA - transport phenomena concerns the exchange of mass, energy, momentum and other between two observed systems
Transfer type Electric charge q Electric potential
Conductivity C Electric capacity
Amount of warmth Q
T Abs. temp. (thermal potential) k Heat conductivity coefficient C - Heat capacity
Connection Law
= =
= =
= =
= 1 1 2 2 = 2 1 1 2
,
Where
2. On the order of models. The order of model of software system will be called the order of differentiation equalization, which is describes the law of changing of amount of errors in time in this model.
For the first-order systems:
1 = 1 1
A number of defects is in the system: 1 = 0 1 Failure intensity function : 1 = 0 1 1 Cumulative number of defects:
1 = 0 0 1
DTSS. Two-ordering model Solutions for the going out stream of defects
+ 1 2
2 +1
10
11
Software systems dynamics . Two-ordering model Solutions for the incoming stream of defects
+ 2 1
2 +1
12
13
14
Outcoming
Incoming Equilibrum state
0
0 50 100 150 200 250 300
te
350
400
450
500
Time
ln 0 1 + 2
Law of streams equilibrium. In any software system output and entrance streams arrive at an internal equilibrium. Time of achievement of internal equilibrium straight proportional to the initial amount of defects and inversely proportional to the sum of coefficients of influence
15
Theorem of equilibrium. For passing of the software system to the state of external equilibrium it is necessary and enough implementations of one of terms : 1. A1 < A2 (less defects are brought in SS than corrected); 2. . A1 = A2 (so much defects are brought in SS how many corrected). Theorem of stability. Position of external equilibrium is asymptotically steady at implementation of condition A1 < A2
Steady
Quasistable
16
Type 1
intensity of outgoing stream is more than incoming intensity of outgoing stream is equal to intensity of incoming
17
18
OS Android http://code.google.com/p/android/issues/list
19
20
Conclusions
1. The concept of streams of defects is first entered, that allowed to use the methods of the non-equilibrium system dynamics theory for the software reliability estimates 2. On the base of the main hypotheses the software systems dynamics theory was created 3. On the basis of this theory the concept of the order of a software systems model was introduced and proposed the classification on the basis of linearity. 4. As first the mathematical model of identify and introduction of defects for a twoorder were obtained. 5. There were introduced three main types of cumulative curves of the detection of defects and identified the conditions of their occurrence. 6. The experimental verification and comparative analysis of existing models of reliability of PC and the developed model were completed. 7. These results confirm the validity of the theory of the software systems dynamics
21