ライフスタイル本フェアフェア2023
現在地
トップ >  > パソコン・システム開発 > その他

AIソフトウェアのテストーー答のない答え合わせ [4つの手法]
佐藤 直人

3,080(税込)送料無料

商品情報

よく一緒に購入されている商品

  • AIソフトウェアのテストーー答のない答え合わせ[4つの手法][佐藤直人]
  • +
  • XAI(説明可能なAI)--そのとき人工知能はどう考えたのか?[大坪直樹]
  • AIソフトウェアのテストーー答のない答え合わせ [4つの手法]
  • 佐藤 直人

3,080円(税込)

在庫あり

2,860円(税込)

在庫あり

合計 5,940円(税込)

閉じる

商品説明

内容紹介(出版社より)

◆◆ AI開発の品質問題に応える!◆◆

人智を越えたAIによる推論が、
果たして本当に正しいのか、
どの程度信頼できるのか、
誰も答を持っていません。
正解が分からないのですから、
従来のソフトウェアテストは
一切成り立ちません。
かといって、テストなし、
品質保証なしのシステムを、
現実世界で使えるはずがありません。

本書はその解決策として、
メタモルフィックテスティング、
ニューロンカバレッジ、最大安全半径、
網羅検証の4つを紹介します。
教師あり機械学習で開発したディープ
ニューラルネットワークおよび
アンサンブルツリー(XGBoostや
ランダムフォレスト)が解く
分類問題(画像識別)と
回帰問題(価格予測)の実例を交え、
4つのテスト手法の原理と手順を解説。
それぞれのチュートリアルを通じて
実践スキルも身に付きます。
序章 A I システムとテスト
0.1 A I システムにテストが必要な理由
0.2 厄介な問題=課題と解決方法にまたがる矛盾

第1章 AIとは何か?
1.1 AIの種類
1.2 AIソフトウェア
1.3 教師あり学習の仕組み
1.4 AIの開発プロセス
1.5 AIモデルの具体例

第2章 AIソフトウェアのテストの難しさ
2.1 従来型ソフトウェアとの違い
2.2 従来のソフトウェアテストの考え方
2.3 AIソフトウェアはテストできない!?
2.4 AIソフトウェアのテストアプローチ

第3章 チュートリアルの準備
3.1 実行環境のセットアップ
3.2 テストツールのダウンロード
3.3 学習に使用するデータセット
3.4 AIモデルの学習
3.5 学習済みモデルの実行確認

第4章 メタモルフィックテスティング
4.1 メタモルフィックテスティングとは?
4.2 チュートリアル

第5章 ニューロンカバレッジテスティング
5.1 従来のカバレッジとニューロンカバレッジ
5.2 ニューロンカバレッジをテストに用いる
5.3 チュートリアル

第6章 最大安全半径
6.1 最大安全半径とは?
6.2 最大安全半径の計算方法
6.3 チュートリアル

第7章 網羅検証
7.1 網羅検証とは?
7.2 XGBoostモデルの網羅検証
7.3 検証性質を満たさない入力データ範囲の探索
7.4 DNNモデルの網羅検証
7.補足 各種ファイルの記法

内容紹介(「BOOK」データベースより)

人智を越えたAIによる推論が、果たして本当に正しいのか、どの程度信頼できるのか、誰も答を持っていません。正解が分からないのですから、従来のソフトウェアテストは一切成り立ちません。かといって、テストなし、品質保証なしのシステムを、現実世界で使えるはずがありません。本書はその解決策として、メタモルフィックテスティング、ニューロンカバレッジ、最大安全半径、網羅検証の4つを紹介します。教師あり機械学習で開発したディープニューラルネットワークおよびアンサンブルツリー(XGBoostやランダムフォレスト)が解く分類問題(画像識別)と回帰問題(価格予測)の実例を交え、4つのテスト手法の原理と手順を解説。それぞれのチュートリアルを通じて実践スキルも身に付きます。

目次(「BOOK」データベースより)

序章 AIシステムとテスト/第1章 AIとは何か?/第2章 AIソフトウェアのテストの難しさ/第3章 チュートリアルの準備/第4章 メタモルフィックテスティング/第5章 ニューロンカバレッジテスティング/第6章 最大安全半径/第7章 網羅検証

著者情報(「BOOK」データベースより)

佐藤直人(サトウナオト)
株式会社日立製作所主任研究員(2005年入社)。専門分野はソフトウェアテスト、形式手法など。博士(工学)

小川秀人(オガワヒデト)
AIプロダクト品質保証コンソーシアム(QA4AI)運営副委員長兼ロゴデザイン担当。機械学習品質マネジメント検討委員会(AIQM)委員。株式会社日立製作所主管研究員(1996年入社)。専門分野はソフトウェア工学。博士(情報科学)

來間啓伸(クルマヒロノブ)
株式会社日立製作所シニア社員(1984年入社)。国立情報学研究所出向特任教授(2007〜2014年)。専門分野はソフトウェア工学、特に形式手法。博士(学術)

明神智之(ミョウジントモユキ)
株式会社日立製作所主任研究員(2006年入社)。専門分野は組込みシステム、ソフトウェア工学(本データはこの書籍が刊行された当時に掲載されていたものです)

関連特集

商品レビュー(2件)

総合評価
 

ブックスのレビュー

まだレビューがありません。 レビューを書く

楽天ブックスランキング情報

  • 週間ランキング

    ランキング情報がありません。

  • 日別ランキング

    ランキング情報がありません。

在庫あり

残りあと4

個数 

お気に入り新着通知

追加済み:
未追加:

追加/削除

お気に入り新着通知

[ 著者 ]

最近チェックした商品

    ※表示を削除したい場合は閲覧履歴のページから削除お願いいたします

    ランキング:パソコン・システム開発

    ※1時間ごとに更新

    1. 1
      あっという間にかんたん年賀状 2024年版
      あっという間にかんたん年賀状 2024年版

      技術評論社編集部

      429円(税込)

    2. 2
      年賀状DVD-ROM2024
      年賀状DVD-ROM2024

      インプレス年賀状編集部

      1,562円(税込)

    3. 3
      はやわざ筆ぐるめ年賀状2024
      はやわざ筆ぐるめ年賀状2024

      インプレス年賀状編集部

      495円(税込)

    4. 4
      おしゃれな大人のなでしこ年賀状2024
      おしゃれな大人のなでしこ年賀状2024

      インプレス年賀状編集部

      660円(税込)

    5. 5
      【予約】【令和6年度】 いちばんやさしい ITパスポート 絶対合格の教科書+出る順問題集
      【予約】【令和6年度】 いちばんやさしい…

      高橋 京介

      1,760円(税込)

    1. 1
      正しいExcelの教科書
      電子書籍正しいExcelの教科書

      田沢 大地

      1,100円(税込)

    2. 2
      ChatGPT 120%活用術
      電子書籍ChatGPT 120%活用術

      ChatGPTビジネス研究会

      1,390円(税込)

    3. 3
      サイバーセキュリティの教科書
      電子書籍サイバーセキュリティの教科書

      Tom Kranz

      3,828円(税込)

    4. 4
      統計学の基礎から学ぶExcelデータ分析の全知識(できるビジネス)
      電子書籍統計学の基礎から学ぶExcelデータ分析の…

      三好大悟

      1,980円(税込)

    5. 5
      【令和5年度】 いちばんやさしい ITパスポート 絶対合格の教科書+出る順問題集
      電子書籍【令和5年度】 いちばんやさしい ITパス…

      高橋 京介

      1,738円(税込)

    購入データ自動連携!楽天ブックス公式 無料 読書管理パプリ Readee

    このページの先頭へ