34008

Автор(ы): 

Жарко Е. Ф. (ИПУ РАН, Лаборатория 31)

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Доклад

Название: 

The methodology of software quality assurance for safety-critical systems

Электронная публикация: 

Да

ISBN/ISSN: 

978-1-4799-7102-2

Наименование конференции: 

  • IEEE International Siberian Confererence on Control and Communications (SIBCON-2015, Omsk)

Наименование источника: 

  • Proceedings of the IEEE International Siberian Confererence on Control and Communications (SIBCON-2015, Omsk)

Обозначение и номер тома: 

Т. 1

Город: 

  • Omsk

Издательство: 

  • IEEE Catalog Number: CFP15794-CDR

Год издания: 

2015

Страницы: 

1-5
Аннотация
Quality is the most important factor under software design for a safety-critical system. To achieve the software quality, conventional approaches are used, based on software testing. However, testing complex software may not assure revealing all bugs in the software and, as a consequence, it does not assure a required level of the software quality and safety. In the paper, a methodology of the software quality assurance for a safety-critical system is considered.

Библиографическая ссылка: 

Жарко Е.Ф. The methodology of software quality assurance for safety-critical systems / Proceedings of the IEEE International Siberian Confererence on Control and Communications (SIBCON-2015, Omsk). Omsk: IEEE Catalog Number: CFP15794-CDR, 2015. Т. 1. С. 1-5.