Copyright (C) 2007-2010 National Institute of Informatics, All rights reserved. 設計モデル検証(基礎編)講座 (第1回) 第2版 2010年6月7日 トップエスイープロジェクト Copyright (C) 2007-2010 National Institute of Informatics, All rights reserved. 2 設計モデル検証(基礎編) のゴール 検証とは何かを把握できる 検証には何が必要なのかを知っている 検証を行うツールとしてSPINを使える 設計モデルの正しさを検証することが出来る 前提・条件・範囲を明確しつつ設計を具象化し、その検証 ができる 何を検証し、どのような性質が保証できたのかが把握でき る 対象システムの設計の意図を明確化し、そこに成り立