@prefix dbpprop: .
@prefix dbpedia: .
dbpedia:Assertion dbpprop:disambiguates .
@prefix owl: .
owl:sameAs ,
.
@prefix foaf: .
foaf:page ;
dbpprop:reference ,
,
,
.
@prefix rdfs: .
rdfs:label "\u0422\u0432\u0435\u0440\u0434\u0436\u0435\u043D\u043D\u044F (\u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0443\u0432\u0430\u043D\u043D\u044F)"@uk ,
"Assertie"@nl ,
"Assertion (computing)"@en ,
"\u0423\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043D\u0438\u0435 (\u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u0435)"@ru ,
"\u8868\u660E"@ja ,
"Asercja (informatyka)"@pl ,
"Assertion (Informatik)"@de ;
dbpprop:abstract "Een assertie is in programmeertalen een predicaat (waar of onwaar) dat door de ontwikkelaar in de broncode van een computerprogramma geplaatst kan worden om aan te geven dat een bepaalde voorwaarde op die plaats altijd als waar wordt verondersteld. Een assertie helpt de ontwikkelaar bij het ontwerpen, ontwikkelen en nadenken over een programma. Een assertie kan ook behulpzaam zijn bij het opsporen van fouten in een programma: als een assertie faalt dan weet de programmeur dat er ergens een fout zit."@nl ,
"\u0423\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043D\u0438\u0435 \u0432 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u0438\u00A0\u2014 \u043F\u0440\u0435\u0434\u0438\u043A\u0430\u0442, \u0440\u0430\u0437\u043C\u0435\u0449\u0451\u043D\u043D\u044B\u0439 \u0432 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0435 \u0438 \u0443\u043A\u0430\u0437\u044B\u0432\u0430\u044E\u0449\u0438\u0439 \u043D\u0430 \u0442\u043E, \u0447\u0442\u043E \u0440\u0430\u0437\u0440\u0430\u0431\u043E\u0442\u0447\u0438\u043A \u0438\u043C\u0435\u0435\u0442 \u0432\u0432\u0438\u0434\u0443 \u044D\u0442\u043E\u0442 \u043F\u0440\u0435\u0434\u0438\u043A\u0430\u0442 \u0432 \u044D\u0442\u043E\u043C \u043C\u0435\u0441\u0442\u0435 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u044B \u0432\u0441\u0435\u0433\u0434\u0430 \u0438\u0441\u0442\u0438\u043D\u043D\u044B\u043C. \u041A \u043F\u0440\u0438\u043C\u0435\u0440\u0443, \u0441\u043B\u0435\u0434\u0443\u044E\u0449\u0438\u0439 \u043F\u0441\u0435\u0432\u0434\u043E\u043A\u043E\u0434 \u0441\u043E\u0434\u0435\u0440\u0436\u0438\u0442 \u0434\u0432\u0430 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043D\u0438\u044F: <source lang=\"java\">x := 5; {x > 0} x := x + 1 {x > 1}</source> x > 0 \u0438 x > 1, \u0438 \u043E\u043D\u0438 \u0431\u0435\u0437\u0443\u0441\u043B\u043E\u0432\u043D\u043E \u0432\u0435\u0440\u043D\u044B \u0432 \u0443\u043A\u0430\u0437\u0430\u043D\u043D\u044B\u0445 \u0442\u043E\u0447\u043A\u0430\u0445 \u0432 \u043C\u043E\u043C\u0435\u043D\u0442 \u0432\u044B\u043F\u043E\u043B\u043D\u0435\u043D\u0438\u044F."@ru ,
"\u8868\u660E\uFF08\u3072\u3087\u3046\u3081\u3044\u3001Assertion\uFF09\u3068\u306F\u3001\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E\u306E\u69CB\u6587\u306E\u4E00\u7A2E\u3067\u3042\u308A\u3001\u305D\u306E\u30D7\u30ED\u30B0\u30E9\u30E0\u306E\u524D\u63D0\u6761\u4EF6\u3092\u793A\u3059\u306E\u306B\u4F7F\u308F\u308C\u308B\u3002\u30A2\u30B5\u30FC\u30B7\u30E7\u30F3\u3068\u3082\u547C\u3070\u308C\u308B\u3002\u8868\u660E\u306F\u3001\u30D7\u30ED\u30B0\u30E9\u30E0\u306E\u305D\u306E\u7B87\u6240\u3067\u5FC5\u305A\u771F\u3067\u3042\u308B\u3079\u304D\u5F0F\u306E\u5F62\u5F0F\u3092\u3068\u308B\u3002\u591A\u304F\u306E\u8A00\u8A9E\u3067\u306F\u305D\u306E\u3088\u3046\u306A\u524D\u63D0\u6761\u4EF6\u306E\u30C1\u30A7\u30C3\u30AF\u306B\u8868\u660E\u3092\u4F7F\u7528\u3059\u308B\u304C\u3001\u8A2D\u8A08\u4E0A\u306E\u5224\u65AD\u3092\u6587\u66F8\u5316\u3059\u308B\u306E\u306B\u4F7F\u3046\u5834\u5408\u3082\u3042\u308B\u3002\u8868\u660E\u304C\u507D\u3068\u306A\u3063\u305F\u5834\u5408\u3001\u30D7\u30ED\u30B0\u30E9\u30E0\u306B\u30D0\u30B0\u304C\u6F5C\u5728\u3057\u3066\u3044\u308B\u3053\u3068\u3092\u793A\u3057\u3066\u3044\u308B\u3002\u3053\u308C\u3092\u300C\u8868\u660E\u9055\u53CD; assertion failure\u300D\u3068\u547C\u3076\u3002 \u30D7\u30ED\u30B0\u30E9\u30DE\u306F\u3001\u958B\u767A\u904E\u7A0B\u3067\u30BD\u30FC\u30B9\u30B3\u30FC\u30C9\u306B\u8868\u660E\u3092\u8FFD\u52A0\u3059\u308B\u3002\u30C7\u30D0\u30C3\u30B0\u3092\u5358\u7D14\u5316\u3057\u3001\u554F\u984C\u3092\u65E9\u671F\u306B\u691C\u51FA\u3059\u308B\u305F\u3081\u3067\u3042\u308B\u3002\u8868\u660E\u9055\u53CD\u306F\u30D0\u30B0\u3092\u793A\u3057\u3066\u3044\u308B\u3053\u3068\u304C\u591A\u3044\u305F\u3081\u3001\u8868\u660E\u306E\u5B9F\u88C5\u3067\u306F\u554F\u984C\u306E\u5143\u3092\u793A\u3059\u305F\u3081\u306B\u8FFD\u52A0\u60C5\u5831\u3092\u8868\u793A\u3059\u308B\u3088\u3046\u306B\u306A\u3063\u3066\u3044\u308B\u3053\u3068\u304C\u591A\u3044\uFF08\u30BD\u30FC\u30B9\u30B3\u30FC\u30C9\u306E\u30D5\u30A1\u30A4\u30EB\u540D\u3068\u884C\u756A\u53F7\u3001\u30B9\u30BF\u30C3\u30AF\u30C8\u30EC\u30FC\u30B9\u306A\u3069\uFF09\u3002\u307B\u3068\u3093\u3069\u306E\u5B9F\u88C5\u3067\u306F\u3001\u305D\u306E\u30D7\u30ED\u30B0\u30E9\u30E0\u306E\u5B9F\u884C\u304C\u5373\u5EA7\u306B\u505C\u6B62\u3059\u308B\u3002"@ja ,
"W programowaniu asercja to predykat (forma zdaniowa w danym j\u0119zyku, kt\u00F3ra zwraca prawd\u0119 lub fa\u0142sz), umieszczony w pewnym miejscu w kodzie. Wskazuje on \u017Ce programista zak\u0142ada, \u017Ce predykat \u00F3w jest prawdziwy. W przypadku gdy predykat jest fa\u0142szywy (czyli nie spe\u0142nione s\u0105 warunki postawione przez programist\u0119) asercja powoduje przerwanie wykonania programu. Asercja ma szczeg\u00F3lne zastosowanie w trakcie testowania tworzonego oprogramowania, np. dla sprawdzenia luk lub jego odporno\u015Bci na b\u0142\u0119dy. Zalet\u0105 stosowania asercji jest mo\u017Cliwo\u015B\u0107 sprawdzenia, w kt\u00F3rym fragmencie kodu \u017Ar\u00F3d\u0142owego programu nast\u0105pi\u0142 b\u0142\u0105d."@pl ,
"Eine Zusicherung oder Assertion (lat. /engl. f\u00FCr Aussage; Behauptung) ist eine Aussage \u00FCber den Zustand eines Computer-Programms oder einer elektronischen Schaltung. Mit Hilfe von Zusicherungen k\u00F6nnen logische Fehler im Programm oder Defekte in der umgebenden Hard- oder Software erkannt und das Programm kontrolliert beendet werden. Bei der Entwicklung elektronischer Schaltungen kann mittels Assertions die Einhaltung der Spezifikation in der Verifikationsphase \u00FCberpr\u00FCft werden. Des Weiteren k\u00F6nnen Assertions Informationen \u00FCber den Grad der Testabdeckung w\u00E4hrend der Verifikation liefern."@de ,
"In computer programming, an assertion is a predicate (i.e. , a true\u2013false statement) placed in a program to indicate that the developer thinks that the predicate is always true at that place. For example, the following code contains two assertions: x := 5; x > 0 x := x + 1 x > 1 x > 0 and x > 1, and they are indeed true at the indicated points during execution. Assertions are used to help specify programs and to reason about program correctness. For example, a precondition \u2014 an assertion placed at the beginning of a section of code \u2014 determines the set of states under which the code is expected to be executed. A postcondition \u2014 placed at the end \u2014 describes the expected state at the end of execution. The example above uses the notation for including assertions used by C.A.R. Hoare in his 1969 paper . That notation cannot be used in existing mainstream programming languages. However, programmers can include unchecked assertions using the comment feature of their programming language. Here is an example using C: x = 5; // x > 0 x = x + 1; // x > 1 The braces are included in the comment in order to help distinguish this use of a comment from other uses. Several modern programming languages include checked assertions - statements that are checked at runtime or sometimes statically. If an assertion evaluates to false at run-time, an \"assertion failure\" results, which typically causes execution to abort. This draws attention to the location at which the logical inconsistency is detected and can be preferable to the behaviour that would otherwise result. The use of assertions helps the programmer design, develop, and reason about a program."@en ,
"\u0422\u0432\u0435\u0301\u0440\u0434\u0436\u0435\u043D\u043D\u044F ({{lang-en|Assertion), \u0432 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0443\u0432\u0430\u043D\u043D\u0456 \u2014 \u0432\u0438\u0441\u043B\u043E\u0432\u043B\u044E\u0432\u0430\u043D\u043D\u044F \u043D\u0430 \u043C\u043E\u0432\u0456 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0443\u0432\u0430\u043D\u043D\u044F \u0432 \u044F\u043A\u043E\u043C\u0443 \u0440\u043E\u0431\u0438\u0442\u044C\u0441\u044F \u043F\u0440\u0438\u043F\u0443\u0449\u0435\u043D\u043D\u044F \u0449\u043E\u0434\u043E \u0432\u043B\u0430\u0441\u0442\u0438\u0432\u043E\u0441\u0442\u0435\u0439 \u0437\u043C\u0456\u043D\u043D\u0438\u0445 \u0430\u0431\u043E \u0441\u0442\u0430\u043D\u0443 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0438. \u0426\u0435 \u0432\u0438\u0441\u043B\u043E\u0432\u043B\u044E\u0432\u0430\u043D\u043D\u044F \u0444\u043E\u0440\u043C\u0443\u043B\u044E\u0454\u0442\u044C\u0441\u044F \u0432 \u0442\u0430\u043A\u043E\u043C\u0443 \u0432\u0438\u0433\u043B\u044F\u0434\u0456, \u0449\u043E \u043F\u0440\u0438\u043F\u0443\u0441\u043A\u0430\u0454\u0442\u044C\u0441\u044F \u0439\u043E\u0433\u043E \u0437\u043D\u0430\u0447\u0435\u043D\u043D\u044F \u0456\u0441\u0442\u0438\u043D\u0430. \u0411\u0456\u043B\u044C\u0448\u0456\u0441\u0442\u044C \u043C\u043E\u0432 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0443\u0432\u0430\u043D\u043D\u044F \u0432\u0438\u043A\u043E\u0440\u0438\u0441\u0442\u043E\u0432\u0443\u044E\u0442\u044C \u0442\u0432\u0435\u0440\u0434\u0436\u0435\u043D\u043D\u044F \u0434\u043B\u044F \u043F\u0435\u0440\u0435\u0432\u0456\u0440\u043A\u0438 \u0442\u0430\u043A\u0438\u0445 \u043F\u0440\u0438\u043F\u0443\u0449\u0435\u043D\u044C, \u043E\u0434\u043D\u0430\u043A, \u0456\u043D\u0448\u0456 \u0432\u0438\u043A\u043E\u0440\u0438\u0441\u0442\u043E\u0432\u0443\u044E\u0442\u044C \u0457\u0445 \u0434\u043B\u044F \u0434\u043E\u043A\u0443\u043C\u0435\u043D\u0442\u0443\u0432\u0430\u043D\u043D\u044F \u043F\u0440\u043E\u0435\u043A\u0442\u043D\u0438\u0445 \u0440\u0456\u0448\u0435\u043D\u044C. \u0423 \u0440\u0430\u0437\u0456, \u044F\u043A\u0449\u043E \u0442\u0432\u0435\u0440\u0434\u0436\u0435\u043D\u043D\u044F \u043D\u0435 \u0432\u0438\u043A\u043E\u043D\u0443\u0454\u0442\u044C\u0441\u044F, \u0446\u0435 \u043C\u043E\u0436\u0435 \u0432\u043A\u0430\u0437\u0443\u0432\u0430\u0442\u0438 \u043D\u0430 \u043D\u0430\u044F\u0432\u043D\u0456\u0441\u0442\u044C \u043F\u043E\u043C\u0438\u043B\u043A\u0438 \u0432 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0456."@uk ;
rdfs:comment "\u0423\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043D\u0438\u0435 \u0432 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u0438\u00A0\u2014 \u043F\u0440\u0435\u0434\u0438\u043A\u0430\u0442, \u0440\u0430\u0437\u043C\u0435\u0449\u0451\u043D\u043D\u044B\u0439 \u0432 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0435 \u0438 \u0443\u043A\u0430\u0437\u044B\u0432\u0430\u044E\u0449\u0438\u0439 \u043D\u0430 \u0442\u043E, \u0447\u0442\u043E \u0440\u0430\u0437\u0440\u0430\u0431\u043E\u0442\u0447\u0438\u043A \u0438\u043C\u0435\u0435\u0442 \u0432\u0432\u0438\u0434\u0443 \u044D\u0442\u043E\u0442 \u043F\u0440\u0435\u0434\u0438\u043A\u0430\u0442 \u0432 \u044D\u0442\u043E\u043C \u043C\u0435\u0441\u0442\u0435 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u044B \u0432\u0441\u0435\u0433\u0434\u0430 \u0438\u0441\u0442\u0438\u043D\u043D\u044B\u043C."@ru ,
"Eine Zusicherung oder Assertion (lat. /engl. f\u00FCr Aussage; Behauptung) ist eine Aussage \u00FCber den Zustand eines Computer-Programms oder einer elektronischen Schaltung. Mit Hilfe von Zusicherungen k\u00F6nnen logische Fehler im Programm oder Defekte in der umgebenden Hard- oder Software erkannt und das Programm kontrolliert beendet werden. Bei der Entwicklung elektronischer Schaltungen kann mittels Assertions die Einhaltung der Spezifikation in der Verifikationsphase \u00FCberpr\u00FCft werden."@de ,
"\u0422\u0432\u0435\u0301\u0440\u0434\u0436\u0435\u043D\u043D\u044F ({{lang-en|Assertion), \u0432 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0443\u0432\u0430\u043D\u043D\u0456 \u2014 \u0432\u0438\u0441\u043B\u043E\u0432\u043B\u044E\u0432\u0430\u043D\u043D\u044F \u043D\u0430 \u043C\u043E\u0432\u0456 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0443\u0432\u0430\u043D\u043D\u044F \u0432 \u044F\u043A\u043E\u043C\u0443 \u0440\u043E\u0431\u0438\u0442\u044C\u0441\u044F \u043F\u0440\u0438\u043F\u0443\u0449\u0435\u043D\u043D\u044F \u0449\u043E\u0434\u043E \u0432\u043B\u0430\u0441\u0442\u0438\u0432\u043E\u0441\u0442\u0435\u0439 \u0437\u043C\u0456\u043D\u043D\u0438\u0445 \u0430\u0431\u043E \u0441\u0442\u0430\u043D\u0443 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0438. \u0426\u0435 \u0432\u0438\u0441\u043B\u043E\u0432\u043B\u044E\u0432\u0430\u043D\u043D\u044F \u0444\u043E\u0440\u043C\u0443\u043B\u044E\u0454\u0442\u044C\u0441\u044F \u0432 \u0442\u0430\u043A\u043E\u043C\u0443 \u0432\u0438\u0433\u043B\u044F\u0434\u0456, \u0449\u043E \u043F\u0440\u0438\u043F\u0443\u0441\u043A\u0430\u0454\u0442\u044C\u0441\u044F \u0439\u043E\u0433\u043E \u0437\u043D\u0430\u0447\u0435\u043D\u043D\u044F \u0456\u0441\u0442\u0438\u043D\u0430."@uk ,
"In computer programming, an assertion is a predicate (i.e. , a true\u2013false statement) placed in a program to indicate that the developer thinks that the predicate is always true at that place. For example, the following code contains two assertions: x := 5; x > 0 x := x + 1 x > 1 x > 0 and x > 1, and they are indeed true at the indicated points during execution. Assertions are used to help specify programs and to reason about program correctness."@en ,
"Een assertie is in programmeertalen een predicaat (waar of onwaar) dat door de ontwikkelaar in de broncode van een computerprogramma geplaatst kan worden om aan te geven dat een bepaalde voorwaarde op die plaats altijd als waar wordt verondersteld. Een assertie helpt de ontwikkelaar bij het ontwerpen, ontwikkelen en nadenken over een programma."@nl ,
""@ja ,
"W programowaniu asercja to predykat (forma zdaniowa w danym j\u0119zyku, kt\u00F3ra zwraca prawd\u0119 lub fa\u0142sz), umieszczony w pewnym miejscu w kodzie. Wskazuje on \u017Ce programista zak\u0142ada, \u017Ce predykat \u00F3w jest prawdziwy. W przypadku gdy predykat jest fa\u0142szywy (czyli nie spe\u0142nione s\u0105 warunki postawione przez programist\u0119) asercja powoduje przerwanie wykonania programu. Asercja ma szczeg\u00F3lne zastosowanie w trakcie testowania tworzonego oprogramowania, np."@pl .
@prefix skos: .
@prefix ns6: .
skos:subject ns6:Conditional_constructs ,
ns6:Debugging ,
ns6:Logic_in_computer_science ,
ns6:Formal_methods ;
dbpprop:hasPhotoCollection .
dbpedia:Assertion_Code dbpprop:redirect .
dbpedia:Assert dbpprop:redirect .
dbpprop:redirect ,
.