xmldtp https://blog.hatena.ne.jp/xmldtp/ ウィリアムのいたずらの、まちあるき、たべあるきーPART2 https://xmldtp.hatenadiary.org/ そのほか テストや検証について、その位置づけをまとめてみる。 ■静的と動的 テストや検証には、 ・プログラムを動かさないで解析する－１．静的チェック ・プログラム、ないしはシミュレーター等を「動かして」解析する－２．動的チェック に主に分かれる ■１．静的チェック これは、大きくは、 ・文法やお作法が合っているかどうか という、１－１レビュー的なものと、 ・プログラムの仕様上、正しいものか という、１－２検証的なもの に分かれる。 １－１は、文法規約のチェックとか、パーサー、コンパイラなど。 １－２検証的なものは、形式仕様記述を利用したものが、さまざまある。たとえば Z Event-B、B など。どちら… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fxmldtp.hatenadiary.org%2Fentry%2Ff07b1c8393f8596ef7afefa82f8d1a9b" title="テストと検証をまとめてみる - ウィリアムのいたずらの、まちあるき、たべあるきーPART2" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2010-12-03 17:09:36 rich https://xmldtp.hatenadiary.org/entry/f07b1c8393f8596ef7afefa82f8d1a9b 1.0 100%