V stat'e predstavleny rezul'taty analiza sostoyaniya i perspektiv v oblasti razrabotki programmnyh sredstv (PS) kriticheski vazhnyh sistem. Ustanovleno, chto osnovnymi napravleniyami resheniya nakopivshihsya v dannoy oblasti problem yavlyayutsya sovershenstvovanie normativno-metodicheskoy bazy, vnedrenie sovremennyh tehnologiy razrabotki i realizaciya skvoznogo kontrolya kachestva PS na vseh etapah ih zhiznennogo cikla (ZhC). Predlozhena sootvetstvuyuschaya sovremennym tehnologiyam razrabotki programmnogo obespecheniya usovershenstvovannaya model' ZhC PS, v kotoroy tochno opredeleny mesto i rol' processov kontrolya i obespecheniya kachestva. Opisana klassifikaciya pokazateley kachestva PS. Predstavlen metod i tehnologii realizacii avtomatizirovannogo skvoznogo kontrolya kachestva na vseh etapah zhiznennogo cikla PS.
verifikaciya, zhiznennyy cikl, kontrol' kachestva, kriticheski vazhnye sistemy, model' zhiznennogo cikla, pokazateli kachestva programmnyh sredstv, programmnye sredstva
1. http://www.coverity.com/library/pdf/coverity-scan-2011-open-source-integrity-report.pdf (data obrascheniya 05.07.2015).
2.
3. Kulyamin V. V. Metody verifikacii programmnogo obespecheniya / V. V. Kulyamin. – M. : In-t sistemnogo programmirovaniya RAN, 2008. – 111 s.
4.
5. Genel't A. E. Upravlenie kachestvom razrabotki programmnogo obespecheniya : ucheb.-metodich. posobie / A. E. Genel't. – SPb. : ITMO, 2007. – 187 s.
6.
7. ISO/IEC 9126 Software engineering – Product quality. – Part 1–41, 2001.
8.
9. GOST R 51189-98. Poryadok razrabotki programmnyh sredstv sistem vooruzheniya (vved. 01.07.1999). – M. : Standartinform, 2010. – 16 s.
10.
11. GOST 34.601-90. Avtomatizirovannye sistemy. Stadii sozdaniya (vved. 01.01.1992). – M. : Standartinform, 2009. – 6 s.
12.
13. GOST R ISO/MEK 12207-2010. Processy zhiznennogo cikla programmnyh sredstv (vved. 01.03.2012). – M. : Standartinform, 2011. – 105 s.
14.
15. GOST 28195-89. Ocenka kachestva programmnyh sredstv. Obschie polozheniya (vved. 01.07.1990). – M. : Standartinform, 2001. – 31 s.
16.
17. GOST R ISO/MEK 15288-2005. Sistemnaya i programmnaya inzheneriya. Processy zhiznennogo cikla sistem (vved. 01.01.2007). – M. : Standartinform, 2006. – 57 s.
18.
19. http://iso25000.com (data obrascheniya 27.05.2015).
20.
21. http://www.uml.org (data obrascheniya 15.06.2015).
22.
23. http://www.omg.prg/mof (data obrascheniya 17.11.2015).
24.
25. http://www.omg.prg/spec/XMI (data obrascheniya 07.10.2015).
26.
27. http://matlab.ru/products/simulink (data obrascheniya 20.09.2015).
28.
29. Fairley R. E. Managing and Leading Software Projects. – Wiley-IEEE Comput. Soc. Press, 2009. – 512 p.
30.
31. Naveda J. F., Seidman S. B. A Self-Study Guide for To day’s Software Professional // IEEE Comput. Soc. Real-World Softw. Eng. Probl. – Wiley-IEEE Comput. Soc. Press, 2006. – 328 p.
32.
33. http://sunset.usc.edu/research/COCOMOII/expert_cocomo/expert_cocomo2000.html (data obrascheniya 20.10.2015).
34.
35. http://www.softserveinc.com/en-us/services/software-testing (data obrascheniya 20.10.2015).
36.
37. http://codedx.com/ide-integration-helps-developers-adopt-application-security-testing-tools (data obrascheniya 20.10.2015).
38.
39. Boehm B., Basili V. Software Defect Reduction Top 10 List // IEEE Comput., IEEE Comput. Soc. – 2001. – Vol. 34, No.1. – P. 135–137.
40.
41. Selby R. W. Software Engineering: Barry W. // Boehm’s Lifetime Contrib. Software Dev., Manage. Res. – Wiley-IEEE Computer Society Press, 2007. – 832 p.
