産業用ロボットの新しい価値基準の定義
今後,これまでの量産システムだけではなく,究極には一品物の生産に至るまでロボットを活用することが期待されている. 本研究では,生産機種切り替えの迅速化,設備の完全再利用といった新しい価値基準を定義し,その達成度を競う競技会で分野啓発を試みる.
プログラムにバグがあっても、命令文は走ってしまえば終わりでバグの足跡を残さない。一方、バグの足跡は変数に残っていることがある。そこで、プログラム実行時の変数値の履歴をログとして収集し、これを解析することで怪しい変数を見つけ、この変数に書き込みを行った命令文の周辺にバグがあるのではとの目星をつけることができないかと考えた。 そこでまず第一段階として、全ての変数に代入される値をログとして保存し、障害が発生した実行時のログと正常動作したログで異なる値を出力している変数を怪しい変数と判断する手法を考えた。本手法を1つのオープンソースプロジェクトに適用した結果、代入命令 32861 箇所中、怪しい代入命令を 270 個まで絞り込む事ができ、確かにこの中にバグ原因となる代入命令が含まれていることを確認できた。この結果、提案手法によりバグ原因となる代入命令及び変数を推測できる可能性のあることがわかった。
論文
「変数の変動履歴からバグ原因の変数を予測する試み」(2019)『情報処理学会研究報告ソフトウェア工学(SE)』2019-SE-201(6)p.1-6.
研究シーズ・教員に対しての問合せや相談事項はこちら
技術相談申込フォーム