SPIN モデル検査 電子書籍版

• 

• 4180円（税込）

  初めての方

  6回使える！最大70%OFFクーポン
  ※値引上限等条件あり

  詳細・獲得はこちら

  初めてではない方

  何回でも使える5%OFFクーポン
  
  

  詳細・獲得はこちら
  購入はこちら試し読み

  • 本作品について、無料施策・クーポン等の割引施策・PayPayポイント付与の施策を行う予定があります。
    この他にもお得な施策を常時実施中、また、今後も実施予定です。詳しくはこちら。
  専門書　コンピューター

  作品内容

  SPINの基礎から実際の利用方法までを具体的に解説する日本で初めての書籍◆SPINとは？　社会の様々なところにソフトウェアが組み込まれ、その規模が飛躍的に大きくなってきている中、従来その信頼性を確保するための手法であったテスト手法は、時間やコストなどの面で開発の現状に追いつけない状況が出てきている。　そのテスト手法に代わるものとして注目されてきているのが形式的手法による検証（モデル検査法）であり、その中の一つがSPINである。限られたテストケースでの誤りの無さを保障する従来のテスト手法に対して、数学的・論理的基盤に基づいて正しさを証明するモデル検査法は、無限に近い組合せに対しても正しさを保障できる手法であり、その中でもSPINは実際に産業界での適用事例も豊富で、その技術習得がソフトウェア技術者の必須要素として注目されてきている。

作者の関連作品作者の作品一覧