2025-02-22T10:21:52-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-151943%22&qt=morelikethis&rows=5
2025-02-22T10:21:52-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-151943%22&qt=morelikethis&rows=5
2025-02-22T10:21:52-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-22T10:21:52-05:00 DEBUG: Deserialized SOLR response

N-version programming as an opportunity to exclude errors in software

One of the methods for increasing computer system dependability level is the N-version programming method. Liming Chen and Algirdas Avizienis proposed this concept with the main hypothesis that «independent efforts in software development will significantly reduce the likelihood of identical failure...

Full description

Saved in:
Bibliographic Details
Main Author: Cespedes Garcia, P.D.
Format: Article
Language:English
Published: Інститут проблем математичних машин і систем НАН України 2019
Series:Математичні машини і системи
Subjects:
Online Access:http://dspace.nbuv.gov.ua/handle/123456789/151943
Tags: Add Tag
No Tags, Be the first to tag this record!
id irk-123456789-151943
record_format dspace
spelling irk-123456789-1519432019-06-02T01:25:23Z N-version programming as an opportunity to exclude errors in software Cespedes Garcia, P.D. Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення One of the methods for increasing computer system dependability level is the N-version programming method. Liming Chen and Algirdas Avizienis proposed this concept with the main hypothesis that «independent efforts in software development will significantly reduce the likelihood of identical failures that occurs in two or more versions of the program». The main goal of N-version programming is to increase the reliability of the software by bounding design errors. The effectiveness of a multiversion system depends on the variety of variations at the executive teams formation stage, different algorithms implementation, design and testing tools. Одним із методів підвищення рівня гарантоздатності комп'ютерних систем є метод багатоверсійного програмування. Ця концепція була запропонована Лімінгом Ченом і Альгірдасом Авіженісом у вигляді основної гіпотези про те, що «незалежні зусилля при розробці програмного забезпечення значно зменшать імовірність ідентичних збоїв, що виникають у двох або більше версіях програми». Метою багатоверсійного програмування є підвищення надійності роботи програмного забезпечення за рахунок локалізації помилок проектування. Ефективність багатоверсійної системи залежить від різноманітності варіацій на етапах утворення груп виконавців, використання різних алгоритмів, засобів проектування та випробувань. Одним из методов повышения уровня гарантоспособности компьютерных систем является метод многоверсионного программирования. Эта концепция была предложена Лимингом Ченом и Альгирдасом Авиженисом в виде основной гипотезы о том, что «независимые усилия при разработке программного обеспечения значительно уменьшат вероятность идентичных сбоев, возникающих в двух или более версиях программы». Целью многоверсионного программирования является повышение надежности работы программного обеспечения за счет локализации ошибок проектирования. Эффективность многоверсионной системы зависит от разнообразия вариаций на этапах образования групп исполнителей, использования разных алгоритмов, средств проектирования и испытаний. 2019 Article N-version programming as an opportunity to exclude errors in software / P.D. Cespedes Garcia // Математичні машини і системи. — 2019. — № 1. — С. 203–208. — Бібліогр.: 9 назв. — англ. 1028-9763 http://dspace.nbuv.gov.ua/handle/123456789/151943 621.3.019.3 en Математичні машини і системи Інститут проблем математичних машин і систем НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language English
topic Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення
Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення
spellingShingle Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення
Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення
Cespedes Garcia, P.D.
N-version programming as an opportunity to exclude errors in software
Математичні машини і системи
description One of the methods for increasing computer system dependability level is the N-version programming method. Liming Chen and Algirdas Avizienis proposed this concept with the main hypothesis that «independent efforts in software development will significantly reduce the likelihood of identical failures that occurs in two or more versions of the program». The main goal of N-version programming is to increase the reliability of the software by bounding design errors. The effectiveness of a multiversion system depends on the variety of variations at the executive teams formation stage, different algorithms implementation, design and testing tools.
format Article
author Cespedes Garcia, P.D.
author_facet Cespedes Garcia, P.D.
author_sort Cespedes Garcia, P.D.
title N-version programming as an opportunity to exclude errors in software
title_short N-version programming as an opportunity to exclude errors in software
title_full N-version programming as an opportunity to exclude errors in software
title_fullStr N-version programming as an opportunity to exclude errors in software
title_full_unstemmed N-version programming as an opportunity to exclude errors in software
title_sort n-version programming as an opportunity to exclude errors in software
publisher Інститут проблем математичних машин і систем НАН України
publishDate 2019
topic_facet Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення
url http://dspace.nbuv.gov.ua/handle/123456789/151943
citation_txt N-version programming as an opportunity to exclude errors in software / P.D. Cespedes Garcia // Математичні машини і системи. — 2019. — № 1. — С. 203–208. — Бібліогр.: 9 назв. — англ.
series Математичні машини і системи
work_keys_str_mv AT cespedesgarciapd nversionprogrammingasanopportunitytoexcludeerrorsinsoftware
first_indexed 2023-05-20T17:37:05Z
last_indexed 2023-05-20T17:37:05Z
_version_ 1796153701556027392