Форма пошуку
Назад
укр
рус
eng
Cписок
Konorev B.M., Sergiienko V.V., Zholtkevych G.N., Chertkov G.N., Alexeev Y.G.
Concept of critical software independent verification based on invariant-oriented model-checking approach
Вид документа:
Стаття періодики
Автор:
Konorev B.M., Sergiienko V.V., Zholtkevych G.N., Chertkov G.N., Alexeev Y.G.
Вид автора:
персона
Мова:
Англійська
Обсяг:
P. 184-190
УДК:
004.415.5:004.052.42
Аннотацiя:
Concept of critical software independent verification based on invariants (software properties invariable during the life cycle) measurement on the platform of the source software text static analysis is presented. The use of a model-checking approach (verification of software models, oriented on the measurement of invariants) along with the experimental calibration of sensitivity and pairwise the diversity degree of invariant measurement methods, allows essentially increasing reliability of the results of critical software independent verification. Proposed approach can be used for forecasting of critical software latent faults probability and assessment of testing coverage completeness. Keywords: software quality, independent verification, invariant, model-checking, calibration, latent faults.
Переглянути електронну копію
Є складовою частиною документа:
Радіоелектронні і комп'ютерні системи
Відомості щодо назви
Паралельна назва
:
Концепция независимой верификации критического программного обеспечения на основе инварианто-ориентированного model-checking подхода
Відомості щодо головного
Назва головного документа
:
Радіоелектронні і комп'ютерні системи
Дата видання головного документа
:
2012
Номер частини головного документа
:
5
Загальна інформація
Бібліографія
:
Bibliogr.: 4 names
Теми документа:
УДК/UDC/ 0 Загальний відділ/Общий отдел/Science and knowledge/ 00 Загальні питання науки і культури/Общие вопросы науки культуры/Prolegomena. Fundamentals of knowledge and culture. Propaedeutics/ 004 Комп'ютерна наука і технологія. Застосування комп'ютера. Оброблення даних/Информационные технологии. Вычислительная техника. Обработка данных/Computer science and technology. Computing. Data processing/ 004.05 Якість систем і програмного забезпечення/Качество систем и программного обеспечения/System and software quality/ 004.052 Надійність і точність систем і програмного забезпечення/Надежность и точность систем и программного обеспечения/Reliability and accuracy of systems and software/ 004.052.4 Контроль помилок. Обробка помилок/Контроль ошибок. Обработка ошибок/Error control. Error handling/ 004.052.42 Виявлення помилок. Оцінка даних. Підтверження достовірності даних. Перевірка даних/Обнаружение ошибок. Контроль допустимости. Проверка достоверности данных. Верификация данных/Error detection
УДК/UDC/ 0 Загальний відділ/Общий отдел/Science and knowledge/ 00 Загальні питання науки і культури/Общие вопросы науки культуры/Prolegomena. Fundamentals of knowledge and culture. Propaedeutics/ 004 Комп'ютерна наука і технологія. Застосування комп'ютера. Оброблення даних/Информационные технологии. Вычислительная техника. Обработка данных/Computer science and technology. Computing. Data processing/ 004.4 Програмне забезпечення/Программные средства/Software/ 004.41 Техніка програмування. Програмотехніка/Программотехника. Разработка вычислительных систем/Software engineering/ 004.415 Розробка комп'ютерної системи і програмного забезпечення/Разработка компьютерной системы и программного обеспечения/Development of computer systems and software/ 004.415.5 Верифікація і оцінка програмних засобів/Верификация и оценка программных средств/Verification and evaluation software