熱電発電に必要な高性能 n 型熱電フィルムを開発
未利用の排熱から発電する熱電発電技術に関して、大気安定な塗布膜としてはこれまでで最も高い性能をもつ有機系n型熱電フィルムの開発に成功しました。n型半導体の材料の水分散液にエチレングリコールを添加剤として加える独自の環境調和型の手法を開発しました。多様な形状に貼り付けて利用する柔らかい熱電変換素子としてIoT社会への貢献が期待されます。
プログラムにバグがあっても、命令文は走ってしまえば終わりでバグの足跡を残さない。一方、バグの足跡は変数に残っていることがある。そこで、プログラム実行時の変数値の履歴をログとして収集し、これを解析することで怪しい変数を見つけ、この変数に書き込みを行った命令文の周辺にバグがあるのではとの目星をつけることができないかと考えた。 そこでまず第一段階として、全ての変数に代入される値をログとして保存し、障害が発生した実行時のログと正常動作したログで異なる値を出力している変数を怪しい変数と判断する手法を考えた。本手法を1つのオープンソースプロジェクトに適用した結果、代入命令 32861 箇所中、怪しい代入命令を 270 個まで絞り込む事ができ、確かにこの中にバグ原因となる代入命令が含まれていることを確認できた。この結果、提案手法によりバグ原因となる代入命令及び変数を推測できる可能性のあることがわかった。
論文
「変数の変動履歴からバグ原因の変数を予測する試み」(2019)『情報処理学会研究報告ソフトウェア工学(SE)』2019-SE-201(6)p.1-6.
研究シーズ・教員に対しての問合せや相談事項はこちら
技術相談申込フォーム