| German |
| has gloss | deu: Eine Zusicherung oder Assertion (lat./engl. für Aussage; Behauptung) ist eine Aussage über den Zustand eines Computer-Programms oder einer elektronischen Schaltung. Mit Hilfe von Zusicherungen können 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 überprüft werden. Des Weiteren können Assertions Informationen über den Grad der Testabdeckung während der Verifikation liefern. |
| lexicalization | deu: Assertion |
| Hebrew |
| has gloss | heb: בתכנות מחשבים, טענת נכוֹנוּת (באנגלית: Assertion) היא פסוק המוצב בתוכנית כדי לציין שהטענה צריכה להיות נכונה באותו המקום. טענת נכונות נגזרת לרוב ממפרט התוכנה ונכתבת כהערה בקוד המקור של התוכנית, או, בשפות תכנות התומכות בכך, כחלק מהתוכנית עצמה. השימוש בטענות נכונות מסייע להגברת אמינות, קריאוּת ותחזוקתיות התוכנה. |
| lexicalization | heb: טענת נכונות |
| Japanese |
| has gloss | jpn: 表明（ひょうめい、Assertion）とは、プログラミング言語の構文の一種であり、そのプログラムの前提条件を示すのに使われる。アサーションとも呼ばれる。表明は、プログラムのその箇所で必ず真であるべき式の形式をとる。多くの言語ではそのような前提条件のチェックに表明を使用するが、設計上の判断を文書化するのに使う場合もある。表明が偽となった場合、プログラムにバグが潜在していることを示している。これを「表明違反; assertion failure」と呼ぶ。 |
| lexicalization | jpn: 表明 |
| Dutch |
| has gloss | nld: Een assertie (Engels: assertion) 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. |
| lexicalization | nld: assertie |
| Polish |
| has gloss | pol: W programowaniu asercja (ang. assertion) to predykat (forma zdaniowa w danym języku, która zwraca prawdę lub fałsz), umieszczony w pewnym miejscu w kodzie. Wskazuje on że programista zakłada, że predykat ów jest prawdziwy. W przypadku gdy predykat jest fałszywy (czyli nie spełnione są warunki postawione przez programistę) asercja powoduje przerwanie wykonania programu. Asercja ma szczególne zastosowanie w trakcie testowania tworzonego oprogramowania, np. dla sprawdzenia luk lub jego odporności na błędy. Zaletą stosowania asercji jest możliwość sprawdzenia, w którym fragmencie kodu źródłowego programu nastąpił błąd. |
| lexicalization | pol: asercja |
| Russian |
| has gloss | rus: Утверждение в программировании — предикат, размещённый в программе и указывающий на то, что разработчик имеет ввиду этот предикат в этом месте программы всегда истинным. |
| lexicalization | rus: утверждение |
| Castilian |
| has gloss | spa: En programación, una aserción es un predicado (i.e., una sentencia verdadero-falso) incluido en un programa como indicación de que el programador piensa que dicho predicado siempre se cumple en ese punto del flujo de programa. |
| lexicalization | spa: Asercion |
| lexicalization | spa: aserción |
| Ukrainian |
| has gloss | ukr: Тве́рдження , в програмуванні — висловлювання на мові програмування в якому робиться припущення щодо властивостей змінних або стану програми. Це висловлювання формулюється в такому вигляді, що припускається його значення істина. Більшість мов програмування використовують твердження для перевірки таких припущень, однак, інші використовують їх для документування проектних рішень. У разі, якщо твердження не виконується, це може вказувати на наявність помилки в програмі. |
| lexicalization | ukr: твердження |