В статье представлены результаты анализа состояния и перспектив в области разработки программных средств (ПС) критически важных систем. Установлено, что основными направлениями решения накопившихся в данной области проблем являются совершенствование нормативно-методической базы, внедрение современных технологий разработки и реализация сквозного контроля качества ПС на всех этапах их жизненного цикла (ЖЦ). Предложена соответствующая современным технологиям разработки программного обеспечения усовершенствованная модель ЖЦ ПС, в которой точно определены место и роль процессов контроля и обеспечения качества. Описана классификация показателей качества ПС. Представлен метод и технологии реализации автоматизированного сквозного контроля качества на всех этапах жизненного цикла ПС.
верификация, жизненный цикл, контроль качества, критически важные системы, модель жизненного цикла, показатели качества программных средств, программные средства
1. http://www.coverity.com/library/pdf/coverity-scan-2011-open-source-integrity-report.pdf (дата обращения 05.07.2015).
2.
3. Кулямин В. В. Методы верификации программного обеспечения / В. В. Кулямин. – М. : Ин-т системного программирования РАН, 2008. – 111 с.
4.
5. Генельт А. Е. Управление качеством разработки программного обеспечения : учеб.-методич. пособие / А. Е. Генельт. – СПб. : ИТМО, 2007. – 187 с.
6.
7. ISO/IEC 9126 Software engineering – Product quality. – Part 1–41, 2001.
8.
9. ГОСТ Р 51189-98. Порядок разработки программных средств систем вооружения (введ. 01.07.1999). – М. : Стандартинформ, 2010. – 16 с.
10.
11. ГОСТ 34.601-90. Автоматизированные системы. Стадии создания (введ. 01.01.1992). – М. : Стандартинформ, 2009. – 6 с.
12.
13. ГОСТ Р ИСО/МЭК 12207-2010. Процессы жизненного цикла программных средств (введ. 01.03.2012). – М. : Стандартинформ, 2011. – 105 с.
14.
15. ГОСТ 28195-89. Оценка качества программных средств. Общие положения (введ. 01.07.1990). – М. : Стандартинформ, 2001. – 31 с.
16.
17. ГОСТ Р ИСО/МЭК 15288-2005. Системная и программная инженерия. Процессы жизненного цикла систем (введ. 01.01.2007). – М. : Стандартинформ, 2006. – 57 с.
18.
19. http://iso25000.com (дата обращения 27.05.2015).
20.
21. http://www.uml.org (дата обращения 15.06.2015).
22.
23. http://www.omg.prg/mof (дата обращения 17.11.2015).
24.
25. http://www.omg.prg/spec/XMI (дата обращения 07.10.2015).
26.
27. http://matlab.ru/products/simulink (дата обращения 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 (дата обращения 20.10.2015).
34.
35. http://www.softserveinc.com/en-us/services/software-testing (дата обращения 20.10.2015).
36.
37. http://codedx.com/ide-integration-helps-developers-adopt-application-security-testing-tools (дата обращения 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.
