Особенности тестирования критических программных систем при их сертификации

Розглянуто питання створення процедур і сценаріїв тестування критичних програмних систем. Отримані процедури дозволяють генерувати оптимальні тестові набори даних, що сприяє підвищенню ефективності випробувань, зменшенню трудомісткості сертифікації та збільшенню достовірності її результатів. The que...

Повний опис

Збережено в:
Бібліографічні деталі
Опубліковано в: :Проблемы управления и информатики
Дата:2011
Автори: Райчев, И.Э., Харченко, А.Г., Егоров О.А.
Формат: Стаття
Мова:Російська
Опубліковано: Інститут кібернетики ім. В.М. Глушкова НАН України 2011
Теми:
Онлайн доступ:https://nasplib.isofts.kiev.ua/handle/123456789/207297
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Особенности тестирования критических программных систем при их сертификации И.Э. Райчев, А.Г. Харченко, О.А. Егоров // Проблемы управления и информатики. — 2011. — № 2. — С. 91–100. — Бібліогр.: 20 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
_version_ 1862744958437425152
author Райчев, И.Э.
Харченко, А.Г.
Егоров О.А.
author_facet Райчев, И.Э.
Харченко, А.Г.
Егоров О.А.
citation_txt Особенности тестирования критических программных систем при их сертификации И.Э. Райчев, А.Г. Харченко, О.А. Егоров // Проблемы управления и информатики. — 2011. — № 2. — С. 91–100. — Бібліогр.: 20 назв. — рос.
collection DSpace DC
container_title Проблемы управления и информатики
description Розглянуто питання створення процедур і сценаріїв тестування критичних програмних систем. Отримані процедури дозволяють генерувати оптимальні тестові набори даних, що сприяє підвищенню ефективності випробувань, зменшенню трудомісткості сертифікації та збільшенню достовірності її результатів. The questions of creating procedures and scripts of testing of critical program systems are considered. The obtained procedures of testing allow to generate optimal test data sets that enable to increase efficiency of tests, to reduce input of certification, and to raise reliability of its results.
first_indexed 2025-12-07T20:38:09Z
format Article
fulltext
id nasplib_isofts_kiev_ua-123456789-207297
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
issn 0572-2691
language Russian
last_indexed 2025-12-07T20:38:09Z
publishDate 2011
publisher Інститут кібернетики ім. В.М. Глушкова НАН України
record_format dspace
spelling Райчев, И.Э.
Харченко, А.Г.
Егоров О.А.
2025-10-05T10:49:14Z
2011
Особенности тестирования критических программных систем при их сертификации И.Э. Райчев, А.Г. Харченко, О.А. Егоров // Проблемы управления и информатики. — 2011. — № 2. — С. 91–100. — Бібліогр.: 20 назв. — рос.
0572-2691
https://nasplib.isofts.kiev.ua/handle/123456789/207297
004.4:006.015.5(045)
10.1615/JAutomatInfScien.v43.i4.40
Розглянуто питання створення процедур і сценаріїв тестування критичних програмних систем. Отримані процедури дозволяють генерувати оптимальні тестові набори даних, що сприяє підвищенню ефективності випробувань, зменшенню трудомісткості сертифікації та збільшенню достовірності її результатів.
The questions of creating procedures and scripts of testing of critical program systems are considered. The obtained procedures of testing allow to generate optimal test data sets that enable to increase efficiency of tests, to reduce input of certification, and to raise reliability of its results.
ru
Інститут кібернетики ім. В.М. Глушкова НАН України
Проблемы управления и информатики
Методы обработки информации
Особенности тестирования критических программных систем при их сертификации
Особливості тестування критичних програмних систем при їх сертифікації
The Singularities of Testing Critical Program Systems While Their Certification
Article
published earlier
spellingShingle Особенности тестирования критических программных систем при их сертификации
Райчев, И.Э.
Харченко, А.Г.
Егоров О.А.
Методы обработки информации
title Особенности тестирования критических программных систем при их сертификации
title_alt Особливості тестування критичних програмних систем при їх сертифікації
The Singularities of Testing Critical Program Systems While Their Certification
title_full Особенности тестирования критических программных систем при их сертификации
title_fullStr Особенности тестирования критических программных систем при их сертификации
title_full_unstemmed Особенности тестирования критических программных систем при их сертификации
title_short Особенности тестирования критических программных систем при их сертификации
title_sort особенности тестирования критических программных систем при их сертификации
topic Методы обработки информации
topic_facet Методы обработки информации
url https://nasplib.isofts.kiev.ua/handle/123456789/207297
work_keys_str_mv AT raičevié osobennostitestirovaniâkritičeskihprogrammnyhsistempriihsertifikacii
AT harčenkoag osobennostitestirovaniâkritičeskihprogrammnyhsistempriihsertifikacii
AT egorovoa osobennostitestirovaniâkritičeskihprogrammnyhsistempriihsertifikacii
AT raičevié osoblivostítestuvannâkritičnihprogramnihsistempriíhsertifíkacíí
AT harčenkoag osoblivostítestuvannâkritičnihprogramnihsistempriíhsertifíkacíí
AT egorovoa osoblivostítestuvannâkritičnihprogramnihsistempriíhsertifíkacíí
AT raičevié thesingularitiesoftestingcriticalprogramsystemswhiletheircertification
AT harčenkoag thesingularitiesoftestingcriticalprogramsystemswhiletheircertification
AT egorovoa thesingularitiesoftestingcriticalprogramsystemswhiletheircertification