LAB LOGA page on LabLog, a review site (not the lab's official page)
土屋研究室
Showing the original Japanese · View translation
ソフトウェアのテストと検証で信頼性を探る研究室。
AboutAbout the lab
ソフトウェアの信頼性を、テストと検証で探る。
ディペンダビリティ工学研究室は、
ソフトウェア工学など、
ソフトウェアの
研究室の
Key terms
- ディペンダブルコンピューティング
- 情報システムが
信頼して 使い続けられるように する ための 技術の 分野 - モデル検査
- ソフトウェアの
正しさを、 機械的に 誤りを 探し出して 確かめる 自動検証の 技術 - フォールトツリー解析
- システムの
故障が どんな 原因の 組み合わせで 起こるかを 木の 形に 整理し、 故障の 起こりやすさを 調べる 手法
ResearchResearch themes
この
*Illustrative imageソフトウェアのテストと検証
ソフトウェアシステムを
*Illustrative image信頼性評価
新しい
*Illustrative image量子プログラムとスマートコントラクト
量子
MembersFaculty
ディペンダビリティ工学研究室の
- Professor土屋 達弘
- Assistant Professor郭 秀景
VoicesStudent voices
Ratings and reviews reflect the experiences of individual current or former students, not the lab's official views. Whether a lab has reviews, or how many, says nothing about the lab itself.
Students who take part in an interview may receive a thank-you gift worth ¥1,000, regardless of what they say.
Student ratings (0 students)
--
--
--
--
--
--
Student voices answer questions like these
- What's great about this lab?
- What did you learn after joining?
- What's the vibe, and what is the professor like?
- Who is this lab for?
- Where do graduates go?
Your experience can help younger students choose their lab. Your name won't be shown.
Write a lab reviewAnonymous · Your draft is saved if you stopRelatedLabs similar to 土屋研究室
楠本研究室基礎工学部 情報科学科品質の
河原研究室基礎工学部 情報科学科データに
肥後研究室基礎工学部 情報科学科AI技術の
小泉研究室基礎工学部 情報科学科インターネットのThe information on this page is compiled by the LabLog team from the lab's public information and interviews. For corrections or removal requests, please contact LabLog, not the lab.
Report an errorAbout the images
The top and research theme images are illustrative and were not taken at the lab. They are cropped from Wikimedia Commons images. Cropped CC BY-SA images are provided under the same CC BY-SA license as the original (version shown on each line).
- Top image: “NOIRLab HQ Server Racks (6V6A0402-CC)” NOIRLab/NSF/AURA/T. Slovinský / CC BY 4.0 (cropped)
- ソフトウェアの
テストと 検証: “TestingCup-Polish-Championship-in-Software-Testing-Katowice-2016” Radosław Smilgin / CC BY-SA 3.0 (cropped) - 信頼性評価: “Example Code Fault Tree” NASA / Public domain (cropped)
- 量子
プログラムと スマートコントラクト: “Wire Bonded Superconducting Quantum Chip with 6 Transmons 002” OJB Quantum / CC BY 4.0 (cropped) - Related lab (楠本研究室): “Wpips-screen-snapshot” Centre de Recherche en Informatique de l'École des Mines de Paris / CC BY-SA 4.0 (cropped)
- Related lab (河原研究室): “Artificial Neural Network with Chip” mikemacmarketing / original posted on flickr Liam Huang / clipped and posted on flickr / CC BY 2.0 (cropped)
- Related lab (肥後研究室): “Pile of light gray LEGO bricks at a LEGO store” Grendelkhan / CC BY-SA 4.0 (cropped)
- Related lab (小泉研究室): “Network-Engineering Ashlan Chidester 36” Cloud899 / CC BY-SA 4.0 (cropped)
About LabLog
LabLog is a lab review app for students only. Student members at each university interview students in labs and publish what they say. Student voices can only be read by students who sign up with a university email address. Operated by bestiee Inc.
Learn more about LabLog ↗Search engines and AI may reference the basic lab info and rating summaries on this page and the description of LabLog. Student voices are for student members only. Automated collection by programs (scraping, or input to or training of AI) is prohibited under Article 8 of the Terms of Service. If you need data for research or analysis, please contact us.