Submit Search
Upload
IoT/AI時代のテスティング・検証技術の最前線
•
11 likes
•
6,732 views
Fuyuki Ishikawa
Follow
2019/1/11 SQiP研究会特別講義
Read less
Read more
Software
Report
Share
Report
Share
1 of 62
Download now
Download to read offline
Recommended
第3回AI/IoTシステム安全性シンポジウム
機械学習工学の進展と課題 2021
機械学習工学の進展と課題 2021
Fuyuki Ishikawa
2018/06/28 内部用にざっとまとめていたもの
(今ちゃんと振り返る) ゴール指向要求分析 入門
(今ちゃんと振り返る) ゴール指向要求分析 入門
Fuyuki Ishikawa
2020/09/11:SES 2020 チュートリアル「機械学習工学への誘い」
機械学習工学への誘い:SES'20チュートリアル
機械学習工学への誘い:SES'20チュートリアル
Fuyuki Ishikawa
2019年3月のJOI春合宿で行った講義のスライドです
充足可能性問題のいろいろ
充足可能性問題のいろいろ
Hiroshi Yamashita
これまで作ったWebサービス70個 - エロサイト22個 = 【48個】を紹介します。
僕がつくった 70個のうちの48個のWebサービス達
僕がつくった 70個のうちの48個のWebサービス達
Yusuke Wada
2019/10/16 初心者向けCTFのWeb分野の強化法 CTFのweb分野を勉強しているものの本番でなかなか解けないと悩んでいないでしょうか?そんな悩みを持った方を対象に、私の経験からweb分野の強化法を解説します。 How to strengthen the CTF Web field for beginners !! Although you are studying the CTF web field, are you worried that you can't solve it in production? For those who have such problems, I will explain how to strengthen the web field based on my experience. (study group) https://yahoo-osaka.connpass.com/event/149524/
初心者向けCTFのWeb分野の強化法
初心者向けCTFのWeb分野の強化法
kazkiti
イマドキのソフトウェアのQAのマインドセットと戦略立案についてまとめたドラフトの第1稿です。QAは開発の弱さに寄り添い支える存在で、納得感の共感を高めていくのがミッションです。サーバントシップ、カイゼンサイクル、ミッションシェア、アップストリーミング、見える化という5つの大事なマインドセットを持ち、QA戦略としてスコープ、レジリエンス、スキーム、ストーリーをデザインしていきます。
modern software qa - draft 1
modern software qa - draft 1
Yasuharu Nishi
2018/12/14 第1回AI4SEセミナー
AIによるテスト・デバッグ技術 イントロ&チュートリアル
AIによるテスト・デバッグ技術 イントロ&チュートリアル
Fuyuki Ishikawa
Recommended
第3回AI/IoTシステム安全性シンポジウム
機械学習工学の進展と課題 2021
機械学習工学の進展と課題 2021
Fuyuki Ishikawa
2018/06/28 内部用にざっとまとめていたもの
(今ちゃんと振り返る) ゴール指向要求分析 入門
(今ちゃんと振り返る) ゴール指向要求分析 入門
Fuyuki Ishikawa
2020/09/11:SES 2020 チュートリアル「機械学習工学への誘い」
機械学習工学への誘い:SES'20チュートリアル
機械学習工学への誘い:SES'20チュートリアル
Fuyuki Ishikawa
2019年3月のJOI春合宿で行った講義のスライドです
充足可能性問題のいろいろ
充足可能性問題のいろいろ
Hiroshi Yamashita
これまで作ったWebサービス70個 - エロサイト22個 = 【48個】を紹介します。
僕がつくった 70個のうちの48個のWebサービス達
僕がつくった 70個のうちの48個のWebサービス達
Yusuke Wada
2019/10/16 初心者向けCTFのWeb分野の強化法 CTFのweb分野を勉強しているものの本番でなかなか解けないと悩んでいないでしょうか?そんな悩みを持った方を対象に、私の経験からweb分野の強化法を解説します。 How to strengthen the CTF Web field for beginners !! Although you are studying the CTF web field, are you worried that you can't solve it in production? For those who have such problems, I will explain how to strengthen the web field based on my experience. (study group) https://yahoo-osaka.connpass.com/event/149524/
初心者向けCTFのWeb分野の強化法
初心者向けCTFのWeb分野の強化法
kazkiti
イマドキのソフトウェアのQAのマインドセットと戦略立案についてまとめたドラフトの第1稿です。QAは開発の弱さに寄り添い支える存在で、納得感の共感を高めていくのがミッションです。サーバントシップ、カイゼンサイクル、ミッションシェア、アップストリーミング、見える化という5つの大事なマインドセットを持ち、QA戦略としてスコープ、レジリエンス、スキーム、ストーリーをデザインしていきます。
modern software qa - draft 1
modern software qa - draft 1
Yasuharu Nishi
2018/12/14 第1回AI4SEセミナー
AIによるテスト・デバッグ技術 イントロ&チュートリアル
AIによるテスト・デバッグ技術 イントロ&チュートリアル
Fuyuki Ishikawa
Proof Summit 2015 <http: /> で発表した、SAT/SMTソルバの仕組みです。 Proofということで、論理学的側面からの面白さを出来るだけ紹介しています。
SAT/SMTソルバの仕組み
SAT/SMTソルバの仕組み
Masahiro Sakai
機械学習におけるコード設計のベストプラクティスについて
機械学習で泣かないためのコード設計
機械学習で泣かないためのコード設計
Takahiro Kubo
GitLab Meetup Tokyo #9 LT about migrate from GitLab to GitLab.
GitLab から GitLab に移行したときの思い出
GitLab から GitLab に移行したときの思い出
富士通クラウドテクノロジーズ株式会社
パーサ勉強会の資料です。
何となく勉強した気分になれるパーサ入門
何となく勉強した気分になれるパーサ入門
masayoshi takahashi
Trends and Our Activities in Quality Management and Assurance of Machine Learning
機械学習品質管理・保証の動向と取り組み
機械学習品質管理・保証の動向と取り組み
Shintaro Fukushima
しばしばQAと一括りにされる、テストエンジニアとSETとQAを整理してバランスをよくするための「QMファンネル(3D版)」について紹介しています。Scrum Fest Osaka 2021のプレゼンテーション資料です。
品質を加速させるために、テスターを増やす前から考えるべきQMファンネルの話(3D版)
品質を加速させるために、テスターを増やす前から考えるべきQMファンネルの話(3D版)
Yasuharu Nishi
機械学習モデルを作成する際のコード設計についての解説
機械学習で泣かないためのコード設計 2018
機械学習で泣かないためのコード設計 2018
Takahiro Kubo
2022年7月15日 クリーク・アンド・リバー社でのUXデザイン基礎セミナー第1回 「『UXデザインとは』からはじめる『本流』のUXデザインはじめの一歩」のスライドです。 UXデザインとは何をすることか、その中心は「ユーザーに会うこと」だというお話をしています。
「UXデザインとは」からはじめる「本流」のUXデザインはじめの一歩 | UXデザイン基礎セミナー 第1回
「UXデザインとは」からはじめる「本流」のUXデザインはじめの一歩 | UXデザイン基礎セミナー 第1回
Yoshiki Hayama
2018年12月12日(日) 宇宙人クラブ・ミニセミナー @Wonder LAB Osaka
オントロジーとは?
オントロジーとは?
Kouji Kozaki
cvpaper.challenge の メタサーベイ発表スライドです。 cvpaper.challengeはコンピュータビジョン分野の今を映し、トレンドを創り出す挑戦です。論文サマリ作成・アイディア考案・議論・実装・論文投稿に取り組み、凡ゆる知識を共有します。 http://xpaperchallenge.org/cv/
【メタサーベイ】Transformerから基盤モデルまでの流れ / From Transformer to Foundation Models
【メタサーベイ】Transformerから基盤モデルまでの流れ / From Transformer to Foundation Models
cvpaper. challenge
九州大学談話会「IMI Colloquium」 https://www.imi.kyushu-u.ac.jp/seminars/view/3001
暗号技術の実装と数学
暗号技術の実装と数学
MITSUNARI Shigeo
CASEやMaaSの時代になって、車載ソフトウェアの品質保証は左利きと右利きの両利きでなくてはなりません。右利きとは、CASEやMaaSの時代よりも以前から必要になっている車載ソフトウェアの品質保証の技術です。左利きとは、CASEやMaaSの時代になって身につけなくてはならなくなった技術です。この講演では両利きの技術のそれぞれについて概説し、左利きの技術についてはQualiTraxというフレームワークで説明しています。この資料は2020/8/28に講演したスライドですが、ベリサーブさんのご厚意で公開できました。
車載ソフトウェアの品質保証のこれから
車載ソフトウェアの品質保証のこれから
Yasuharu Nishi
ローカルのテストが遅い、CIでのテストが遅すぎてあまり回せていないことなどありませんか? 私のプロジェクトでは、1回のCIに4時間かかるようになってしまい、深夜に一度CIを回すような運用になっていました。 時間がかかりすぎるため、段々とCI自体が負債化していっていました。 今回はCI時間を劇的に短縮するまでにやった10のことをお話します。 SpringBootを使用して開発したため、いくつかはSpring特有の問題もありますが、 全体としてはJava共通のものが数多くあります。 ご興味があればぜひ聞きに来てください。
劇的改善 Ci4時間から5分へ〜私がやった10のこと〜
劇的改善 Ci4時間から5分へ〜私がやった10のこと〜
aha_oretama
オススメのJavaログ管理手法 ~コンテナ編~ (Open Source Conference 2022 Online/Spring 発表資料) 2022年3月11日(金) NTTデータ 技術開発本部 佐藤 雄太
オススメのJavaログ管理手法 ~コンテナ編~(Open Source Conference 2022 Online/Spring 発表資料)
オススメのJavaログ管理手法 ~コンテナ編~(Open Source Conference 2022 Online/Spring 発表資料)
NTT DATA Technology & Innovation
SECCON 2013 東海大会 CTF前日体験会 用に作った資料です。pythonに 興味を持ったら、チュートリアルドキュメントなどで基礎から学んでみてくださいね。 http://docs.python.jp/2/tutorial/
Ctfのためのpython入門
Ctfのためのpython入門
shiracamus
2015/04/14 初期バージョン 2015/04/16 ver1.4(参考資料追加、k平均法の解説追加など) 2015/04/20 ver1.5(最大対数尤度関数の評価、混合分布によるクラスタリングを追加) 2015/04/21 ver1.6(EM法のアルゴリズム説明を追加) 2015/04/24 ver1.7(その他の性能指標を追加) 2015/05/19 ver1.8(ギリシャ文字ベクトルフォントの修正、その他リファクタリング) 2015/05/25 ver1.9(EM法の初期データ画像を追加) 2015/06/07 ver2.1(セミナー用に修正) 2015/06/24 ver2.2(EM法の説明を追加) 2016/09/01 ver2.3(誤字修正) 2016/12/27 ver1.0 タイトルを変更 2016/07/07 ver1.4 Update
機械学習概論 講義テキスト
機械学習概論 講義テキスト
Etsuji Nakai
WACATE2014冬の講演資料です
モデル検査入門 #wacate
モデル検査入門 #wacate
Kinji Akemine
ナレッジグラフ推論チャレンジ2021「技術勉強会」 ~ナレッジグラフ利用技術の基礎と推論/説明への活用例~:https://kgrc2021ws.peatix.com/ 資料:https://github.com/KnowledgeGraphJapan/KGRC-ws-2021/tree/main/Section2
ナレッジグラフ/LOD利用技術の入門(後編)
ナレッジグラフ/LOD利用技術の入門(後編)
KnowledgeGraph
Neo4j勉強会 #11 発表資料
(2017.6.9) Neo4jの可視化ライブラリまとめ
(2017.6.9) Neo4jの可視化ライブラリまとめ
Mitsutoshi Kiuchi
2018年分差分Upしました. https://www.slideshare.net/tallzelkova/2018-99872316 研究室に入ったB4向け論文の読み方探し方講座のスライド.ほんのり更新しました.論文の書き方は結構更新があったのですがUpしていいかわからなかったのでとりあえずOFFで. // --- 以下昨年のコピペ --------- 本スライドは前所属の立命館大学 田村・木村・柴田研究室OBの一刈さんに始まり,大槻,石黒君,現D3の森君,他によるBrushupによって現行の形になりました.ここにお礼を申し上げます. シンポジウムとジャーナル,国際会議の論文の評価や価値については分野によって異なる可能性があります.あくまで大槻の研究分野での話であることはご承知おきください. また,内容は個人の見解によるところも大きいです.よろしくお願いいたします.
論文に関する基礎知識2016
論文に関する基礎知識2016
Mai Otsuki
At JaSST'21 Tokyo, Mar 16 2021
Quality Assurance of Machine Learning-based AI Systems
Quality Assurance of Machine Learning-based AI Systems
Fuyuki Ishikawa
2020/11/10 第2回 AI/IoT システム安全性シンポジウム
機械学習システムの品質に関するソフトウェア工学の動向(と安全性)
機械学習システムの品質に関するソフトウェア工学の動向(と安全性)
Fuyuki Ishikawa
More Related Content
What's hot
Proof Summit 2015 <http: /> で発表した、SAT/SMTソルバの仕組みです。 Proofということで、論理学的側面からの面白さを出来るだけ紹介しています。
SAT/SMTソルバの仕組み
SAT/SMTソルバの仕組み
Masahiro Sakai
機械学習におけるコード設計のベストプラクティスについて
機械学習で泣かないためのコード設計
機械学習で泣かないためのコード設計
Takahiro Kubo
GitLab Meetup Tokyo #9 LT about migrate from GitLab to GitLab.
GitLab から GitLab に移行したときの思い出
GitLab から GitLab に移行したときの思い出
富士通クラウドテクノロジーズ株式会社
パーサ勉強会の資料です。
何となく勉強した気分になれるパーサ入門
何となく勉強した気分になれるパーサ入門
masayoshi takahashi
Trends and Our Activities in Quality Management and Assurance of Machine Learning
機械学習品質管理・保証の動向と取り組み
機械学習品質管理・保証の動向と取り組み
Shintaro Fukushima
しばしばQAと一括りにされる、テストエンジニアとSETとQAを整理してバランスをよくするための「QMファンネル(3D版)」について紹介しています。Scrum Fest Osaka 2021のプレゼンテーション資料です。
品質を加速させるために、テスターを増やす前から考えるべきQMファンネルの話(3D版)
品質を加速させるために、テスターを増やす前から考えるべきQMファンネルの話(3D版)
Yasuharu Nishi
機械学習モデルを作成する際のコード設計についての解説
機械学習で泣かないためのコード設計 2018
機械学習で泣かないためのコード設計 2018
Takahiro Kubo
2022年7月15日 クリーク・アンド・リバー社でのUXデザイン基礎セミナー第1回 「『UXデザインとは』からはじめる『本流』のUXデザインはじめの一歩」のスライドです。 UXデザインとは何をすることか、その中心は「ユーザーに会うこと」だというお話をしています。
「UXデザインとは」からはじめる「本流」のUXデザインはじめの一歩 | UXデザイン基礎セミナー 第1回
「UXデザインとは」からはじめる「本流」のUXデザインはじめの一歩 | UXデザイン基礎セミナー 第1回
Yoshiki Hayama
2018年12月12日(日) 宇宙人クラブ・ミニセミナー @Wonder LAB Osaka
オントロジーとは?
オントロジーとは?
Kouji Kozaki
cvpaper.challenge の メタサーベイ発表スライドです。 cvpaper.challengeはコンピュータビジョン分野の今を映し、トレンドを創り出す挑戦です。論文サマリ作成・アイディア考案・議論・実装・論文投稿に取り組み、凡ゆる知識を共有します。 http://xpaperchallenge.org/cv/
【メタサーベイ】Transformerから基盤モデルまでの流れ / From Transformer to Foundation Models
【メタサーベイ】Transformerから基盤モデルまでの流れ / From Transformer to Foundation Models
cvpaper. challenge
九州大学談話会「IMI Colloquium」 https://www.imi.kyushu-u.ac.jp/seminars/view/3001
暗号技術の実装と数学
暗号技術の実装と数学
MITSUNARI Shigeo
CASEやMaaSの時代になって、車載ソフトウェアの品質保証は左利きと右利きの両利きでなくてはなりません。右利きとは、CASEやMaaSの時代よりも以前から必要になっている車載ソフトウェアの品質保証の技術です。左利きとは、CASEやMaaSの時代になって身につけなくてはならなくなった技術です。この講演では両利きの技術のそれぞれについて概説し、左利きの技術についてはQualiTraxというフレームワークで説明しています。この資料は2020/8/28に講演したスライドですが、ベリサーブさんのご厚意で公開できました。
車載ソフトウェアの品質保証のこれから
車載ソフトウェアの品質保証のこれから
Yasuharu Nishi
ローカルのテストが遅い、CIでのテストが遅すぎてあまり回せていないことなどありませんか? 私のプロジェクトでは、1回のCIに4時間かかるようになってしまい、深夜に一度CIを回すような運用になっていました。 時間がかかりすぎるため、段々とCI自体が負債化していっていました。 今回はCI時間を劇的に短縮するまでにやった10のことをお話します。 SpringBootを使用して開発したため、いくつかはSpring特有の問題もありますが、 全体としてはJava共通のものが数多くあります。 ご興味があればぜひ聞きに来てください。
劇的改善 Ci4時間から5分へ〜私がやった10のこと〜
劇的改善 Ci4時間から5分へ〜私がやった10のこと〜
aha_oretama
オススメのJavaログ管理手法 ~コンテナ編~ (Open Source Conference 2022 Online/Spring 発表資料) 2022年3月11日(金) NTTデータ 技術開発本部 佐藤 雄太
オススメのJavaログ管理手法 ~コンテナ編~(Open Source Conference 2022 Online/Spring 発表資料)
オススメのJavaログ管理手法 ~コンテナ編~(Open Source Conference 2022 Online/Spring 発表資料)
NTT DATA Technology & Innovation
SECCON 2013 東海大会 CTF前日体験会 用に作った資料です。pythonに 興味を持ったら、チュートリアルドキュメントなどで基礎から学んでみてくださいね。 http://docs.python.jp/2/tutorial/
Ctfのためのpython入門
Ctfのためのpython入門
shiracamus
2015/04/14 初期バージョン 2015/04/16 ver1.4(参考資料追加、k平均法の解説追加など) 2015/04/20 ver1.5(最大対数尤度関数の評価、混合分布によるクラスタリングを追加) 2015/04/21 ver1.6(EM法のアルゴリズム説明を追加) 2015/04/24 ver1.7(その他の性能指標を追加) 2015/05/19 ver1.8(ギリシャ文字ベクトルフォントの修正、その他リファクタリング) 2015/05/25 ver1.9(EM法の初期データ画像を追加) 2015/06/07 ver2.1(セミナー用に修正) 2015/06/24 ver2.2(EM法の説明を追加) 2016/09/01 ver2.3(誤字修正) 2016/12/27 ver1.0 タイトルを変更 2016/07/07 ver1.4 Update
機械学習概論 講義テキスト
機械学習概論 講義テキスト
Etsuji Nakai
WACATE2014冬の講演資料です
モデル検査入門 #wacate
モデル検査入門 #wacate
Kinji Akemine
ナレッジグラフ推論チャレンジ2021「技術勉強会」 ~ナレッジグラフ利用技術の基礎と推論/説明への活用例~:https://kgrc2021ws.peatix.com/ 資料:https://github.com/KnowledgeGraphJapan/KGRC-ws-2021/tree/main/Section2
ナレッジグラフ/LOD利用技術の入門(後編)
ナレッジグラフ/LOD利用技術の入門(後編)
KnowledgeGraph
Neo4j勉強会 #11 発表資料
(2017.6.9) Neo4jの可視化ライブラリまとめ
(2017.6.9) Neo4jの可視化ライブラリまとめ
Mitsutoshi Kiuchi
2018年分差分Upしました. https://www.slideshare.net/tallzelkova/2018-99872316 研究室に入ったB4向け論文の読み方探し方講座のスライド.ほんのり更新しました.論文の書き方は結構更新があったのですがUpしていいかわからなかったのでとりあえずOFFで. // --- 以下昨年のコピペ --------- 本スライドは前所属の立命館大学 田村・木村・柴田研究室OBの一刈さんに始まり,大槻,石黒君,現D3の森君,他によるBrushupによって現行の形になりました.ここにお礼を申し上げます. シンポジウムとジャーナル,国際会議の論文の評価や価値については分野によって異なる可能性があります.あくまで大槻の研究分野での話であることはご承知おきください. また,内容は個人の見解によるところも大きいです.よろしくお願いいたします.
論文に関する基礎知識2016
論文に関する基礎知識2016
Mai Otsuki
What's hot
(20)
SAT/SMTソルバの仕組み
SAT/SMTソルバの仕組み
機械学習で泣かないためのコード設計
機械学習で泣かないためのコード設計
GitLab から GitLab に移行したときの思い出
GitLab から GitLab に移行したときの思い出
何となく勉強した気分になれるパーサ入門
何となく勉強した気分になれるパーサ入門
機械学習品質管理・保証の動向と取り組み
機械学習品質管理・保証の動向と取り組み
品質を加速させるために、テスターを増やす前から考えるべきQMファンネルの話(3D版)
品質を加速させるために、テスターを増やす前から考えるべきQMファンネルの話(3D版)
機械学習で泣かないためのコード設計 2018
機械学習で泣かないためのコード設計 2018
「UXデザインとは」からはじめる「本流」のUXデザインはじめの一歩 | UXデザイン基礎セミナー 第1回
「UXデザインとは」からはじめる「本流」のUXデザインはじめの一歩 | UXデザイン基礎セミナー 第1回
オントロジーとは?
オントロジーとは?
【メタサーベイ】Transformerから基盤モデルまでの流れ / From Transformer to Foundation Models
【メタサーベイ】Transformerから基盤モデルまでの流れ / From Transformer to Foundation Models
暗号技術の実装と数学
暗号技術の実装と数学
車載ソフトウェアの品質保証のこれから
車載ソフトウェアの品質保証のこれから
劇的改善 Ci4時間から5分へ〜私がやった10のこと〜
劇的改善 Ci4時間から5分へ〜私がやった10のこと〜
オススメのJavaログ管理手法 ~コンテナ編~(Open Source Conference 2022 Online/Spring 発表資料)
オススメのJavaログ管理手法 ~コンテナ編~(Open Source Conference 2022 Online/Spring 発表資料)
Ctfのためのpython入門
Ctfのためのpython入門
機械学習概論 講義テキスト
機械学習概論 講義テキスト
モデル検査入門 #wacate
モデル検査入門 #wacate
ナレッジグラフ/LOD利用技術の入門(後編)
ナレッジグラフ/LOD利用技術の入門(後編)
(2017.6.9) Neo4jの可視化ライブラリまとめ
(2017.6.9) Neo4jの可視化ライブラリまとめ
論文に関する基礎知識2016
論文に関する基礎知識2016
More from Fuyuki Ishikawa
At JaSST'21 Tokyo, Mar 16 2021
Quality Assurance of Machine Learning-based AI Systems
Quality Assurance of Machine Learning-based AI Systems
Fuyuki Ishikawa
2020/11/10 第2回 AI/IoT システム安全性シンポジウム
機械学習システムの品質に関するソフトウェア工学の動向(と安全性)
機械学習システムの品質に関するソフトウェア工学の動向(と安全性)
Fuyuki Ishikawa
2020/10/20 第41回IBISML研究会オーガナイズドセッション「ロバスト機械学習」にて
ロバスト機械学習へのソフトウェア工学からのアプローチ
ロバスト機械学習へのソフトウェア工学からのアプローチ
Fuyuki Ishikawa
Introduction at MLSE Int'l Symposiuim 2019
Introduction at MLSE Int'l Symposiuim 2019
Introduction at MLSE Int'l Symposiuim 2019
Fuyuki Ishikawa
2019/5/21 ERATO-MMSDシンポジウム
高信頼自動運転システム実現にむけて: ソフトウェア工学・機械学習の視点からの技術俯瞰
高信頼自動運転システム実現にむけて: ソフトウェア工学・機械学習の視点からの技術俯瞰
Fuyuki Ishikawa
2018/11/17 第61回自動制御連合講演会 特別企画2 「制御と形式手法:物理情報システムの品質保証に向けた包括的取り組み」セッションにて
品質保証における発見的・経験的アプローチの活用:ソフトウェアテスティング分野からの知見
品質保証における発見的・経験的アプローチの活用:ソフトウェアテスティング分野からの知見
Fuyuki Ishikawa
2018/06/23 国立情報学研究所 オープンハウス2018 「NII研究100連発」内の10連発
スマートなシステム、スマートなディペンダビリティ保証-次世代システムを頼れるものへ
スマートなシステム、スマートなディペンダビリティ保証-次世代システムを頼れるものへ
Fuyuki Ishikawa
2018/10/17 CEATEC 2018 「JEITA 国際戦略・標準化セミナー ~ 超スマート社会の実現と標準化 ~」セッション
機械学習応用システムの品質保証に向けて
機械学習応用システムの品質保証に向けて
Fuyuki Ishikawa
2018/12/14 第1回AI4SEセミナー
自動(運転)車システムのためのAI的自動テスト生成
自動(運転)車システムのためのAI的自動テスト生成
Fuyuki Ishikawa
More from Fuyuki Ishikawa
(9)
Quality Assurance of Machine Learning-based AI Systems
Quality Assurance of Machine Learning-based AI Systems
機械学習システムの品質に関するソフトウェア工学の動向(と安全性)
機械学習システムの品質に関するソフトウェア工学の動向(と安全性)
ロバスト機械学習へのソフトウェア工学からのアプローチ
ロバスト機械学習へのソフトウェア工学からのアプローチ
Introduction at MLSE Int'l Symposiuim 2019
Introduction at MLSE Int'l Symposiuim 2019
高信頼自動運転システム実現にむけて: ソフトウェア工学・機械学習の視点からの技術俯瞰
高信頼自動運転システム実現にむけて: ソフトウェア工学・機械学習の視点からの技術俯瞰
品質保証における発見的・経験的アプローチの活用:ソフトウェアテスティング分野からの知見
品質保証における発見的・経験的アプローチの活用:ソフトウェアテスティング分野からの知見
スマートなシステム、スマートなディペンダビリティ保証-次世代システムを頼れるものへ
スマートなシステム、スマートなディペンダビリティ保証-次世代システムを頼れるものへ
機械学習応用システムの品質保証に向けて
機械学習応用システムの品質保証に向けて
自動(運転)車システムのためのAI的自動テスト生成
自動(運転)車システムのためのAI的自動テスト生成
IoT/AI時代のテスティング・検証技術の最前線
1.
2.
◼ ◼
3.
◼ ◼ ◼ ◼ ◼ ◼ ◼ ◼
4.
5.
◼ ◼ ◼ ◼ ◼ ◼ ◼ ◼ ◼
6.
◼ ◼ ◼ ◼ ◼
7.
◼ ◼ ◼ ◼ ◼ ◼
8.
9.
◼ ◼ ◼
10.
◼ ◼ ◼
11.
◼ ◼ ◼ ◼ ◼ ◼
12.
◼ ◼ ◼ ◼
13.
◼
14.
◼ ◼
15.
◼ ◼ ◼ ◼
16.
◼ ◼ ◼ ◼
17.
◼ ◼ ◼ ◼ ◼ ◼ ◼ ◼
18.
19.
◼ ◼ ◼ ◼
20.
◼ ◼ ◼ ◼ ◼
21.
◼ ◼ ◼ ◼
22.
23.
◼ ◼ ◼ ◼ ◼ ◼ ◼
24.
◼ ◼ ◼ ◼ ◼ ◼ ◼
25.
26.
◼ 0 20 40
60 80 100
27.
◼ ◼
28.
29.
◼ ◼ ◼ ◼
30.
◼ ◼ • • •
31.
◼ ◼ • • • • •
32.
• • • • • • • • • •
33.
34.
◼ ◼ ◼ ◼ ◼
35.
◼ ◼ ◼ ◼
36.
◼ ◼ ◼ ◼
37.
38.
39.
◼ ◼ ◼
40.
◼ ◼
41.
◼ ◼ ◼ ◼
42.
◼ ◼ ◼ ◼ ◼
43.
◼ ◼ ◼ ◼
44.
45.
◼ ◼
46.
47.
◼ ◼ ◼ ◼ ◼ ◼
48.
◼ ◼ ◼ ◼ ◼ ◼ ◼
49.
◼ ◼
50.
◼ ◼ ◼ ◼ ◼ ◼
51.
◼
52.
◼ ◼ ◼ ◼ ◼
53.
◼ ◼ ◼ ◼ ◼
54.
◼ ◼ ◼
55.
◼ ◼ ◼
56.
57.
◼ ◼ ◼ ◼ ◼ ◼
58.
◼ ◼ ◼
59.
◼ ◼ ◼ ◼
60.
61.
◼ ◼ ◼ ◼
62.
◼
Download now