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...
Saved in:
Main Author: | |
---|---|
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 |