信頼できるソフトウェアづくり：「設計書」から「コード」まで
要求仕様からの自然語解析を用いた要求検証
SAWアーキテクチャを用いたプログラム等価性検証の自動化
岡野研究室ではソフトウェア開発をサポートする諸技術の研究を行っています。ソフトウェアは要求文書に始まり、どのように作るかという設計文書、そしてプログラムコード、テストスイートなど複数の中間生成物からなっています。またこれらは相互に関連付けられています。これらの生産物に対して解析を行って、種々の性質を検証したり、ソフトウェアの信頼性保証を行っていくことが大事です。これらの技術について小形研究室と共同して研究を行っています。
研究から広がる未来
高信頼ソフトウェア開発技術は今後、AI、IoTなどの技術が主体となる社会を支える情報システムを安心・安全に使う上でますます重要になります。高信頼ソフトウェアを開発する技術を持ったソフトウェア技術者の活躍の場がますます広がると思います。
卒業後の未来像
半数の学生が大学院に進学します。その後は、研究を通して得た技術、経験をもとにソフトウェアや組み込みシステムの開発・研究に企業等で活躍しています。
プロフィール
大阪大学大学院基礎工学研究科修了。博士（工学）(大阪大学)。2020年より現職。 ソフトウェア工学、とりわけ仕様記述と検証技術に関する研究に従事。
| 電子メールアドレス |
|
|---|---|
| 研究者総覧（SOAR） | 詳細を見る |
| 個人サイト | https://sites.google.com/cs.shinshu-u.ac.jp/sel/ |
| オフィスアワー | 部屋：4F 411室 しばらくお待ちください。 |