口コミサイト LabLog の
土屋研究室
ソフトウェアのテストと検証で信頼性を探る研究室。

About研究室について
ソフトウェアの信頼性を、テストと検証で探る。
ディペンダビリティ工学研究室は、
ソフトウェア工学など、
ソフトウェアの
研究室の
用語の説明
- ディペンダブルコンピューティング
- 情報システムが
信頼して 使い続けられるように する ための 技術の 分野 - モデル検査
- ソフトウェアの
正しさを、 機械的に 誤りを 探し出して 確かめる 自動検証の 技術 - フォールトツリー解析
- システムの
故障が どんな 原因の 組み合わせで 起こるかを 木の 形に 整理し、 故障の 起こりやすさを 調べる 手法
Research研究テーマ
この
※イメージ画像ソフトウェアのテストと検証
ソフトウェアシステムを
※イメージ画像信頼性評価
新しい
※イメージ画像量子プログラムとスマートコントラクト
量子
Members教員
ディペンダビリティ工学研究室の
- 教授土屋 達弘
- 助教郭 秀景
Voices先輩の声
評価・クチコミは、
インタビューに
先輩の
--
--
--
--
--
--
先輩の
- この
研究室の 推しポイントは? - 入ってみて
分かった ことは? - 雰囲気や
先生の 人柄は? - どんな
学生に おすすめ? - 卒業後の
進路は?
Related土屋研究室に近い研究室
楠本研究室基礎工学部 情報科学科品質の
河原研究室基礎工学部 情報科学科データに
肥後研究室基礎工学部 情報科学科AI技術の
小泉研究室基礎工学部 情報科学科インターネットのこの
画像について
トップと
- トップの
画像:「NOIRLab HQ Server Racks (6V6A0402-CC)」 NOIRLab/NSF/AURA/T. Slovinský/CC BY 4.0(トリミング) - ソフトウェアの
テストと 検証:「TestingCup-Polish-Championship-in-Software-Testing-Katowice-2016」 Radosław Smilgin/CC BY-SA 3.0(トリミング) - 信頼性評価:「Example Code Fault Tree」 NASA/パブリックドメイン
(トリミング) - 量子
プログラムと スマートコントラクト:「Wire Bonded Superconducting Quantum Chip with 6 Transmons 002」 OJB Quantum/CC BY 4.0(トリミング) - 関連する
研究室 (楠本研究室) :「Wpips-screen-snapshot」 Centre de Recherche en Informatique de l'École des Mines de Paris/CC BY-SA 4.0(トリミング) - 関連する
研究室 (河原研究室) :「Artificial Neural Network with Chip」 mikemacmarketing / original posted on flickr Liam Huang / clipped and posted on flickr/CC BY 2.0(トリミング) - 関連する
研究室 (肥後研究室) :「Pile of light gray LEGO bricks at a LEGO store」 Grendelkhan/CC BY-SA 4.0(トリミング) - 関連する
研究室 (小泉研究室) :「Network-Engineering Ashlan Chidester 36」 Cloud899/CC BY-SA 4.0(トリミング)
LabLog について
LabLog
この