| http://dbpedia.org/ontology/abstract
|
軟體驗證（software verification）是軟體工程中的一部份，目的在確認軟體滿足預期的需求。
, Верифікація програмного забезпечення — про … Верифікація програмного забезпечення — процес посвідчення, що програми та їх компоненти виконують запропоновані їм вимоги. Метою верифікації є посвідчення в тому, що програмне забезпечення відповідає висунутим вимогам. Паралельно з цим фіксуються нові дефекти, додані в процесі розробки. Процес верифікації є складовою частиною більш загального процес забезпечення домовленого рівня якості розроблюваної системи. Верифіка́ція (пізньолат. verificatia — підтвердження; лат. verus — істинний, facio — роблю) — доказ того, що вірогідний факт або твердження є істинним. Термін використовується в залежності від того, як обґрунтовується істина: базується вона на приведенні одного доказу або аргументу - чи вона повинна підтверджуватися можливістю багаторазово відтворювання, тобто перевірятися практикою. Верифікація націлена на скорочення помилок. Але дуже важливо розуміти, що верифікація - це контрольований ззовні процес, що демонструє наявність у системі багів і умови їх прояву. Верифікація дозволяє гарантувати, що програмна система реалізована без непередбачуваної функціональності, відповідає висунутим вимогам, специфікаціям і стандартам . Верифікація так само керований процес. В науці: логіко-методологічна процедура встановлення істинності наукової гіпотези (так само як і поодинокого, конкретно-наукового твердження) на підставі їхньої відповідності емпіричним даним (пряма або безпосередня верифікація) або теоретичним положенням, що відповідають емпіричним даним (непряма верифікація). У рамках логічного позитивізму принцип верифікованості розуміється критеріально вичерпним способом апробації наукових тверджень, які розуміються як «протокольні припущення» як фіксацій даних безпосереднього досвіду: твердження, котрі виходять за рамки «протокольних пропозицій» трактуються як такі, що неверифікуються, у випадку чого в дію вступає принцип фальсифікації. Процес верифікації вимог до ПЗ є невід'ємною частиною всього процесу розробки. Верифікація тісно пов'язана системи. Поняття верифікації іноді плутають з поняттями валідації, тестування і навіть налагодження, і метою цього поста є внесення ясності, що є що.ю цього поста є внесення ясності, що є що.
, La verificación de software es una disciplina de la ingeniería de software cuyo objetivo es asegurar que el software satisface por completo todos los requisitos esperados.
, Software verification is a discipline of software engineering whose goal is to assure that software fully satisfies all the expected requirements.
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.kroening.com/papers/tcad-sw-2008.pdf +
|
| http://dbpedia.org/ontology/wikiPageID
|
665989
|
| http://dbpedia.org/ontology/wikiPageLength
|
4808
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1018184200
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Verification_and_validation_%28software%29 +
, http://dbpedia.org/resource/Formal_verification +
, http://dbpedia.org/resource/Runtime_verification +
, http://dbpedia.org/resource/Anti-pattern +
, http://dbpedia.org/resource/Software_testing +
, http://dbpedia.org/resource/Hardware_verification +
, http://dbpedia.org/resource/Code_conventions +
, http://dbpedia.org/resource/Category:Software_testing +
, http://dbpedia.org/resource/Integration_test +
, http://dbpedia.org/resource/Dynamic_testing +
, http://dbpedia.org/resource/IEEE +
, http://dbpedia.org/resource/Carlo_Ghezzi +
, http://dbpedia.org/resource/Alan_L._Breitler +
, http://dbpedia.org/resource/Dino_Mandrioli +
, http://dbpedia.org/resource/Correctness_%28computer_science%29 +
, http://dbpedia.org/resource/Software_metric +
, http://dbpedia.org/resource/Unit_test +
, http://dbpedia.org/resource/Software_verification_and_validation +
, http://dbpedia.org/resource/Software_engineering +
, http://dbpedia.org/resource/Software_bugs +
, http://dbpedia.org/resource/Experimentation +
, http://dbpedia.org/resource/Static_code_analysis +
, http://dbpedia.org/resource/Mehdi_Jazayeri +
, http://dbpedia.org/resource/Stress_testing_%28software%29 +
, http://dbpedia.org/resource/Daniel_Kroening +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Main +
, http://dbpedia.org/resource/Template:ISBN +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Software_testing +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Discipline +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Software_verification?oldid=1018184200&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Software_verification +
|
| owl:sameAs |
http://www.wikidata.org/entity/Q6504747 +
, http://es.dbpedia.org/resource/Verificaci%C3%B3n_de_software +
, http://az.dbpedia.org/resource/Proqram_t%C9%99minat%C4%B1n%C4%B1n_verifikasiyas%C4%B1 +
, https://global.dbpedia.org/id/4pkH7 +
, http://th.dbpedia.org/resource/%E0%B8%81%E0%B8%B2%E0%B8%A3%E0%B8%97%E0%B8%A7%E0%B8%99%E0%B8%AA%E0%B8%AD%E0%B8%9A%E0%B8%8B%E0%B8%AD%E0%B8%9F%E0%B8%95%E0%B9%8C%E0%B9%81%E0%B8%A7%E0%B8%A3%E0%B9%8C +
, http://dbpedia.org/resource/Software_verification +
, http://zh.dbpedia.org/resource/%E8%BB%9F%E9%AB%94%E9%A9%97%E8%AD%89 +
, http://uk.dbpedia.org/resource/%D0%92%D0%B5%D1%80%D0%B8%D1%84%D1%96%D0%BA%D0%B0%D1%86%D1%96%D1%8F_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BD%D0%BE%D0%B3%D0%BE_%D0%B7%D0%B0%D0%B1%D0%B5%D0%B7%D0%BF%D0%B5%D1%87%D0%B5%D0%BD%D0%BD%D1%8F +
, http://vi.dbpedia.org/resource/X%C3%A1c_minh_ph%E1%BA%A7n_m%E1%BB%81m +
, http://rdf.freebase.com/ns/m.031383 +
|
| rdf:type |
http://dbpedia.org/ontology/Sport +
, http://dbpedia.org/ontology/MusicGenre +
|
| rdfs:comment |
Software verification is a discipline of software engineering whose goal is to assure that software fully satisfies all the expected requirements.
, Верифікація програмного забезпечення — про … Верифікація програмного забезпечення — процес посвідчення, що програми та їх компоненти виконують запропоновані їм вимоги. Метою верифікації є посвідчення в тому, що програмне забезпечення відповідає висунутим вимогам. Паралельно з цим фіксуються нові дефекти, додані в процесі розробки. Процес верифікації є складовою частиною більш загального процес забезпечення домовленого рівня якості розроблюваної системи. Верифікація націлена на скорочення помилок. Але дуже важливо розуміти, що верифікація - це контрольований ззовні процес, що демонструє наявність у системі багів і умови їх прояву.явність у системі багів і умови їх прояву.
, La verificación de software es una disciplina de la ingeniería de software cuyo objetivo es asegurar que el software satisface por completo todos los requisitos esperados.
, 軟體驗證（software verification）是軟體工程中的一部份，目的在確認軟體滿足預期的需求。
|
| rdfs:label |
Verificación de software
, 軟體驗證
, Software verification
, Верифікація програмного забезпечення
|
