不変な表明

情報処理用語集

不変な表明

情報処理関連の用語について、基本的知識を紹介しているサイトです。近年、情報処理はインターネットなどの普及により、毎日生活していく中で熟知され、さまざまなシーンで利用されており日常生活の一部になりつつあります。コンピュータ社会において、技術の急激な進歩や発展に伴い情報処理用語も大幅に増えてきております。膨大な量の用語を全てご紹介するのは難儀ではありますが、多様化する現状に対応して、基本的な用語から、コンピュータ全般、ソフトウェア、アルゴリズムとデータ構造、システム開発の基礎、ファイルとデータベース、通信ネットワーク、情報処理システム、産業社会と情報化、情報化の課題など、いろいろな観点から用語を努めて簡潔で、できる限り解りやすく、丁寧に説明させていただいております。情報処理関連用語の理解やスキルアップで多くの情報と知識を習得していただけたら幸いです。「初級上級システムアドミニストレータ」や「上級システムアドミニストレータ」、「基本情報技術者」、「特種情報処理技術者」、「ソフトウェア開発技術者」などIT技術関連の試験対策にも是非、お役立てください。情報処理用語集は情報処理技術者試験資格取得を目指すあなたを応援させていただきます。

不変な表明


スポンサードリンク






情報処理用語集
TOP


A B C D E
F G H I J
K L M N O
P Q R S T
U V W X Y
Z 数字



スポンサードリンク







情報処理用語集>不変な表明

invaiant assertion

不変な表明とは、プログラムやアルゴリズムにおいて、成り立っている事実を

論理式で表したものである。


表明とは、論理式のことで「プログラムの指定された行で、常に成り立っている

変数の論理式」と考えられる。



例えば、図1の流れ図のA点では、「1≦N≦5」が表明であり、

必ず成り立っている。


図1
はじめ
1→N
ループ
N>5まで
処理
A点
処理
ループ


1→N

おわり


もし、処理の中で変数Nに誤って値を設定していると、論理式が成り立たなく

なり処理の誤りを発見できる。

このようにプログラムやアルゴリズムを検証する手法である。




スポンサードリンク


Copyright (C) 情報処理用語集 All Rights Reserved