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

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

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
n19http://dbpedia.org/resource/ISO/IEC/
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-cahttp://ca.dbpedia.org/resource/
n17http://www.computer.org/portal/web/swebok/html/
n24https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-ukhttp://uk.dbpedia.org/resource/
freebasehttp://rdf.freebase.com/ns/
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-pthttp://pt.dbpedia.org/resource/
n29http://dbpedia.org/resource/ISO/
n21http://www.ece.cmu.edu/~koopman/des_s99/verification/
dbpedia-fahttp://fa.dbpedia.org/resource/
dbpedia-nohttp://no.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
dbpedia-arhttp://ar.dbpedia.org/resource/
owlhttp://www.w3.org/2002/07/owl#
n20http://dbpedia.org/resource/Terma_A/
dbpedia-zhhttp://zh.dbpedia.org/resource/
n27https://www.sebokwiki.org/wiki/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Metamorphic_testing
dbo:wikiPageWikiLink
dbr:Software_verification_and_validation
Subject Item
dbr:List_of_software_for_nuclear_engineering
dbo:wikiPageWikiLink
dbr:Software_verification_and_validation
Subject Item
dbr:International_Software_Testing_Qualifications_Board
dbo:wikiPageWikiLink
dbr:Software_verification_and_validation
Subject Item
dbr:Software_quality
dbo:wikiPageWikiLink
dbr:Software_verification_and_validation
Subject Item
dbr:Glossary_of_computer_science
dbo:wikiPageWikiLink
dbr:Software_verification_and_validation
Subject Item
dbr:ThinkStation
dbo:wikiPageWikiLink
dbr:Software_verification_and_validation
Subject Item
dbr:Computer-aided_software_engineering
dbo:wikiPageWikiLink
dbr:Software_verification_and_validation
Subject Item
dbr:Test_vector
dbo:wikiPageWikiLink
dbr:Software_verification_and_validation
Subject Item
dbr:Software_validation_and_verification
dbo:wikiPageWikiLink
dbr:Software_verification_and_validation
dbo:wikiPageRedirects
dbr:Software_verification_and_validation
Subject Item
dbr:Marie-Claude_Gaudel
dbo:wikiPageWikiLink
dbr:Software_verification_and_validation
Subject Item
dbr:IEEE_1012
dbo:wikiPageWikiLink
dbr:Software_verification_and_validation
dbo:wikiPageRedirects
dbr:Software_verification_and_validation
Subject Item
dbr:Shadow_of_the_Colossus
dbo:wikiPageWikiLink
dbr:Software_verification_and_validation
Subject Item
dbr:Software_verification
dbo:wikiPageWikiLink
dbr:Software_verification_and_validation
Subject Item
dbr:V&V
dbo:wikiPageWikiLink
dbr:Software_verification_and_validation
Subject Item
dbr:Verification_and_validation
dbo:wikiPageWikiLink
dbr:Software_verification_and_validation
Subject Item
dbr:Verification_and_validation_(software)
dbo:wikiPageWikiLink
dbr:Software_verification_and_validation
dbo:wikiPageRedirects
dbr:Software_verification_and_validation
Subject Item
dbr:Independent_software_verification_and_validation
dbo:wikiPageWikiLink
dbr:Software_verification_and_validation
dbo:wikiPageRedirects
dbr:Software_verification_and_validation
Subject Item
dbr:The_Journal_of_Object_Technology
dbo:wikiPageWikiLink
dbr:Software_verification_and_validation
Subject Item
dbr:Verification_and_validation_of_computer_simulation_models
dbo:wikiPageWikiLink
dbr:Software_verification_and_validation
Subject Item
dbr:Waste_management_in_Australia
dbo:wikiPageWikiLink
dbr:Software_verification_and_validation
Subject Item
dbr:Software_verification_and_validation
rdf:type
dbo:Election
rdfs:label
Validierung (Informatik) 軟體驗證及確認 Software verification and validation IEEE 1012 Weryfikacja i walidacja (oprogramowanie) التحقق والتثبت من البرمجيات Валідація програмного забезпечення
rdfs:comment
Im Bereich der Softwarequalitätssicherung wird unter Validierung die Prüfung der Eignung beziehungsweise der Wert einer Software bezogen auf ihren Einsatzzweck verstanden. Die Eignungsprüfung erfolgt auf Grundlage eines vorher aufgestellten Anforderungsprofils und kann sowohl technisch als auch personell geschehen. Weryfikacja i walidacja oprogramowania − inaczej kontrola jakości oprogramowania lub testy oprogramowania. Do kryterium weryfikacji należy zakwalifikowanie produktu oraz określenie, czy spełnia on lub pasuje do właściwego jego wykorzystania (wysoki poziom kontroli) – czy jest on wbudowany w odpowiedni produkt. Analiza programu pod kątem jego formalnej poprawności pozwala znaleźć błędy zarówno na poziomie koncepcji, jak i detali implementacyjnych. Jednak proces dowodzenia zgodności programu z wymaganiami nie sprowadza się wyłącznie do stwierdzenia, że system jest bądź nie jest poprawny. Валідація програмного забезпечення (англ. Validation Software) — процес визначення відповідності розроблюваного програмного забезпечення між очікуваннями і потребами користувача, вимогам до системи. Валідація є одним із основних етапів тестування програмного забезпечення. Мета процесу валідації — переконатися, що специфічні вимоги для програмного продукту виконано, і здійснюється це за допомогою: Верифікація і валідація полягає в перевірці специфікацій і правильності виконання програм відповідно до заданих вимог і формального опису програми. Верифікації і валідації піддаються: التحقق والتثبت من البرمجيات (بالإنجليزية: التحقق والتحقيق) في إدارة المشاريع البرمجية وهندسة البرمجيات كذلك للإشارة إلى آلية التدقيق بأن المشروع البرمجي يطابق المواصفات المحددة وبأنه يعمل بالطريقة المتوقعة منه. وكذلك قد يطلق هذا المصطلح على التحكم في جودة البرنامج. وفي العادة، هذه المهمة من مهمات مهندس البرمجيات الذي يقوم بعملية اختبار البرنامج، كجزء من عمليات دورة حياة البرمجيات، In software project management, software testing, and software engineering, verification and validation (V&V) is the process of checking that a software system meets specifications and requirements so that it fulfills its intended purpose. It may also be referred to as software quality control. It is normally the responsibility of software testers as part of the software development lifecycle. In simple terms, software verification is: "Assuming we should build X, does our software achieve its goals without any bugs or gaps?" On the other hand, software validation is: "Was X what we should have built? Does X meet the high-level requirements?" IEEE 1012 és una normativa del IEEE que fa referència a la verificació i validació (V&V) del programari es quant a assegurar les seves especificacions o propòsit inicial. IEEE 1012 també està relacionada amb el control de qualitat del programari i és responsabilitat dels assajadors d'especificacions com una part del cicle de vida (ISO/IEC 12207) del programari. El procés de verificació implica la detecció i correcció d'errors, el procés de validació implica el compliment dels objectius o especificacions del programari. 在、軟體工程及軟體測試中，驗證及確認（verification and validation，簡稱V&V）是指檢查軟體是否符合規格及其預期目的的程序。驗證及確認也被視為一種軟體品質管理，是软件开发过程的一部份，一般歸類在軟體測試中。 驗證及確認有時會由公正的第三方單位進行，此情形下的驗證及確認稱為獨立驗證及確認，簡稱IV&V。
dcterms:subject
dbc:Software_testing dbc:Software_quality dbc:Formal_methods
dbo:wikiPageID
699718
dbo:wikiPageRevisionID
1103753674
dbo:wikiPageWikiLink
dbr:DoD dbr:Verification_and_validation dbr:Barry_Boehm dbr:Validation_(drug_manufacture) dbr:FAA dbr:Patch_(computing) dbr:Dynamic_testing dbr:Acceptance_testing dbr:Modeling_and_simulation dbr:Cross-validation_(statistics) dbr:Capability_Maturity_Model dbr:Food_and_Drug_Administration dbr:IEEE_1012 dbr:Mission-critical dbr:Software_quality dbr:Computer_(magazine) dbr:DO-178B dbr:Safety-critical_system dbc:Software_testing dbr:SWEBOK dbr:Verification_and_Validation_of_Computer_Simulation_Models dbr:Coding_conventions dbr:Accreditation dbr:Computer_model dbr:DNV_GL dbr:U.S._Army dbr:Traceability dbr:Requirements_engineering dbr:Formal_methods n19:IEEE_15288 dbr:Data_validation dbr:European_Space_Agency dbr:SCISYS n20:S dbr:Static_code_analysis dbc:Software_quality dbr:Software_development_process dbr:RAMS dbr:Software_project_management dbr:Software_verification dbr:Software_engineering dbr:Formal_verification dbr:Software_metric dbr:Black_box_testing dbr:Software_testing dbr:Software_quality_assurance dbr:Independent_verification_systems dbc:Formal_methods dbr:Software_requirements_specification dbr:Compiler_correctness dbr:System_requirements dbr:Katherine_Johnson_Independent_Verification_and_Validation_Facility dbr:Independent_Verification_and_Validation_Facility dbr:International_Software_Testing_Qualifications_Board dbr:Software dbr:Software_quality_control dbr:Critical_Software dbr:Anti-Ballistic_Missile n29:IEC_12207 dbr:Functional_specification dbr:Quality_(business) dbr:White_box_testing
dbo:wikiPageExternalLink
n17:ch11 n21:index.html n27:System_Verification
owl:sameAs
dbpedia-uk:Валідація_програмного_забезпечення dbpedia-ca:IEEE_1012 wikidata:Q7921330 dbpedia-ar:التحقق_والتثبت_من_البرمجيات dbpedia-fa:اعتبارسنجی dbpedia-de:Validierung_(Informatik) n24:4xMaz dbpedia-zh:軟體驗證及確認 dbpedia-no:Verifikasjon_(informatikk) freebase:m.033vjk dbpedia-pl:Weryfikacja_i_walidacja_(oprogramowanie)
dbp:wikiPageUsesTemplate
dbt:Cite_journal dbt:IEEE_software_documents dbt:Cite_book dbt:Clarify dbt:Refend dbt:Refbegin dbt:Software_engineering
dbo:wikiPageInterLanguageLink
dbpedia-pt:Qualidade_de_software
dbo:abstract
In software project management, software testing, and software engineering, verification and validation (V&V) is the process of checking that a software system meets specifications and requirements so that it fulfills its intended purpose. It may also be referred to as software quality control. It is normally the responsibility of software testers as part of the software development lifecycle. In simple terms, software verification is: "Assuming we should build X, does our software achieve its goals without any bugs or gaps?" On the other hand, software validation is: "Was X what we should have built? Does X meet the high-level requirements?" Валідація програмного забезпечення (англ. Validation Software) — процес визначення відповідності розроблюваного програмного забезпечення між очікуваннями і потребами користувача, вимогам до системи. Валідація є одним із основних етапів тестування програмного забезпечення. Мета процесу валідації — переконатися, що специфічні вимоги для програмного продукту виконано, і здійснюється це за допомогою: * розробленої стратегії і критеріїв перевірки всіх робочих продуктів; * обговорених дій з проведення валідації; * демонстрації відповідності розроблених програмних продуктів вимогам замовника і правилам їхнього використання; * узгодження із замовником отриманих результатів валідації продукту. Процес валідації може проводитися самим виконавцем або іншою особою, наприклад, замовником, що здійснює дії з впровадженню і проведенню цього процесу за планом, у якому відбиті елементи і задачі перевірки. При цьому використовуються методи, інструментальні засоби і процедури виконання задач процесу для встановлення відповідності тестових вимог і особливостей використання програмних продуктів проекту на правильність реалізації вимог. Верифікація і валідація полягає в перевірці специфікацій і правильності виконання програм відповідно до заданих вимог і формального опису програми. Верифікація програмного коду допомагає зробити висновок про коректність створеної програмної системи при її проектуванні і після завершення її розроблення. Валідація дозволяє встановити здійснимість заданих вимог шляхом їх перегляду, інспекції і оцінки результатів проектування на процесах життєвого циклу для підтвердження того, що здійснюється коректна реалізація вимог, дотримання заданих умов і обмежень до системи. Верифікація і валідація забезпечують перевірку повноти, несуперечності і однозначності специфікації і правильності виконання функцій системи. Верифікації і валідації піддаються: * компоненти системи, їх інтерфейси (програмні, технічні і інформаційні) і взаємодія об'єктів (протоколи, повідомлення) у розподілених середовищах; * описи доступу до баз даних, засоби захисту від несанкціонованого доступу до даних різних користувачів; * документація до системи; * тести, тестові процедури і вхідні набори даних. На інших процесах життєвого циклу виконуються додаткові дії: * перевірка і контроль проектних рішень за допомогою методик і процедур перегляду ходу розроблення;< * звернення до CASE-систем , що містять у собі процедури перевірки вимог до продукту; * перегляди й інспекції проміжних результатів на відповідність вимогам для підтвердження того, що програмна система має коректну реалізацію вимог і задовольняє умови виконання. Таким чином, основні задачі процесів верифікації і валідації полягають у тому, щоб перевірити і підтвердити, що кінцевий програмний продукт відповідає призначенню і задовольняє вимогам замовника. Ці процеси взаємозалежні і визначаються, як правило, одним загальним терміном «верифікація і валідація» або «Verification and Validation» (V&V). V&V засновані на плануванні їх як процесів, так і перевірки для найбільш критичних елементів проекту: компонентів, інтерфейсів (програмних, технічних і інформаційних), взаємодій об'єктів (протоколів і повідомлень), передачі даних між компонентами і їхнього захисту, а також створення тестів і тестових процедур. Після перевірки окремих компонентів системи проводяться їхня інтеграція, повторна верифікація і валідація інтегрованої системи, створюється комплект документації, що відображає правильність виконання вимог за результатами інспекцій і тестування тестування. 在、軟體工程及軟體測試中，驗證及確認（verification and validation，簡稱V&V）是指檢查軟體是否符合規格及其預期目的的程序。驗證及確認也被視為一種軟體品質管理，是软件开发过程的一部份，一般歸類在軟體測試中。 驗證及確認有時會由公正的第三方單位進行，此情形下的驗證及確認稱為獨立驗證及確認，簡稱IV&V。 التحقق والتثبت من البرمجيات (بالإنجليزية: التحقق والتحقيق) في إدارة المشاريع البرمجية وهندسة البرمجيات كذلك للإشارة إلى آلية التدقيق بأن المشروع البرمجي يطابق المواصفات المحددة وبأنه يعمل بالطريقة المتوقعة منه. وكذلك قد يطلق هذا المصطلح على التحكم في جودة البرنامج. وفي العادة، هذه المهمة من مهمات مهندس البرمجيات الذي يقوم بعملية اختبار البرنامج، كجزء من عمليات دورة حياة البرمجيات، Im Bereich der Softwarequalitätssicherung wird unter Validierung die Prüfung der Eignung beziehungsweise der Wert einer Software bezogen auf ihren Einsatzzweck verstanden. Die Eignungsprüfung erfolgt auf Grundlage eines vorher aufgestellten Anforderungsprofils und kann sowohl technisch als auch personell geschehen. Umgangssprachlich formuliert wird die Frage „Wird das richtige Produkt entwickelt?“ beantwortet. Es wird also die Effektivität der Entwicklung sichergestellt. Daneben steht die Verifikation, ein Prozess, der für ein Programm oder ein System sicherstellt, dass es zu einer Spezifikation „konform“ ist („Ist das System richtig gebaut?“). Weryfikacja i walidacja oprogramowania − inaczej kontrola jakości oprogramowania lub testy oprogramowania. Do kryterium weryfikacji należy zakwalifikowanie produktu oraz określenie, czy spełnia on lub pasuje do właściwego jego wykorzystania (wysoki poziom kontroli) – czy jest on wbudowany w odpowiedni produkt. Analiza programu pod kątem jego formalnej poprawności pozwala znaleźć błędy zarówno na poziomie koncepcji, jak i detali implementacyjnych. Jednak proces dowodzenia zgodności programu z wymaganiami nie sprowadza się wyłącznie do stwierdzenia, że system jest bądź nie jest poprawny. Walidacja jest to proces wyznaczania stopnia, w jakim model jest wiernym odzwierciedleniem rzeczywistego systemu z przyjętego punktu widzenia. Ma na celu określenie, czy symulacja daje wiarygodne wyniki, w założonym stopniu zgodne z odpowiedziami rzeczywistego systemu na takie same dane wejściowe. O ile dzięki weryfikacji projektant uzyskuje informacje o zgodności systemu symulacyjnego z jego założeniami, o tyle walidacja weryfikuje zgodność jego wizji z realnym światem. Obie te fazy wzajemnie się uzupełniają i jako takie czasami przedstawiane są wspólnie jako faza oceny adekwatności modelu. IEEE 1012 és una normativa del IEEE que fa referència a la verificació i validació (V&V) del programari es quant a assegurar les seves especificacions o propòsit inicial. IEEE 1012 també està relacionada amb el control de qualitat del programari i és responsabilitat dels assajadors d'especificacions com una part del cicle de vida (ISO/IEC 12207) del programari. El procés de verificació implica la detecció i correcció d'errors, el procés de validació implica el compliment dels objectius o especificacions del programari.
gold:hypernym
dbr:Process
prov:wasDerivedFrom
wikipedia-en:Software_verification_and_validation?oldid=1103753674&ns=0
dbo:wikiPageLength
21894
foaf:isPrimaryTopicOf
wikipedia-en:Software_verification_and_validation
Subject Item
dbr:Systems_immunology
dbo:wikiPageWikiLink
dbr:Software_verification_and_validation
Subject Item
dbr:Susan_Eisenbach
dbo:wikiPageWikiLink
dbr:Software_verification_and_validation
dbp:fields
dbr:Software_verification_and_validation
dbo:academicDiscipline
dbr:Software_verification_and_validation
Subject Item
dbr:Verification_and_Validation_(software)
dbo:wikiPageWikiLink
dbr:Software_verification_and_validation
dbo:wikiPageRedirects
dbr:Software_verification_and_validation
Subject Item
dbr:Software_validation
dbo:wikiPageWikiLink
dbr:Software_verification_and_validation
dbo:wikiPageRedirects
dbr:Software_verification_and_validation
Subject Item
dbr:ISVV
dbo:wikiPageWikiLink
dbr:Software_verification_and_validation
dbo:wikiPageRedirects
dbr:Software_verification_and_validation
Subject Item
wikipedia-en:Software_verification_and_validation
foaf:primaryTopic
dbr:Software_verification_and_validation