Enviar pesquisa
Carregar
機械学習適用ソフトウェアの検証技術
•
0 gostou
•
479 visualizações
Hideto Ogawa
Seguir
機械学習適用ソフトウェアの検証技術, 情報処理学会 ソフトウェア工学研究会 産学連携促進WG, ソフトウェア開発における産学協創フォーラム, ポスター展示, 2019年7月1日
Leia menos
Leia mais
Software
Denunciar
Compartilhar
Denunciar
Compartilhar
1 de 1
Baixar agora
Baixar para ler offline
Recomendados
機械学習システムの品質保証に向けた課題とコンソーシアム活動
機械学習システムの品質保証に向けた課題とコンソーシアム活動
Hideto Ogawa
機械学習品質管理・保証の動向と取り組み
機械学習品質管理・保証の動向と取り組み
Shintaro Fukushima
SQuaRE に基づくソフトウェア品質評価枠組みと品質実態調査
SQuaRE に基づくソフトウェア品質評価枠組みと品質実態調査
Hironori Washizaki
アジャイル品質保証の知識体系 – SQuBOK 2020 予定より –
アジャイル品質保証の知識体系 – SQuBOK 2020 予定より –
Hironori Washizaki
クラウド・IoT基盤における信頼性及び関連の標準化動向
クラウド・IoT基盤における信頼性及び関連の標準化動向
Hironori Washizaki
XP祭り2019 - 日立・ソフトウェア革新部会 ~会社を越境する社内コミュニティ~
XP祭り2019 - 日立・ソフトウェア革新部会 ~会社を越境する社内コミュニティ~
Masanori Kaneko
メトリクスによるソフトウェア品質評価・改善および製品品質実態
メトリクスによるソフトウェア品質評価・改善および製品品質実態
Hironori Washizaki
医療機器ソフトウェア開発を対象とした包括的アセスメントのケーススタディ
医療機器ソフトウェア開発を対象とした包括的アセスメントのケーススタディ
Masanori Kaneko
Recomendados
機械学習システムの品質保証に向けた課題とコンソーシアム活動
機械学習システムの品質保証に向けた課題とコンソーシアム活動
Hideto Ogawa
機械学習品質管理・保証の動向と取り組み
機械学習品質管理・保証の動向と取り組み
Shintaro Fukushima
SQuaRE に基づくソフトウェア品質評価枠組みと品質実態調査
SQuaRE に基づくソフトウェア品質評価枠組みと品質実態調査
Hironori Washizaki
アジャイル品質保証の知識体系 – SQuBOK 2020 予定より –
アジャイル品質保証の知識体系 – SQuBOK 2020 予定より –
Hironori Washizaki
クラウド・IoT基盤における信頼性及び関連の標準化動向
クラウド・IoT基盤における信頼性及び関連の標準化動向
Hironori Washizaki
XP祭り2019 - 日立・ソフトウェア革新部会 ~会社を越境する社内コミュニティ~
XP祭り2019 - 日立・ソフトウェア革新部会 ~会社を越境する社内コミュニティ~
Masanori Kaneko
メトリクスによるソフトウェア品質評価・改善および製品品質実態
メトリクスによるソフトウェア品質評価・改善および製品品質実態
Hironori Washizaki
医療機器ソフトウェア開発を対象とした包括的アセスメントのケーススタディ
医療機器ソフトウェア開発を対象とした包括的アセスメントのケーススタディ
Masanori Kaneko
アジャイル品質パターン (Agile Quality, QA2AQ)
アジャイル品質パターン (Agile Quality, QA2AQ)
Hironori Washizaki
超スマート社会時代のシステム&ソフトウェア品質知識体系 - SQuBOK 2020 における AI、IoT、クラウド、オープンソース、アジャイル、DevO...
超スマート社会時代のシステム&ソフトウェア品質知識体系 - SQuBOK 2020 における AI、IoT、クラウド、オープンソース、アジャイル、DevO...
Hironori Washizaki
デザイン思考および周辺 - ユーザビリティ、UX、アジャイル開発を含めて-
デザイン思考および周辺 - ユーザビリティ、UX、アジャイル開発を含めて-
Hironori Washizaki
ソフトウェアエンジニアリング知識体系SWEBOK最新動向
ソフトウェアエンジニアリング知識体系SWEBOK最新動向
Hironori Washizaki
Software Frontloading and QA
Software Frontloading and QA
Yasuharu Nishi
Paradigm shifts in QA for AI products
Paradigm shifts in QA for AI products
Yasuharu Nishi
品質認証制度PSQ 認証の大幅拡充(CSAJ)
品質認証制度PSQ 認証の大幅拡充(CSAJ)
Hironori Washizaki
Teaser - Re-collection of embedded software QA in the last decade
Teaser - Re-collection of embedded software QA in the last decade
Yasuharu Nishi
中島毅, SQuaREシリーズの将来⽅向 スタディグループ報告と国際標準化加速プロジェクトの紹介
中島毅, SQuaREシリーズの将来⽅向 スタディグループ報告と国際標準化加速プロジェクトの紹介
Hironori Washizaki
Tomorrow's software testing for embedded systems ~明日にでも訪れてしまう組込みシステムのテストの姿~
Tomorrow's software testing for embedded systems ~明日にでも訪れてしまう組込みシステムのテストの姿~
Yasuharu Nishi
IoT時代と第3者検証
IoT時代と第3者検証
Yasuharu Nishi
Agile Quality アジャイル品質パターン (QA2AQ)
Agile Quality アジャイル品質パターン (QA2AQ)
Hironori Washizaki
SWEBOKにみるソフトウェアエンジニアリングの全体、および、 つながる時代のソフトウェアモデリング&品質
SWEBOKにみるソフトウェアエンジニアリングの全体、および、 つながる時代のソフトウェアモデリング&品質
Hironori Washizaki
正統なソフトウェア品質エンジニアであるためにSQiP研究会に入るべき7つの理由
正統なソフトウェア品質エンジニアであるためにSQiP研究会に入るべき7つの理由
Hironori Washizaki
IPA RISE委託研究 ソフトウェアのベンチマークとなる品質実態調査における品質評価枠組み
IPA RISE委託研究 ソフトウェアのベンチマークとなる品質実態調査における品質評価枠組み
Hironori Washizaki
車載ソフトウェアの品質保証のこれから
車載ソフトウェアの品質保証のこれから
Yasuharu Nishi
ソフトウェアエンジニアリングとEssenceの広がり
ソフトウェアエンジニアリングとEssenceの広がり
Hironori Washizaki
長田武徳, アジャイル開発と品質 ~ アジャイル品質パターンの利用事例
長田武徳, アジャイル開発と品質 ~ アジャイル品質パターンの利用事例
Hironori Washizaki
QA4AI JaSST Tokyo 2019
QA4AI JaSST Tokyo 2019
Yasuharu Nishi
[Track1-7] COVID19ワクチン開発に向けた、AIの挑戦 ~深層学習が導く、新領域との接点~
[Track1-7] COVID19ワクチン開発に向けた、AIの挑戦 ~深層学習が導く、新領域との接点~
Deep Learning Lab(ディープラーニング・ラボ)
xAI meetup #1
xAI meetup #1
ru pic
Microsoft Azure で実現するAIとIoT最新情報
Microsoft Azure で実現するAIとIoT最新情報
Yasuhiro Kobayashi
Mais conteúdo relacionado
Mais procurados
アジャイル品質パターン (Agile Quality, QA2AQ)
アジャイル品質パターン (Agile Quality, QA2AQ)
Hironori Washizaki
超スマート社会時代のシステム&ソフトウェア品質知識体系 - SQuBOK 2020 における AI、IoT、クラウド、オープンソース、アジャイル、DevO...
超スマート社会時代のシステム&ソフトウェア品質知識体系 - SQuBOK 2020 における AI、IoT、クラウド、オープンソース、アジャイル、DevO...
Hironori Washizaki
デザイン思考および周辺 - ユーザビリティ、UX、アジャイル開発を含めて-
デザイン思考および周辺 - ユーザビリティ、UX、アジャイル開発を含めて-
Hironori Washizaki
ソフトウェアエンジニアリング知識体系SWEBOK最新動向
ソフトウェアエンジニアリング知識体系SWEBOK最新動向
Hironori Washizaki
Software Frontloading and QA
Software Frontloading and QA
Yasuharu Nishi
Paradigm shifts in QA for AI products
Paradigm shifts in QA for AI products
Yasuharu Nishi
品質認証制度PSQ 認証の大幅拡充(CSAJ)
品質認証制度PSQ 認証の大幅拡充(CSAJ)
Hironori Washizaki
Teaser - Re-collection of embedded software QA in the last decade
Teaser - Re-collection of embedded software QA in the last decade
Yasuharu Nishi
中島毅, SQuaREシリーズの将来⽅向 スタディグループ報告と国際標準化加速プロジェクトの紹介
中島毅, SQuaREシリーズの将来⽅向 スタディグループ報告と国際標準化加速プロジェクトの紹介
Hironori Washizaki
Tomorrow's software testing for embedded systems ~明日にでも訪れてしまう組込みシステムのテストの姿~
Tomorrow's software testing for embedded systems ~明日にでも訪れてしまう組込みシステムのテストの姿~
Yasuharu Nishi
IoT時代と第3者検証
IoT時代と第3者検証
Yasuharu Nishi
Agile Quality アジャイル品質パターン (QA2AQ)
Agile Quality アジャイル品質パターン (QA2AQ)
Hironori Washizaki
SWEBOKにみるソフトウェアエンジニアリングの全体、および、 つながる時代のソフトウェアモデリング&品質
SWEBOKにみるソフトウェアエンジニアリングの全体、および、 つながる時代のソフトウェアモデリング&品質
Hironori Washizaki
正統なソフトウェア品質エンジニアであるためにSQiP研究会に入るべき7つの理由
正統なソフトウェア品質エンジニアであるためにSQiP研究会に入るべき7つの理由
Hironori Washizaki
IPA RISE委託研究 ソフトウェアのベンチマークとなる品質実態調査における品質評価枠組み
IPA RISE委託研究 ソフトウェアのベンチマークとなる品質実態調査における品質評価枠組み
Hironori Washizaki
車載ソフトウェアの品質保証のこれから
車載ソフトウェアの品質保証のこれから
Yasuharu Nishi
ソフトウェアエンジニアリングとEssenceの広がり
ソフトウェアエンジニアリングとEssenceの広がり
Hironori Washizaki
長田武徳, アジャイル開発と品質 ~ アジャイル品質パターンの利用事例
長田武徳, アジャイル開発と品質 ~ アジャイル品質パターンの利用事例
Hironori Washizaki
QA4AI JaSST Tokyo 2019
QA4AI JaSST Tokyo 2019
Yasuharu Nishi
[Track1-7] COVID19ワクチン開発に向けた、AIの挑戦 ~深層学習が導く、新領域との接点~
[Track1-7] COVID19ワクチン開発に向けた、AIの挑戦 ~深層学習が導く、新領域との接点~
Deep Learning Lab(ディープラーニング・ラボ)
Mais procurados
(20)
アジャイル品質パターン (Agile Quality, QA2AQ)
アジャイル品質パターン (Agile Quality, QA2AQ)
超スマート社会時代のシステム&ソフトウェア品質知識体系 - SQuBOK 2020 における AI、IoT、クラウド、オープンソース、アジャイル、DevO...
超スマート社会時代のシステム&ソフトウェア品質知識体系 - SQuBOK 2020 における AI、IoT、クラウド、オープンソース、アジャイル、DevO...
デザイン思考および周辺 - ユーザビリティ、UX、アジャイル開発を含めて-
デザイン思考および周辺 - ユーザビリティ、UX、アジャイル開発を含めて-
ソフトウェアエンジニアリング知識体系SWEBOK最新動向
ソフトウェアエンジニアリング知識体系SWEBOK最新動向
Software Frontloading and QA
Software Frontloading and QA
Paradigm shifts in QA for AI products
Paradigm shifts in QA for AI products
品質認証制度PSQ 認証の大幅拡充(CSAJ)
品質認証制度PSQ 認証の大幅拡充(CSAJ)
Teaser - Re-collection of embedded software QA in the last decade
Teaser - Re-collection of embedded software QA in the last decade
中島毅, SQuaREシリーズの将来⽅向 スタディグループ報告と国際標準化加速プロジェクトの紹介
中島毅, SQuaREシリーズの将来⽅向 スタディグループ報告と国際標準化加速プロジェクトの紹介
Tomorrow's software testing for embedded systems ~明日にでも訪れてしまう組込みシステムのテストの姿~
Tomorrow's software testing for embedded systems ~明日にでも訪れてしまう組込みシステムのテストの姿~
IoT時代と第3者検証
IoT時代と第3者検証
Agile Quality アジャイル品質パターン (QA2AQ)
Agile Quality アジャイル品質パターン (QA2AQ)
SWEBOKにみるソフトウェアエンジニアリングの全体、および、 つながる時代のソフトウェアモデリング&品質
SWEBOKにみるソフトウェアエンジニアリングの全体、および、 つながる時代のソフトウェアモデリング&品質
正統なソフトウェア品質エンジニアであるためにSQiP研究会に入るべき7つの理由
正統なソフトウェア品質エンジニアであるためにSQiP研究会に入るべき7つの理由
IPA RISE委託研究 ソフトウェアのベンチマークとなる品質実態調査における品質評価枠組み
IPA RISE委託研究 ソフトウェアのベンチマークとなる品質実態調査における品質評価枠組み
車載ソフトウェアの品質保証のこれから
車載ソフトウェアの品質保証のこれから
ソフトウェアエンジニアリングとEssenceの広がり
ソフトウェアエンジニアリングとEssenceの広がり
長田武徳, アジャイル開発と品質 ~ アジャイル品質パターンの利用事例
長田武徳, アジャイル開発と品質 ~ アジャイル品質パターンの利用事例
QA4AI JaSST Tokyo 2019
QA4AI JaSST Tokyo 2019
[Track1-7] COVID19ワクチン開発に向けた、AIの挑戦 ~深層学習が導く、新領域との接点~
[Track1-7] COVID19ワクチン開発に向けた、AIの挑戦 ~深層学習が導く、新領域との接点~
Semelhante a 機械学習適用ソフトウェアの検証技術
xAI meetup #1
xAI meetup #1
ru pic
Microsoft Azure で実現するAIとIoT最新情報
Microsoft Azure で実現するAIとIoT最新情報
Yasuhiro Kobayashi
DLLAB_Healthcare-Day_2022.pptx
DLLAB_Healthcare-Day_2022.pptx
ssuserfde18a
Data × AI でどんな業務が改善できる? 製造業様向け Data × AI 活用ユースケース & 製造MVPソリューションのご紹介
Data × AI でどんな業務が改善できる? 製造業様向け Data × AI 活用ユースケース & 製造MVPソリューションのご紹介
IoTビジネス共創ラボ
AIビジネスクリエーションワークショップ@東京
AIビジネスクリエーションワークショップ@東京
Deep Learning Lab(ディープラーニング・ラボ)
Future customer experience
Future customer experience
Katsuhiro Aizawa
2018/8/6 トレLABO2 AI案件のよくある落とし穴と人材育成
2018/8/6 トレLABO2 AI案件のよくある落とし穴と人材育成
Trainocate Japan, Ltd.
生成AIのビルド方法 (ChatGPT)
生成AIのビルド方法 (ChatGPT)
Citynow Asia Inc
ICLR'19 読み会 in 京都 [LT枠] AIプロダクト品質保証ガイドラインの紹介
ICLR'19 読み会 in 京都 [LT枠] AIプロダクト品質保証ガイドラインの紹介
Takahiro Toku
[3rd 長崎QDG] チームで、長期間で、たくさんのソフトウェアを快適に開発し、価値を生み続けるためのエンジニアリング
[3rd 長崎QDG] チームで、長期間で、たくさんのソフトウェアを快適に開発し、価値を生み続けるためのエンジニアリング
Masanori Kaneko
テスト自動化への1エンジニアとしての期待
テスト自動化への1エンジニアとしての期待
teyamagu
アジャイル品質パターンによる伝統的な品質保証(Quality Assurance)からアジャイル品質(Agile Quality)への変革
アジャイル品質パターンによる伝統的な品質保証(Quality Assurance)からアジャイル品質(Agile Quality)への変革
Hironori Washizaki
Invitation to development tools オープン系開発ツールへのいざない
Invitation to development tools オープン系開発ツールへのいざない
Satoru Yoshida
Pro-SiVIC 2016 カタログ
Pro-SiVIC 2016 カタログ
Nihon ESI K.K.
高信頼性を確保するソフトウェア開発手法と実践-組込み製品の潜在的価値を今以上に高めるために-
高信頼性を確保するソフトウェア開発手法と実践-組込み製品の潜在的価値を今以上に高めるために-
Yoshio SAKAI
AIシステムの要求とプロジェクトマネジメント-前半:機械学習工学概論
AIシステムの要求とプロジェクトマネジメント-前半:機械学習工学概論
Nobukazu Yoshioka
オンライン講座を利用して機械学習・人工知能・ データ分析の最適な学び方を学ぶ講座
オンライン講座を利用して機械学習・人工知能・ データ分析の最適な学び方を学ぶ講座
munjapan
Jazug Cognitive Services Overview_20170824
Jazug Cognitive Services Overview_20170824
Ayako Omori
Microsoft Intelligent Data Platform -データ活用のための最新技術-
Microsoft Intelligent Data Platform -データ活用のための最新技術-
Daiyu Hatakeyama
2024年度新卒_会社説明用(SlideShare).pptx
2024年度新卒_会社説明用(SlideShare).pptx
MarinaSaito3
Semelhante a 機械学習適用ソフトウェアの検証技術
(20)
xAI meetup #1
xAI meetup #1
Microsoft Azure で実現するAIとIoT最新情報
Microsoft Azure で実現するAIとIoT最新情報
DLLAB_Healthcare-Day_2022.pptx
DLLAB_Healthcare-Day_2022.pptx
Data × AI でどんな業務が改善できる? 製造業様向け Data × AI 活用ユースケース & 製造MVPソリューションのご紹介
Data × AI でどんな業務が改善できる? 製造業様向け Data × AI 活用ユースケース & 製造MVPソリューションのご紹介
AIビジネスクリエーションワークショップ@東京
AIビジネスクリエーションワークショップ@東京
Future customer experience
Future customer experience
2018/8/6 トレLABO2 AI案件のよくある落とし穴と人材育成
2018/8/6 トレLABO2 AI案件のよくある落とし穴と人材育成
生成AIのビルド方法 (ChatGPT)
生成AIのビルド方法 (ChatGPT)
ICLR'19 読み会 in 京都 [LT枠] AIプロダクト品質保証ガイドラインの紹介
ICLR'19 読み会 in 京都 [LT枠] AIプロダクト品質保証ガイドラインの紹介
[3rd 長崎QDG] チームで、長期間で、たくさんのソフトウェアを快適に開発し、価値を生み続けるためのエンジニアリング
[3rd 長崎QDG] チームで、長期間で、たくさんのソフトウェアを快適に開発し、価値を生み続けるためのエンジニアリング
テスト自動化への1エンジニアとしての期待
テスト自動化への1エンジニアとしての期待
アジャイル品質パターンによる伝統的な品質保証(Quality Assurance)からアジャイル品質(Agile Quality)への変革
アジャイル品質パターンによる伝統的な品質保証(Quality Assurance)からアジャイル品質(Agile Quality)への変革
Invitation to development tools オープン系開発ツールへのいざない
Invitation to development tools オープン系開発ツールへのいざない
Pro-SiVIC 2016 カタログ
Pro-SiVIC 2016 カタログ
高信頼性を確保するソフトウェア開発手法と実践-組込み製品の潜在的価値を今以上に高めるために-
高信頼性を確保するソフトウェア開発手法と実践-組込み製品の潜在的価値を今以上に高めるために-
AIシステムの要求とプロジェクトマネジメント-前半:機械学習工学概論
AIシステムの要求とプロジェクトマネジメント-前半:機械学習工学概論
オンライン講座を利用して機械学習・人工知能・ データ分析の最適な学び方を学ぶ講座
オンライン講座を利用して機械学習・人工知能・ データ分析の最適な学び方を学ぶ講座
Jazug Cognitive Services Overview_20170824
Jazug Cognitive Services Overview_20170824
Microsoft Intelligent Data Platform -データ活用のための最新技術-
Microsoft Intelligent Data Platform -データ活用のための最新技術-
2024年度新卒_会社説明用(SlideShare).pptx
2024年度新卒_会社説明用(SlideShare).pptx
機械学習適用ソフトウェアの検証技術
1.
機械学習適用ソフトウェアの検証技術 株式会社日立製作所 研究開発グループ 要求や仕様から演繹的に開発されるソフトウェアと異なり、データをもとに帰納的に構築される機械学習には、従来の検証技術の利用が困難です。 日立グループは、機械学習適用ソフトウェア向け検証技術を確立し、信頼性の高い社会システムによる安心・安全な社会つくりに貢献していきます。 日立グループは、AIプロダクト品質保証コンソーシアム(QA4AIコンソーシアム)の活動を通して、 AI技術の活用・進化のさらなる促進と、AIプロダクトと社会との安心できる共生の実現をめざします Copyright
© Hitachi, Ltd., 2019 アンサンブルツリー機械学習モデルの網羅検証技術 リファレンスモデル照合テスト技術 【課題】 モデルの振る舞いをあらゆる入力値について 検査するのは困難 【アプローチ】 アンサンブルツリーモデルを論理式に変換し 形式検証技術を活用 【XGBoostモデルの計算アルゴリズムを表す式】 【性質を表す式】 ∧ ¬(f2 >= 10000 -> leaf >= 100) 論理式の真偽をSMTソルバで検査 ⇒全入力値について,性質を満たすかを網羅検証 (f2 > 2.45000005) => leaf == 0.137614682 ∧ !(f2 > 2.45000005) => leaf == 0.0717703402 論理式化 論理式化 人口 ≧ 10,000 ⇒ 需要 ≧ 100 XGBoostのモデル ≒ if-thenルールの集合 モデルが満たすべき性質 【需要予測システムの例】 人口1万人以上の都市では 需要が100件/日を 下回ることはない 【課題】 大量のテスト入力値に対して 人手で正解値を付与する工数大 【アプローチ】 リファレンスモデルと呼ぶ疑似オラクル に基づいて出力値を評価 【DNN】 【リファレンスモデルの例】 ■道路交通標識認識の例 【入力値】 標識画像 出 力 入 力 【出力値】 識別結果 入 力 従来の画像 処理技術で 標識の形状を 抽出 評価 OK/NG if (形状=='丸形'){ assert( 識別結果=='止まれ' or 識別結果=='進入禁止')} 入 力 進入禁止 止まれ 照合⇒評価OK/NG【正解出力値】 不要 疑似 オラクル 進入禁止 止まれ 出 力 … …
Baixar agora