Path: ccsf.homeunix.org!ccsf.homeunix.org!news1.wakwak.com!nf1.xephion.ne.jp!onion.ish.org!news.daionet.gr.jp!news.yamada.gr.jp!newsfeed.media.kyoto-u.ac.jp!oix.u-ryukyu.ac.jp!u-ryukyu.ac.jp!ie.u-ryukyu.ac.jp!not-for-mail From: kono@ie.u-ryukyu.ac.jp (Shinji KONO) Newsgroups: fj.comp.lang.c Subject: Re: assert() and precondition and invariant Date: Fri, 10 Sep 2004 11:55:41 +0000 (UTC) Organization: Information Engineering, University of the Ryukyus Lines: 32 Message-ID: <3990493news.pl@rananim.ie.u-ryukyu.ac.jp> References: NNTP-Posting-Host: insigna.ie.u-ryukyu.ac.jp Mime-Version: 1.0 Content-Type: text/plain; charset="iso-2022-jp" Content-Transfer-Encoding: 7bit X-Trace: naha.ie.u-ryukyu.ac.jp 1094817341 17887 133.13.48.71 (10 Sep 2004 11:55:41 GMT) X-Complaints-To: news-admin@ie.u-ryukyu.ac.jp NNTP-Posting-Date: Fri, 10 Sep 2004 11:55:41 +0000 (UTC) X-Image-URL: http://www.ie.u-ryukyu.ac.jp/~kono/skono.gif Fcc: send X-Newsreader: news.pl,v 1.11 2003/10/08 11:51:01 Content-ID: <6789.1094817344.1@insigna.ie.u-ryukyu.ac.jp> Xref: ccsf.homeunix.org fj.comp.lang.c:410 河野真治 @ 琉球大学情報工学です。 In article , yas@is.tsukuba.ac.jp (Yasushi Shinjo) writes > 検証と２重チェックか。違いがよくわかりません。 > コンパイル時だと検証で、実行時だとチェックですか。 あらゆる可能な実行の可能性に対してチェックするのが検証です。 validity とか satisfiablity とか言う奴。( だから、その程度の 論理学は知らないと...) assert は、特定の実行に対するチェックなので検証ではない。 もっとも、世の中の人はシミュレーションとかを検証とかいう 人もいるんですけどね。 コンパイル時の型チェックなどは、可能な実行状態に作用されない ので、検証と同等になります。 > この時点であいまいだけど、たとえば、１秒としましょう。 > ボタンを押すと、１秒以内に何らかの反応がある 「反応がある」っていうのを定義して、それに対してチェック するみたいな感じ。 例えば、反応があったら特定の変数をセットするような感じ にして、 [] (ボタンが押される -> <> 反応変数がセット) 常に いつか みたいなのを検証します。あらゆるボタンの押す順序に対して。 --- Shinji KONO @ Information Engineering, University of the Ryukyus 河野真治 @ 琉球大学工学部情報工学科