In computer programming, specifically when using the imperative programming paradigm, an assertion is a predicate (a Boolean-valued function over the state space, usually expressed as a logical proposition using the variables of a program) connected to a point in the program, that always should evaluate to true at that point in code execution. Assertions can help a programmer read the code, help a compiler compile it, or help the program detect its own defects.

Property Value
dbo:abstract
  • Aserce jsou v programování predikáty, o nichž se vývojář domnívá, že budou na daném místě vždy pravdivé, například předpokládané hodnoty invariantů. Informace o těchto předpokladech může programátor umístit do komentáře, ale běžné je také zahrnout do programu testy, které buď při překladu, nebo i při běhu programu splnění předpokládaných podmínek kontrolují. Nejedná se o ošetření očekávaných chybných stavů, například špatného vstupu od uživatele. Jedná se pouze o detekci stavů, které by neměly v rámci programu nastat za žádných okolností. Řada programovacích jazyků pro takové kontroly nabízí určitou podporu, která asercím zároveň dává standardizovanou podobu. Také je často možné takto standardizované aserce snadno zapnout či vypnout, například aby nezpomalovaly běh programu, když už je považován za odladěný. Na druhou stranu, přítomnost aserce může překladači vymezit některé stavy jako nemožné a tím přispět k . (cs)
  • In computer programming, specifically when using the imperative programming paradigm, an assertion is a predicate (a Boolean-valued function over the state space, usually expressed as a logical proposition using the variables of a program) connected to a point in the program, that always should evaluate to true at that point in code execution. Assertions can help a programmer read the code, help a compiler compile it, or help the program detect its own defects. For the latter, some programs check assertions by actually evaluating the predicate as they run. Then, if it is not in fact true – an assertion failure –, the program considers itself to be broken and typically deliberately crashes or throws an assertion failure exception. (en)
  • Eine Zusicherung, Sicherstellung oder Assertion (lateinisch/englisch für Aussage, Behauptung) ist eine Aussage über den Zustand eines Computerprogramms 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. (de)
  • 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. (es)
  • In informatica, un'asserzione è un predicato presente in un programma che indica che il predicato sia sempre vero. Per esempio, il codice seguente contiene due asserzioni: x := 5;{x > 0}x := x + 1{x > 1} x > 0 and x > 1, e saranno certamente vere nei punti indicati durante l'esecuzione. (it)
  • 表明(ひょうめい、assertion)とは、プログラミングにおける概念のひとつであり、そのプログラムの前提条件を示すのに使われる。アサーションとも呼ばれる。表明は、プログラムのその箇所で必ず真であるべき式の形式をとる。多くの言語ではそのような前提条件のチェックに表明を使用するが、設計上の判断を文書化するのに使う場合もある。表明が偽となった場合、プログラムにバグが潜在していることを示している。これを「表明違反; assertion failure」と呼ぶ。表明を言語構文や標準ライブラリとしてサポートするプログラミング言語も存在する。 プログラマは、開発過程でソースコードに表明を追加する。デバッグを単純化し、問題を早期に検出するためである。表明違反はバグを示していることが多いため、表明の実装では問題の元を示すために追加情報を表示するようになっていることが多い(ソースコードのファイル名と行番号、など)。ほとんどの実装では、そのプログラムの実行が即座に停止する。 (ja)
  • 컴퓨터 프로그래밍에서 표명(表明), 가정 설정문(假定設定文) 또는 어서션(영어: assertion)은 프로그램 안에 추가하는 참·거짓을 미리 가정하는 문이다. 개발자는 해당 문이 그 문의 장소에서 언제나 참이라고 간주한다. 런타임 중에 표명이 거짓으로 평가되면 표명 실패(assertion failure)를 초래하며 이 상황에서는 일반적으로 실행이 중단된다. (ko)
  • 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. 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 (debuggen): als een assertie faalt dan weet de programmeur dat er ergens een fout zit. (nl)
  • Asercja (ang. assertion) – predykat (forma zdaniowa w danym języku, która zwraca prawdę lub fałsz), umieszczony w pewnym miejscu w kodzie. Asercja wskazuje, że programista zakłada, że predykat ów jest w danym miejscu prawdziwy. W przypadku gdy predykat jest fałszywy (czyli niespeł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. (pl)
  • Em computação, asserção (em inglês: assertion) é um predicado que é inserido no programa para verificar uma condição que o desenvolvedor supõe que seja verdadeira em determinado ponto. Podem ser tratadas como parte da documentação do código ao realizarem a verificação de pré-condições e pós-condições esperadas. Também são um modo utilizado pelos desenvolvedores para verificar o funcionamento do código durante o desenvolvimento ou para manutenção. Linguagens de programação como C, C++, Java e Python fornecem modos de inserir asserções no código. O uso deste recurso deve ser feito com cuidado pois o programa pode ser finalizado de modo inesperado em produção ou deixar de ser interrompido em caso de um erro grave. Este mecanismo se difere do tratamento de exceções pois as asserções são utilizadas para depuração evidenciando erros de programação provocando a interrupção da execução quando situações ditas "impossíveis" pelos desenvolvedores são atingidas. O tratamento de exceções desvia o fluxo de execução para uma rotina de tratamento na qual o programa pode tentar se recuperar da situação de erro e prosseguir no fluxo normal mesmo em produção. (pt)
  • Утверждение (англ. assertion) в программировании — оператор, в котором предикат (логическое выражение) должен иметь всегда истинное значение в данной части кода. Программы проверяют утверждения, фактически оценивая предикат во время выполнения кода, и, если в действительности предикат ложен, программа преднамеренно останавливается или генерирует исключение. Утверждения могут делать код удобнее для прочтения, помогать компилятору скомпилировать код или помогать обнаружить дефекты в программе. (ru)
  • 在程式設計中,斷言(assertion)是一種放在程式中的一階邏輯(如一個結果為真或是假的邏輯判斷式),目的是為了標示與驗證程式開發者預期的結果-當程式執行到斷言的位置時,對應的斷言應該為真。若斷言不為真時,程式會中止執行,並給出錯誤訊息。 例如,以下的程式包括二個斷言: x := 5;{x > 0}x := x + 1{x > 1} x > 0及x > 1,當程式執行到二個斷言對應的位置時,斷言的內容均為真。 程式設計者可以用斷言來標示程式,提供程式正確性的相關資訊。例如在一段程式前加入斷言(先驗條件),說明這段程式執行前預期的狀態。或在一段程式後加入斷言(),說明這段程式執行後預期的結果。 以下的範例使用東尼·霍爾在1969年論文中提出的斷言標示方式。 x = 5;x = x + 1;// {x > 1} 以上註解中的大括號表示為斷言,不是一般的註解。現有的主流程式語言不支援上述的標示方式,不過程式設計者仍可以用註解的方式標示斷言,標示此時應該成立的條件,只是此斷言沒有檢查機能,不成立時程式不會中止執行。 許多現代的程式語言已支援有檢查機能的斷言,可能是執行期或其他時間檢查的陳述。若在執行期中有斷言不成立,會出現斷言失敗,一般會停止程式的執行。程式設計者可以專注在斷言失敗,邏輯不一致的部份,並設法修正。 斷言的使用有助於程式設計者設計、開發及理解程式。 (zh)
  • Припущення (англ. Assertion) (варіанти перекладу терміну: твердження, пересвідчення) в програмуванні — конструкція в мові програмування яка описує певне припущення щодо властивостей змінних або стану програми. Це припущення зазвичай повинне бути істинним. Більшість мов програмування використовують ці припущення для перевірки таких коректності даних і виконання, а деякі використовують їх для документування. Якщо припущення не виконується, це може вказувати на наявність помилки в програмі. (uk)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 234018 (xsd:integer)
dbo:wikiPageLength
  • 19883 (xsd:integer)
dbo:wikiPageRevisionID
  • 986355591 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dct:subject
rdf:type
rdfs:comment
  • Eine Zusicherung, Sicherstellung oder Assertion (lateinisch/englisch für Aussage, Behauptung) ist eine Aussage über den Zustand eines Computerprogramms 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. (de)
  • 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. (es)
  • In informatica, un'asserzione è un predicato presente in un programma che indica che il predicato sia sempre vero. Per esempio, il codice seguente contiene due asserzioni: x := 5;{x > 0}x := x + 1{x > 1} x > 0 and x > 1, e saranno certamente vere nei punti indicati durante l'esecuzione. (it)
  • 表明(ひょうめい、assertion)とは、プログラミングにおける概念のひとつであり、そのプログラムの前提条件を示すのに使われる。アサーションとも呼ばれる。表明は、プログラムのその箇所で必ず真であるべき式の形式をとる。多くの言語ではそのような前提条件のチェックに表明を使用するが、設計上の判断を文書化するのに使う場合もある。表明が偽となった場合、プログラムにバグが潜在していることを示している。これを「表明違反; assertion failure」と呼ぶ。表明を言語構文や標準ライブラリとしてサポートするプログラミング言語も存在する。 プログラマは、開発過程でソースコードに表明を追加する。デバッグを単純化し、問題を早期に検出するためである。表明違反はバグを示していることが多いため、表明の実装では問題の元を示すために追加情報を表示するようになっていることが多い(ソースコードのファイル名と行番号、など)。ほとんどの実装では、そのプログラムの実行が即座に停止する。 (ja)
  • 컴퓨터 프로그래밍에서 표명(表明), 가정 설정문(假定設定文) 또는 어서션(영어: assertion)은 프로그램 안에 추가하는 참·거짓을 미리 가정하는 문이다. 개발자는 해당 문이 그 문의 장소에서 언제나 참이라고 간주한다. 런타임 중에 표명이 거짓으로 평가되면 표명 실패(assertion failure)를 초래하며 이 상황에서는 일반적으로 실행이 중단된다. (ko)
  • 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. 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 (debuggen): als een assertie faalt dan weet de programmeur dat er ergens een fout zit. (nl)
  • Asercja (ang. assertion) – predykat (forma zdaniowa w danym języku, która zwraca prawdę lub fałsz), umieszczony w pewnym miejscu w kodzie. Asercja wskazuje, że programista zakłada, że predykat ów jest w danym miejscu prawdziwy. W przypadku gdy predykat jest fałszywy (czyli niespeł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. (pl)
  • Утверждение (англ. assertion) в программировании — оператор, в котором предикат (логическое выражение) должен иметь всегда истинное значение в данной части кода. Программы проверяют утверждения, фактически оценивая предикат во время выполнения кода, и, если в действительности предикат ложен, программа преднамеренно останавливается или генерирует исключение. Утверждения могут делать код удобнее для прочтения, помогать компилятору скомпилировать код или помогать обнаружить дефекты в программе. (ru)
  • 在程式設計中,斷言(assertion)是一種放在程式中的一階邏輯(如一個結果為真或是假的邏輯判斷式),目的是為了標示與驗證程式開發者預期的結果-當程式執行到斷言的位置時,對應的斷言應該為真。若斷言不為真時,程式會中止執行,並給出錯誤訊息。 例如,以下的程式包括二個斷言: x := 5;{x > 0}x := x + 1{x > 1} x > 0及x > 1,當程式執行到二個斷言對應的位置時,斷言的內容均為真。 程式設計者可以用斷言來標示程式,提供程式正確性的相關資訊。例如在一段程式前加入斷言(先驗條件),說明這段程式執行前預期的狀態。或在一段程式後加入斷言(),說明這段程式執行後預期的結果。 以下的範例使用東尼·霍爾在1969年論文中提出的斷言標示方式。 x = 5;x = x + 1;// {x > 1} 以上註解中的大括號表示為斷言,不是一般的註解。現有的主流程式語言不支援上述的標示方式,不過程式設計者仍可以用註解的方式標示斷言,標示此時應該成立的條件,只是此斷言沒有檢查機能,不成立時程式不會中止執行。 許多現代的程式語言已支援有檢查機能的斷言,可能是執行期或其他時間檢查的陳述。若在執行期中有斷言不成立,會出現斷言失敗,一般會停止程式的執行。程式設計者可以專注在斷言失敗,邏輯不一致的部份,並設法修正。 斷言的使用有助於程式設計者設計、開發及理解程式。 (zh)
  • Припущення (англ. Assertion) (варіанти перекладу терміну: твердження, пересвідчення) в програмуванні — конструкція в мові програмування яка описує певне припущення щодо властивостей змінних або стану програми. Це припущення зазвичай повинне бути істинним. Більшість мов програмування використовують ці припущення для перевірки таких коректності даних і виконання, а деякі використовують їх для документування. Якщо припущення не виконується, це може вказувати на наявність помилки в програмі. (uk)
  • Aserce jsou v programování predikáty, o nichž se vývojář domnívá, že budou na daném místě vždy pravdivé, například předpokládané hodnoty invariantů. Informace o těchto předpokladech může programátor umístit do komentáře, ale běžné je také zahrnout do programu testy, které buď při překladu, nebo i při běhu programu splnění předpokládaných podmínek kontrolují. Nejedná se o ošetření očekávaných chybných stavů, například špatného vstupu od uživatele. Jedná se pouze o detekci stavů, které by neměly v rámci programu nastat za žádných okolností. (cs)
  • In computer programming, specifically when using the imperative programming paradigm, an assertion is a predicate (a Boolean-valued function over the state space, usually expressed as a logical proposition using the variables of a program) connected to a point in the program, that always should evaluate to true at that point in code execution. Assertions can help a programmer read the code, help a compiler compile it, or help the program detect its own defects. (en)
  • Em computação, asserção (em inglês: assertion) é um predicado que é inserido no programa para verificar uma condição que o desenvolvedor supõe que seja verdadeira em determinado ponto. Podem ser tratadas como parte da documentação do código ao realizarem a verificação de pré-condições e pós-condições esperadas. Também são um modo utilizado pelos desenvolvedores para verificar o funcionamento do código durante o desenvolvimento ou para manutenção. Linguagens de programação como C, C++, Java e Python fornecem modos de inserir asserções no código. O uso deste recurso deve ser feito com cuidado pois o programa pode ser finalizado de modo inesperado em produção ou deixar de ser interrompido em caso de um erro grave. (pt)
rdfs:label
  • Aserce (cs)
  • Assertion (Informatik) (de)
  • Assertion (software development) (en)
  • Aserción (informática) (es)
  • Asserzione (informatica) (it)
  • 表明 (ja)
  • 표명 (ko)
  • Assertie (nl)
  • Asercja (informatyka) (pl)
  • Asserção (pt)
  • Утверждение (программирование) (ru)
  • Припущення (програмування) (uk)
  • 斷言 (程式) (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of