This HTML5 document contains 115 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
n20https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
dbpedia-azhttp://az.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-vihttp://vi.dbpedia.org/resource/
dbpedia-zhhttp://zh.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
dbpedia-thhttp://th.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n9http://www.kroening.com/papers/
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Electoral_fraud
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:List_of_computer_scientists
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:Device_driver_synthesis_and_verification
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:Verve_(operating_system)
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:Institut_de_recherche_en_informatique_fondamentale
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:Rajeev_Alur
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:List_of_programmers
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:Constraint_Handling_Rules
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:SPARK_(programming_language)
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:Mihaela_Sighireanu
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:Glossary_of_computer_science
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:Model_checking
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:Concolic_testing
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:Lionel_Briand
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:Static_verification
dbo:wikiPageWikiLink
dbr:Software_verification
dbo:wikiPageRedirects
dbr:Software_verification
Subject Item
dbr:Computer_engineering_compendium
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:Z3_Theorem_Prover
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:Emina_Torlak
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:Trusted_computing_base
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:Matita
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:Ada_(programming_language)
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:DO-178B
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:Dynamic_verification
dbo:wikiPageWikiLink
dbr:Software_verification
dbo:wikiPageRedirects
dbr:Software_verification
Subject Item
dbr:Nico_Habermann
dbo:wikiPageWikiLink
dbr:Software_verification
dbo:knownFor
dbr:Software_verification
Subject Item
dbr:Java_Pathfinder
dbo:wikiPageWikiLink
dbr:Software_verification
dbo:genre
dbr:Software_verification
Subject Item
dbr:Runtime_error_detection
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:Software_testing_tactics
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:Attack_Surface_Analyzer
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:ACM_Transactions_on_Programming_Languages_and_Systems
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:TUM_School_of_Computation,_Information_and_Technology
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:George_Necula
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:Artur_d'Avila_Garcez
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:Automated_reasoning
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:Software_construction
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:Software_release_life_cycle
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:Software_testing
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:ITMO_University
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:Ilya_Sergey
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:XAP_processor
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:Monadic_second-order_logic
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:SAT_solver
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:Software_verification
rdf:type
dbo:Sport dbo:MusicGenre
rdfs:label
Software verification 軟體驗證 Верифікація програмного забезпечення Verificación de software
rdfs:comment
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)是軟體工程中的一部份,目的在確認軟體滿足預期的需求。 Software verification is a discipline of software engineering whose goal is to assure that software fully satisfies all the expected requirements.
dcterms:subject
dbc:Software_testing
dbo:wikiPageID
665989
dbo:wikiPageRevisionID
1018184200
dbo:wikiPageWikiLink
dbr:Software_bugs dbr:Software_engineering dbr:Formal_verification dbr:Unit_test dbr:Static_code_analysis dbr:Dino_Mandrioli dbr:Anti-pattern dbr:Daniel_Kroening dbr:Software_testing dbr:Experimentation dbr:Software_metric dbc:Software_testing dbr:Code_conventions dbr:Hardware_verification dbr:Carlo_Ghezzi dbr:Alan_L._Breitler dbr:Dynamic_testing dbr:Stress_testing_(software) dbr:Mehdi_Jazayeri dbr:Verification_and_validation_(software) dbr:Correctness_(computer_science) dbr:IEEE dbr:Runtime_verification dbr:Software_verification_and_validation dbr:Integration_test
dbo:wikiPageExternalLink
n9:tcad-sw-2008.pdf
owl:sameAs
dbpedia-vi:Xác_minh_phần_mềm wikidata:Q6504747 dbpedia-uk:Верифікація_програмного_забезпечення freebase:m.031383 dbpedia-zh:軟體驗證 dbpedia-az:Proqram_təminatının_verifikasiyası n20:4pkH7 dbpedia-th:การทวนสอบซอฟต์แวร์ dbpedia-es:Verificación_de_software
dbp:wikiPageUsesTemplate
dbt:Main dbt:ISBN
dbo:abstract
Верифікація програмного забезпечення — процес посвідчення, що програми та їх компоненти виконують запропоновані їм вимоги. Метою верифікації є посвідчення в тому, що програмне забезпечення відповідає висунутим вимогам. Паралельно з цим фіксуються нові дефекти, додані в процесі розробки. Процес верифікації є складовою частиною більш загального процес забезпечення домовленого рівня якості розроблюваної системи. Верифіка́ція (пізньолат. verificatia — підтвердження; лат. verus — істинний, facio — роблю) — доказ того, що вірогідний факт або твердження є істинним. Термін використовується в залежності від того, як обґрунтовується істина: базується вона на приведенні одного доказу або аргументу - чи вона повинна підтверджуватися можливістю багаторазово відтворювання, тобто перевірятися практикою. Верифікація націлена на скорочення помилок. Але дуже важливо розуміти, що верифікація - це контрольований ззовні процес, що демонструє наявність у системі багів і умови їх прояву. Верифікація дозволяє гарантувати, що програмна система реалізована без непередбачуваної функціональності, відповідає висунутим вимогам, специфікаціям і стандартам . Верифікація так само керований процес. В науці: логіко-методологічна процедура встановлення істинності наукової гіпотези (так само як і поодинокого, конкретно-наукового твердження) на підставі їхньої відповідності емпіричним даним (пряма або безпосередня верифікація) або теоретичним положенням, що відповідають емпіричним даним (непряма верифікація). У рамках логічного позитивізму принцип верифікованості розуміється критеріально вичерпним способом апробації наукових тверджень, які розуміються як «протокольні припущення» як фіксацій даних безпосереднього досвіду: твердження, котрі виходять за рамки «протокольних пропозицій» трактуються як такі, що неверифікуються, у випадку чого в дію вступає принцип фальсифікації. Процес верифікації вимог до ПЗ є невід'ємною частиною всього процесу розробки. Верифікація тісно пов'язана системи. Поняття верифікації іноді плутають з поняттями валідації, тестування і навіть налагодження, і метою цього поста є внесення ясності, що є що. 軟體驗證(software verification)是軟體工程中的一部份,目的在確認軟體滿足預期的需求。 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.
gold:hypernym
dbr:Discipline
prov:wasDerivedFrom
wikipedia-en:Software_verification?oldid=1018184200&ns=0
dbo:wikiPageLength
4808
foaf:isPrimaryTopicOf
wikipedia-en:Software_verification
Subject Item
dbr:Verification
dbo:wikiPageWikiLink
dbr:Software_verification
dbo:wikiPageDisambiguates
dbr:Software_verification
Subject Item
dbr:IBM_Israel
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:Testing_high-performance_computing_applications
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:Verification_and_validation_of_computer_simulation_models
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:Usability_testing
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:Software_verification_and_validation
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:Outline_of_computer_programming
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:Shriram_Krishnamurthi
dbo:wikiPageWikiLink
dbr:Software_verification
Subject Item
dbr:Verification_of_software
dbo:wikiPageWikiLink
dbr:Software_verification
dbo:wikiPageRedirects
dbr:Software_verification
Subject Item
wikipedia-en:Software_verification
foaf:primaryTopic
dbr:Software_verification