実践的ソフトウェア工学における 産学協力 井上克郎 大阪大学大学院基礎工学研究科.

Slides:



Advertisements
Similar presentations
Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University 1 ソフトウェア部品推薦のための.
Advertisements

身の回りの IT 情報科教育法 後期 10 回 2004/12/18 太田 剛. 目次 1. 最終提出の確認 2. ルータの説明 ( 先週の続き ) 3. 身の回りの IT 1/8 の授業は情報科教員の試験対策です。
メタモデル記述を用いた成果物間の依存関係追跡手法
第1回イノベーション・マネージャー 人材育成セミナーを開催しました 開催日:平成28年6月15日(水)15:00~17:00
背景 ソフトウェアの大規模化・複雑化 生産性と品質の向上 ↓ オブジェクト指向分析設計の適用 開発ツールの投入.
東京工科大学 コンピュータサイエンス 亀田弘之
機能実現期間の測定による プログラマ能力の実験的評価
PacSec Nov 6, ISMSおよびその重要性 Richard Keirstead CISSP, BS7799 主任監査員
保健セクターにおける 援助モダリティ ~内田教授をお迎えして~
ー大学院教育課程強化に関するプログラムについてー
がんと就労 資料1 山内班計画 がん診療連携拠点病院等 【課題】 【課題】 就労や職場の現状、法律に関する知識なし
建設情報化協議会(CIC)・ 株式会社 ネレウス
実証的ソフトウェア工学環境とEASEプロジェクトについて
疫学概論 無作為化比較対照試験 Lesson 14. 無作為化臨床試験 §A. 無作為化比較対照試験 S.Harano,MD,PhD,MPH.
TCPデータ通信との公平性を考慮した 輻輳適応能力を有する MPEG動画像通信のための品質調整機構
エンピリカルソフトウェア工学と ソフトウェアタグ
「教育工学をはじめよう」  第2章     学会発表に向けて     プロポーザルを書く 発表 菊池 陵  皂 智樹.
SS2009 形式手法の適用ワーキング グループの報告
リファクタリングのための 変更波及解析を利用した テスト支援ツールの提案
パネル・ディスカッション:キーノート・スピーチ 「イノベーション推進のための社会的仕組み」 東京大学先端科学技術研究センター 馬場靖憲
大規模収集データに基づいた ソフトウェアエンジニアリング
大規模開発データの収集と エンピリカルソフトウェア工学
火山噴火時の災害軽減行動のための 学術情報の 伝達・発信ルールの検討
川口真司 松下誠 井上克郎 大阪大学大学院情報科学研究科
プログラム実行履歴を用いたトランザクションファンクション抽出手法
Evidence-based Practice とは何か
Evidence-based Health Care とは何か
概要 Boxed Economy Simulation Platform(BESP)とその基本構造 BESPの設計・実装におけるポイント!
シミュレーション論 Ⅱ 第15回 まとめ.
ソースコードの変更履歴における メトリクス値の変化を用いた ソフトウェアの特性分析
静的情報と動的情報を用いた プログラムスライス計算法
オブジェクト指向プログラムのための 動的結合メトリクスの評価
動的依存グラフの3-gramを用いた 実行トレースの比較手法
ソフトウェアを取り巻く環境の変化がメトリクスに及ぼす影響について
利用関係に基づく類似度を用いたJavaコンポーネント分類ツールの作成
卒論の書き方: 参考文献について 2017年9月27日 小尻智子.
社会シミュレーションのための モデル作成環境
~新たなソフトウェア開発の手法~ 発表 土屋俊介
ソフトウェア設計検証 研究室の紹介 知能情報学部 准教授 新田直也.
数量分析 第2回 データ解析技法とソフトウェア
オープンソース開発支援のための ソースコード及びメールの履歴対応表示システム
ソースコードの特徴量を用いた機械学習による メソッド抽出リファクタリング推薦手法
小山健太(総合政策学部4年) 松本健太郎(総合政策学部4年)
平成19年度青年部会「第2回~第4回研修会」(人材育成研修会)実施計画書
NPOマネジメントフォーラム2018 平成30年2月15日(木)~18日(日)開催
言語XBRLで記述された 財務諸表の分析支援ツールの試作
UMLモデルを対象とした リファクタリング候補検出の試み
Winter Workshop in Kanazawa -プロセスと方法論-
教師にとっての「生の質」 青木直子(大阪大学).
背景 課題 目的 手法 作業 期待 成果 有限体積法による汎用CFDにおける 流体構造連成解析ソルバーの計算効率の検証
シナリオを用いたレビュー手法PBRの追証実験 - UMLで記述された設計仕様書を対象として -
(新エネルギー等の導入・普及に当たっての評価方法や基準への適合性評価の課題)
P2P ネットワーク上で 実時間ストリーミングを実現するための 分散制御プロトコルの提案
JavaScriptを含んだHTML文書に対する データフロー解析を用いた構文検証手法の提案
平成12年3月10日 情報処理振興事業協会(IPA) 財団法人コンピュータ教育開発センター(CEC)
システムズシミュレーション 樋口良之 主な研究分野 予定卒論テーマ 履修しておいてもらいたい科目 アピール
Q3 On the value of user preferences in search-based software engineering: a case study in software product lines Abdel Salam Sayyad (West Virginia University,
データマイニングって何だろう? 新美研究室 m 大都宣弥.
オブジェクトの協調動作を用いた オブジェクト指向プログラム実行履歴分割手法
大規模科学技術シミュレーションソフトウエア開発 -プロジェクト・マネージメントの視点から-
保守請負時を対象とした 労力見積のためのメトリクスの提案
先進予防医学共同専攻臨床疫学 臨床疫学とは 現在の取り組みと成果 研究材料・手法 未来のあるべき医療を見つめて改革の手法を研究します。 特徴
クローン検出ツールを用いた ソフトウェアシステムの類似度調査
開発作業の形式化に基づく プロセス評価 松下誠 大阪大学.
複雑度メトリクスを用いた JAVAプログラム品質特性の実験的評価
Software Process Evaluation: A Machine Learning Approach
+ AI・IoT等の導入に向けた総合的支援 H 3 0 取組内容・実績 H 3 1 取 組 内 容 H30の取り組みの検証及びH31の方針
オブジェクト指向メトリクスを用いた 開発支援に関する研究 --- VC++とMFCを用いた開発を対象として ---
Jh ISJ 柏崎礼生 (大阪大学) 耐災害性・耐障害性の自己検証機能を具備した広域分散プラットフォームの国際的展開とHPCI-JHPCNシステム資源との柔軟な連携 目的 広域に分散した研究組織が計算機資源を提供し合うことにより構築される広域分散プラットフォームを拡大するとともに、運用にかかる人的負荷を軽減する仕組みとスモールスタートでこのプラットフォームに参画できる仕組みを作る。
Presentation transcript:

実践的ソフトウェア工学における 産学協力 井上克郎 大阪大学大学院基礎工学研究科

ソフトウェア工学 高品質のソフトウェアを効率よく作るための諸技術 30年に渡って、いろいろな技法、システム、ツールなどの提案がされてきた あまりにも、言いっぱなしの提案が多い 評価するために手間暇かかる -> 歴史で評価 (ICSE n-10) 現実に役立つものかどうかを、その場で評価する必要 他の科学技術分野では、必ず新しい技術が出てきた場合、その評価が伴う

Zelkowitz-Wallaceの分析 ソフトウェア工学において用いられる評価方法の分類 観測型(Observational) 実際に行われているプロジェクトを横から観測して評価 履歴型(Historical) 過去に行われたプロジェクトのデータや発表された論文に基づいて評価 制御型(Controlled) 目的とするデータを得るために環境を整えてプロジェクトを行い評価する

観測型評価 プロジェクトモニタ 事例研究 アサーション 野外調査(Field Study) 対象を漠然と観察。目標不明確な場合も。簡単 対象をより深く解析。まだ、変動要素の制御が不十分だが、比較的簡便 アサーション 主張がなりたつことを簡単なプロジェクトで実証。厳密な評価としては不十分。 野外調査(Field Study) いろいろなプロジェクトを見て回る。条件を揃えるのが困難だが追証しやすい。

履歴型 文献調査 事例調査 経験 (静的解析) 過去発表された論文を探す。条件や視点の統一不可能。簡単 過去のプロジェクトデータをひっくりかえす。条件不統一でデータ限られている 経験 過去のプロジェクトの定性的なデータを調べる。定性的な議論できない。やりやすくて簡単に傾向がわかる (静的解析) 作ったプロダクトの解析をする。方法には適用できない。評価の自動化できるかもしれない。

制御型 繰返し 実験室 (動的解析) (シミュレーション) 条件を揃えていくつものプロジェクトで繰り返す。高価。 条件を揃えて実験室で繰り返す。スケーラビリティ。条件を制御しやすく比較的安価。 (動的解析) プロダクトの効率を実行させて計測。方法には適用できない。 (シミュレーション) 仮想データで実行。

発表された論文の分類(他の科学) 方法\論文種類 デバイス 物理 臨床医学 人類学 評価なし 16% 58% 6% 31% 方法\論文種類 デバイス 物理 臨床医学 人類学 評価なし 16% 58% 6% 31% プロジェクトモニタ 事例評価 40% 16% 6% 8% アサーション 8% 4% 8% 野外調査 18% 文献調査 4% 11% 24% 23% 事例調査 6% 23% 経験 5% 8% 静的解析 繰返し   5% 12% 実験室   29% 動的解析 32% 5% シミュレーション

ソフトウェア工学の論文が使っている評価法 実験なし プロジェクトモニタ 事例研究 アサーション 野外調査 文献調査 評価法 1985 事例調査 1990 -ICSE -TSE -IEEE Software 1995 経験 静的解析 繰返し 実験室 動的解析 シミュレーション 0% 5% 10% 15% 20% 25% 30% 35% 40% 45% 論文の割合

実践的ソフトウェア工学 定量的なデータに基づいてソフトウェア工学におけるいろいろな手法、技術、ツールなどの評価を行う 大学だけでは、限界がある 実データを集めることができる産業界との協力が必須

大学病院モデル 医学研究・治療のための協力方式 大学 大学病院 社会 患者 治療費提供 研修者 人材、知恵の提供 新しい治療・薬の評価 研究費獲得 新しい発見 現場のスキル 病気治療 新しい知識の発信 人材育成 大学 大学病院 社会

実践的ソフトウェア工学のための産学協力方式 大学工房モデル 実践的ソフトウェア工学のための産学協力方式 人材派遣 問題提供 予算提供 人材派遣 新しい技術 問題解決 ノウハウ吸収 人材育成 技術の評価結果 研究資金 新しいテーマの発見 大学 大学工房 産業界

Fraunhofer IESE Model 大学工房モデル Fraunhofer財団(政府系研究支援) Institute for Experimental Software Engineering Kaiserslautern大学を基礎 大学から車で10分

Dr.Dieter Rombach Prof. of U. Kaiserslautern Executive Director of Fraunhofer IESE

Fraunhofer Institute for Experimental Software Engineering

IESEの収入推移 10DM:約5億円

IESEの支出推移 10DM:約5億円

IESEの構成員推移

IESEの仕事 ソフトウェア開発に関わる技術評価 ソフトウェア品質向上システムの設計 品質規格認証への支援 ソフトウェア技術者教育の支援 ソフトウェア購入・発注・開発管理の支援

IESEの組織概要 Quality Software Development Software Product Lines Quality and Process Engineering Systematic Learning and Improvement Continuing Education and Training Maryland USA: Center for Experimental SE Basili & Zelkowitz

顧客 BASF Daimler Chrysler Deutsche Bank Ericsson Motorola Nokia Q-Lab Siemens Thomson-CSF VTT Electronics その他 大中小いろいろな企業

IESEのポリシー 請け負いコンサルタントではない ソフトウェア技術者の技術交流の拠点を目指す 共同で問題発見、解決を目指す。解決できない時もある 学術論文を書く(ICSE, PROFES等多数) ソフトウェア技術者の技術交流の拠点を目指す 大学 → IESE → 産業界 産業界 → IESE → 産業界 産業界:スタートアップも含む IESE出身の技術者の評価

日本で大学工房モデルは可能か? 制度上 需要 人 独立行政法人化、自主運営 ソフトウェア開発に関わる問題解決や技術移転の要求は、今後とも増える 人 企業は人を長期間出せるか