, , ? , , . , , , , . .
, , :
.
.
.
.
.
24 7 .
.
.
.
. , , . ( , , , , , .), , .
22. ISO 9126 , .
ISO 9126 .
, , ; , ; , . , . , . , ISO 9126, .
ISO 9126
ISO 9000. :
ISO 9000:2000 Quality management systems Fundamentals and vocabulary. . ( -2001).
ISO 9001:2000 Quality management systems Requirements. Models for quality assurance in design, development, production, installation, and servicing. . , , , .
|
|
ISO 9004:2000 Quality management systems Guidelines for performance improvements. . . ( -2001).
ISO/IEC 90003:2004 Software engineering Guidelines for the application of ISO 9001:2000 to computer software. ISO 9001 , .
.
, , , .
, , .. , , .
, , .
. , . .
, . , , , , , , . :
, .
.
, , .
.
, , . .
. , , . , , , . , . . , , .
, : , , , , .
|
|
. , .
:
IEEE 829-1998 Standard for Software Test Documentation.
IEEE 1008-1987 (R1993, R2002) Standard for Software Unit Testing.
ISO/IEC 12119:1994 ( AS/NZS 4366:1996 -2000, IEEE IEEE 1465-1998) Information Technology. Software packages Quality requirements and testing.
:
, .
, .
, .
(model checking) , ( ) . , . , .
, . (safety properties) , . (liveness properties) , , .
. , , , . , , , , , , . , , .
, , , . , , .
, , .
, "" :
defect - , .
failure , - . .
fault , (failures), , .
error .
, , (faults). , , , .
|
|
( ), .
( , , ) , . , . , -, , , , .
, , . , , , , , , .. - , . , , . , , , .
( , - ), , , . , .