LAB LOG评价网站 LabLog 的页面
土屋研究室
机器翻译 · 查看原文
该研究室通过测试与验证探索软件的可靠性。
About关于研究室
通过测试与验证探索软件的可靠性。
可依赖性工程研究室在可依赖计算领域开展研究。
对软件工程等相关领域也有浓厚的兴趣。
致力于软件的测试与验证、
在该研究室的网站上，
术语说明
- 可依赖计算
（Dependable Computing） - 使信息系统能够被信赖并持续使用的技术领域
- 模型检测
（Model Checking） - 通过机械地查找错误来确认软件正确性的自动验证技术
- 故障树分析
（Fault Tree Analysis） - 将系统故障由哪些原因的组合引发以树
状形式加以整 理， 并考察故障发生 可能性的方法
Research研究课题
该研究室致力于对可依赖计算和软件工程领域有所贡献的研究。
※示意图软件的测试与验证
开发用于测试软件系统的方法和工具。
※示意图可靠性评估
研究利用新算法，
※示意图量子程序与智能合约
致力于量子程序的测试。
Members教师
可依赖性工程研究室的成员由教师、
- 教授土屋 達弘
- 助理教授郭 秀景
Voices学长学姐的评价
评价基于在读
对于接受采访的学生，
学长学姐的评价
--
--
--
--
--
--
学长学姐的评价会回答这些问题
- 这个研究室的推荐点是什么?
- 进入后才知道的事情是什么?
- 氛围和老师的性格如何?
- 推荐给什么样的学生?
- 毕业后的去向?
Related与土屋研究室相似的研究室
楠本研究室基础工学部 信息科学科研究如何以低
河原研究室基础工学部 信息科学科机器学习研究，
肥後研究室基础工学部 信息科学科随着
小泉研究室基础工学部 信息科学科以互本页信息由LabLog运营团队根据研究室的公开信息和采访整理。
关于图片
顶部和研究课题的图片为示意图，
- 顶部图片：《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 是学生专属的研究室评价应用。
本页的研究室基本信息和评分汇总与 LabLog 介绍允许搜索引擎和 AI 引用。