「設計検証」
     明日から使える品質を作りこむ視点とテクニック
      ~ 12月のリサーチ&コンサルテーションサービス部イブニングセミナー ~

セミナー内容

  イーソルでは「仕事が終わってから参加できるセミナーを開催して欲しい!」というご要望にお応えして平日18時に始まる無料セミナーを開催しています。

  今回のテーマは「設計検証」といたしまして、2つのキーワードでの講義を行います。設計検証では、検証の基準が大切です。第一部は「検証のための品質特性定義」といたしまして、品質特性(非機能要求)の視点に着目し、品質獲得、仕様の定義についてお話します。また、第二部の「モデル検査とUML連携」では、設計検証手法の一つとしてモデル検査のお話をします。設計工程で書いたUMLを用いてモデル検査をする方法をご紹介します。フリーのモデル検査ツールもございますのでぜひお試しください。

  セミナー終了後にはお飲み物とお菓子のご用意がございます。
  講師陣だけではなく、セミナーご参加の皆さまでの意見交換の場としてご活用いただければ幸いです。


 「設計検証」 明日から使える品質を作りこむ視点とテクニック
     ~ 12月のリサーチ&コンサルテーションサービス部イブニングセミナー ~
日程

2009年12月9日(水) 18:00~20:00 (受付 17:30開始)

会場 イーソル株式会社 (会場へのアクセスは こちら から)
東京都中野区本町 1-32-2 ハーモニータワー イーソル会議室
東京メトロ丸ノ内線、都営大江戸線「中野坂上駅」より徒歩1分
参加料 無料
対象者 ・テスト担当の方
・設計担当の方
・要求定義担当の方
・品質を上げたいと考えている方
定員 15 名
主催 イーソル株式会社
お申し込み ※受付を終了させていただきました。

※定員になり次第、締め切らせていただきますので、予めご了承ください。
※お客様を優先させていただくため、同業者の方は、受講をご遠慮いただく場合があります。
※ご提供頂くお客様の個人情報は、本セミナーに関するご連絡、本セミナー開催にあたって付随する業務の実施のために利用するとともに、当社および当社パートナー企業より実施される、製品・サービスのお知らせ・PR、各種イベント・セミナー・キャンペーンのご案内に使用する場合があります。また、当社は、外部の業者に業務の一部を委託する際に、業務委託先に対して、必要な範囲で個人情報を提供することがあります。
内容
17:30 受付開始
18:00-18:10 1. 本日のセミナー進行について
  イーソル株式会社
  リサーチ&コンサルテーションサービス部
  神田 未来
18:10-18:50 2. 第一部「検証のための品質特性定義」
  講師:イーソル株式会社
      リサーチ&コンサルテーションサービス部
      宇佐美 雅紀

  テストやレビューを良いものにするためには、仕様の定義が重要です。その中でも品質特性に基づいた仕様の定義は疎かになりがちです。本セミナーでは、テストやレビューのための品質特性の獲得と定義について、テスト担当者や設計者の視点から考えてみます。
18:50-19:00 3. 休憩
19:00-19:40 4. 第二部「モデル検査とUML連携」
   ~形式手法(モデル検査編)~

  講師:イーソル株式会社
      リサーチ&コンサルテーションサービス部
      藤倉 俊幸

  形式手法におけるモデル検査の位置付けを説明した後、フリーで利用可能なSPIN,NuSMV, LTSA, PAT2等のツールの特徴とモデル例を説明します。どのような問題にどのツールを使用すれば良いのかを中心に説明したいと思います。最後に、UMLとモデル検査法を連携して利用する方法を紹介します。状態図やシーケンス図、相互作用図からモデル検査用モデルを自動生成することが可能で、この機能を利用することで開発初期の段階からモデル検査を利用できます。この機能を利用したシナリオ検証のデモをおこないます。
19:40-20:00 5. 意見交換
>>リサーチ&コンサルテーションサービス部のご紹介は こちら
※講演者は予告なく変更される可能性がございます。