宇宙物理学・相対性理論研究のアウトリーチ活動
アインシュタインが相対性理論を提唱して100年が経ち,技術が進化して,ようやく重力波・ブラックホールの直接観測ができる時代になりました.日本の重力波観測プロジェクトKAGRA(かぐら)の科学部門を2017年より取りまとめ,一般向けの著作や講演も多く手掛けている教員が,この分野の解説を提供いたします.「相対性理論はどこまで正しいのか」「宇宙への理解は今後どう深まっていくのか」などをテーマに,歴史的・科学的どちらの視点からも可能です.
プログラムにバグがあっても、命令文は走ってしまえば終わりでバグの足跡を残さない。一方、バグの足跡は変数に残っていることがある。そこで、プログラム実行時の変数値の履歴をログとして収集し、これを解析することで怪しい変数を見つけ、この変数に書き込みを行った命令文の周辺にバグがあるのではとの目星をつけることができないかと考えた。 そこでまず第一段階として、全ての変数に代入される値をログとして保存し、障害が発生した実行時のログと正常動作したログで異なる値を出力している変数を怪しい変数と判断する手法を考えた。本手法を1つのオープンソースプロジェクトに適用した結果、代入命令 32861 箇所中、怪しい代入命令を 270 個まで絞り込む事ができ、確かにこの中にバグ原因となる代入命令が含まれていることを確認できた。この結果、提案手法によりバグ原因となる代入命令及び変数を推測できる可能性のあることがわかった。
論文
「変数の変動履歴からバグ原因の変数を予測する試み」(2019)『情報処理学会研究報告ソフトウェア工学(SE)』2019-SE-201(6)p.1-6.
研究シーズ・教員に対しての問合せや相談事項はこちら
技術相談申込フォーム