logo main logo main
  • ホーム
  • ご挨拶
  • 研究シーズ
    • 研究シーズ条件検索
    • 研究シーズ一覧
    • キーワード一覧
  • 学部学科一覧
    • 工学部
      • 都市デザイン工学科
      • 建築学科
      • 機械工学科
      • 電気電子システム工学科
      • 電子情報システム工学科
      • 応用化学科
      • 環境工学科
      • 生命工学科
      • 一般教育科
      • 総合人間学系教室
      • ナノ材料マイクロデバイス研究センター
      • インキュベーションラボ
      • その他
    • ロボティクス&デザイン工学部
      • ロボット工学科
      • システムデザイン工学科
      • 空間デザイン学科
      • その他
    • 情報科学部
      • 情報知能学科
      • 情報システム学科
      • 情報メディア学科
      • ネットワークデザイン学科
      • その他
    • 知的財産学部
      • 知的財産学科
    • 知的財産研究科
    • その他
      • 教務部
        • 教職教室
        • 教育センター
        • ランゲージラーニングセンター
        • その他
      • 情報センター
      • 八幡工学実験場
      • ものづくりセンター
      • ロボティクス&デザインセンター
  • 協力機関コーナー
    • 大阪産業技術研究所
    • 大阪商工会議所
    • 大阪信用金庫
  • 特集コーナー
    • イノベーション・ジャパン2020~大学見本市Online
    • 動画コーナー
    • 八幡工学実験場バーチャルツアー
大阪工業大学
logo main logo main
  • ホーム
  • ご挨拶
  • 研究シーズ
    • 研究シーズ条件検索
    • 研究シーズ一覧
    • キーワード一覧
  • 学部学科一覧
    • 工学部
      • 都市デザイン工学科
      • 建築学科
      • 機械工学科
      • 電気電子システム工学科
      • 電子情報システム工学科
      • 応用化学科
      • 環境工学科
      • 生命工学科
      • 一般教育科
      • 総合人間学系教室
      • ナノ材料マイクロデバイス研究センター
      • インキュベーションラボ
      • その他
    • ロボティクス&デザイン工学部
      • ロボット工学科
      • システムデザイン工学科
      • 空間デザイン学科
      • その他
    • 情報科学部
      • 情報知能学科
      • 情報システム学科
      • 情報メディア学科
      • ネットワークデザイン学科
      • その他
    • 知的財産学部
      • 知的財産学科
    • 知的財産研究科
    • その他
      • 教務部
        • 教職教室
        • 教育センター
        • ランゲージラーニングセンター
        • その他
      • 情報センター
      • 八幡工学実験場
      • ものづくりセンター
      • ロボティクス&デザインセンター
  • 協力機関コーナー
    • 大阪産業技術研究所
    • 大阪商工会議所
    • 大阪信用金庫
  • 特集コーナー
    • イノベーション・ジャパン2020~大学見本市Online
    • 動画コーナー
    • 八幡工学実験場バーチャルツアー
大阪工業大学
logo main logo light
研究シーズを検索
  • ホーム
  • ご挨拶
  • 研究シーズ
    • 研究シーズ条件検索
    • 研究シーズ一覧
    • キーワード一覧
  • 学部学科一覧
    • 工学部
      • 都市デザイン工学科
      • 建築学科
      • 機械工学科
      • 電気電子システム工学科
      • 電子情報システム工学科
      • 応用化学科
      • 環境工学科
      • 生命工学科
      • 一般教育科
      • 総合人間学系教室
      • ナノ材料マイクロデバイス研究センター
      • インキュベーションラボ
      • その他
    • ロボティクス&デザイン工学部
      • ロボット工学科
      • システムデザイン工学科
      • 空間デザイン学科
      • その他
    • 情報科学部
      • 情報知能学科
      • 情報システム学科
      • 情報メディア学科
      • ネットワークデザイン学科
      • その他
    • 知的財産学部
      • 知的財産学科
    • 知的財産研究科
    • その他
      • 教務部
        • 教職教室
        • 教育センター
        • ランゲージラーニングセンター
        • その他
      • 情報センター
      • 八幡工学実験場
      • ものづくりセンター
      • ロボティクス&デザインセンター
  • 協力機関コーナー
    • 大阪産業技術研究所
    • 大阪商工会議所
    • 大阪信用金庫
  • 特集コーナー
    • イノベーション・ジャパン2020~大学見本市Online
    • 動画コーナー
    • 八幡工学実験場バーチャルツアー
研究シーズを探す
カテゴリー・キーワードから探す
SDGsの分類
  • 1. 貧困をなくそう
  • 2. 飢餓をゼロに
  • 3. すべての人に健康と福祉を
  • 4. 質の高い教育をみんなに
  • 5. ジェンダー平等を実現しよう
  • 6. 安全な水とトイレを世界中に
  • 7. エネルギーをみんなに そしてクリーンに
  • 8. 働きがいも経済成長も
  • 9. 産業と技術革新の基盤をつくろう
  • 10. 人や国の不平等をなくそう
  • 11. 住み続けられるまちづくりを
  • 12. つくる責任 つかう責任
  • 13. 気候変動に具体的な対策を
  • 14. 海の豊かさを守ろう
  • 15. 陸の豊かさも守ろう
  • 16. 平和と公正をすべての人に
  • 17. パートナーシップで目標を達成しよう
  • 該当無し
テーマの分類
  • IT・IoT・AI・ロボティクス
  • 建築
  • 土木・社会基盤
  • エネルギー・環境
  • ライフサイエンス
  • ものづくり・製造技術
  • ナノ・材料
  • デザイン
  • 人文学
  • 自然科学
  • 該当無し
学部・学科の分類
  • 工学部
    • 都市デザイン工学科
    • 建築学科
    • 機械工学科
    • 電気電子システム工学科
    • 電子情報システム工学科
    • 応用化学科
    • 環境工学科
    • 生命工学科
    • 一般教育科
    • 総合人間学系教室
    • ナノ材料マイクロデバイス研究センター
  • ロボティクス&デザイン工学部
    • ロボット工学科
    • システムデザイン工学科
    • 空間デザイン学科
  • 情報科学部
    • 情報知能学科
    • 情報システム学科
    • 情報メディア学科
    • ネットワークデザイン学科
    • その他
  • 知的財産学部
    • 知的財産学科
  • 知的財産研究科
  • 教務部
    • 教育センター
    • ランゲージラーニングセンター
  • 情報センター
  • 八幡工学実験場
  • ものづくりセンター
  • 該当無し
キーワード
  • CFD
  • その人らしさ
  • 可視化
  • ヴィクトリア朝
  • ギター
  • 金属コロイド粒子
  • 自動化
  • ペプチド医薬品
  • 空間把握
  • 低炭素化
  • 会話支援
  • ランドスケープデザイン
  • 発酵食品
  • 酸化物誘電体薄膜
  • 町並み
  • ガスセンサー
  • 歴史的建物再生
  • 地球
  • モブプログラミング
  • フィヒテ、シェリング

すべてのキーワードを見る

ホームプログラム実行時の変数値変動履歴からのバグ原因の可能性がある変数の推測
SDGsの分類
研究テーマ
IT・IoT・AI・ロボティクス
学科の分類
情報科学部情報システム学科

プログラム実行時の変数値変動履歴からのバグ原因の可能性がある変数の推測

情報科学部

情報システム学科

Database & Software Engineering 研究室

深海悟 教授

共同研究者

上村和貴
尾花将輝
ソフトウェア開発バグ原因探索

プログラムにバグがあっても、命令文は走ってしまえば終わりでバグの足跡を残さない。一方、バグの足跡は変数に残っていることがある。そこで、プログラム実行時の変数値の履歴をログとして収集し、これを解析することで怪しい変数を見つけ、この変数に書き込みを行った命令文の周辺にバグがあるのではとの目星をつけることができないかと考えた。 そこでまず第一段階として、全ての変数に代入される値をログとして保存し、障害が発生した実行時のログと正常動作したログで異なる値を出力している変数を怪しい変数と判断する手法を考えた。本手法を1つのオープンソースプロジェクトに適用した結果、代入命令 32861 箇所中、怪しい代入命令を 270 個まで絞り込む事ができ、確かにこの中にバグ原因となる代入命令が含まれていることを確認できた。この結果、提案手法によりバグ原因となる代入命令及び変数を推測できる可能性のあることがわかった。

提案手法

提案手法の全体像

怪しい変数の絞込み

変数の怪しい振舞いには様々なパターンがありえるが、ここではまず、正常動作時と障害発生時では異なる値をとっている変数を見つけることにした。このため、以下の出現頻度を定義し、この値により怪しい変数を絞り込むことにした。
この結果、下記の例では変数d, f, gが怪しい変数の候補として選ばれることになる。

検証

すでにバグの箇所がわかっているOSSプロジェクトのOpenPNEを、10人の学生に1週間使用してもらいログを収集した。
出現頻度が0と1の変数を除くだけで、怪しい変数の候補は約1/4(≒270/1092)(全代入命令に対しては1%以下)に絞り込めた。もちろんこの中にバグの原因となった箇所に関連する変数が含まれていた。
また、これら変数に対して代入を行っているメソッドも約1/4(≒36/130)(全メソッドに対しては0.2%)に絞り込むことが出来た。

以上より、提案手法の適用によりバグ原因の可能性がある変数の絞り込みはある程度できており、バグ原因個所の特定に効果が見込めると思われる。

論文

「変数の変動履歴からバグ原因の変数を予測する試み」(2019)上村和貴『情報処理学会研究報告ソフトウェア工学(SE)』2019-SE-201(6)p.1-6.

研究者INFO: 情報科学部 情報システム学科 Database & Software Engineering 研究室 深海悟 教授

研究シーズ・教員に対しての問合せや相談事項はこちら

技術相談申込フォーム
SDGs
研究テーマ
  • IT・IoT・AI・ロボティクス
  • 建築
  • 土木・社会基盤
  • エネルギー・環境
  • ライフサイエンス
  • ものづくり・製造技術
  • ナノ・材料
  • デザイン
  • 人文学
  • 自然科学
  • 該当無し
学部・学科
  • 工学部
    • 都市デザイン工学科
    • 建築学科
    • 機械工学科
    • 電気電子システム工学科
    • 電子情報システム工学科
    • 応用化学科
    • 環境工学科
    • 生命工学科
    • 一般教育科
    • 総合人間学系教室
    • ナノ材料マイクロデバイス研究センター
  • ロボティクス&デザイン工学部
    • ロボット工学科
    • システムデザイン工学科
    • 空間デザイン学科
  • 情報科学部
    • 情報知能学科
    • 情報システム学科
    • 情報メディア学科
    • ネットワークデザイン学科
    • その他
  • 知的財産学部
    • 知的財産学科
  • 知的財産研究科
  • 教務部
    • 教育センター
    • ランゲージラーニングセンター
  • 情報センター
  • 八幡工学実験場
  • ものづくりセンター
  • 該当無し
キーワード
  • 町並み
  • 自動化
  • 発酵食品
  • ヴィクトリア朝
  • 歴史的建物再生
  • 低炭素化
  • ガスセンサー
  • 酸化物誘電体薄膜
  • CFD
  • その人らしさ
  • 可視化
  • モブプログラミング
  • ギター
  • 空間把握
  • フィヒテ、シェリング
  • 会話支援
  • 地球
  • 金属コロイド粒子
  • ペプチド医薬品
  • ランドスケープデザイン

すべてのキーワードを見る

同じカテゴリーの研究シーズ

村田 理尚

熱電発電に必要な高性能 n 型熱電フィルムを開発

未利用の排熱から発電する熱電発電技術に関して、大気安定な塗布膜としてはこれまでで最も高い性能をもつ有機系n型熱電フィルムの開発に成功しました。n型半導体の材料の水分散液にエチレングリコールを添加剤として加える独自の環境調和型の手法を開発しました。多様な形状に貼り付けて利用する柔らかい熱電変換素子としてIoT社会への貢献が期待されます。

小林 弘一

壁の向こうに何がある?!

一つ目は電波の透過性に関する研究です。医療機関におけるX線CTとかMRIで想像できるように、電磁波は誘電体内を通過します。この性質から、建物内の様子を画像化する近距離レーダが考えられます。セキュリティ用の壁透過レーダ、水道管、ガス管、地雷などの地中埋設物探知レーダ、空港での危険物検知用レーダなどに応用できます。このレーダは一つ使い勝手の悪いところがあり、画像を作るために、送受信アンテナを規則的に走査する必要があります。そこで、オペレータがアンテナを自由に移動させても画像が得られる処理法を考案し確認中です(図1)。

椎原 正次

生産スケジュール改善サイクルの開発

 生産スケジュール改善サイクルは、ロット分割を段階的に進めることにより、段取り回数の増加を抑えつつ良好なスケジュールを得るための仕組みである。ロット分割は、生産スケジュール改善のための有効な手法の一つであるが、分割によってロット数が増えることになる。その結果として、総段取り時間が増加するだけではなく生産統制を複雑にしてしまう。このサイクルは四つのフェーズから構成され、受け入れ可能な総経過時間となる生産スケジュールが得られるまで繰り返す。

奥 宏史

ドローンの閉ループシステム同定によるモデリングと飛行制御

幅広い産業でビッグデータの活用が進んでいるが,予測・診断・制御・意思決定の精度向上に際してモデルの重要性が近年ますます高まっている.データエンジニアリングのひとつの分野として,システム同定法によるデータ駆動モデリングについて紹介する.具体例として,MOESP型閉ループ部分空間同定法(CL-MOESP)によるドローンの閉ループ同定と,得られた同定モデルを利用した最適制御器設計の事例研究を紹介する.

加瀬 渡

インタラクタを用いた線形制御系の解析・設計

追従制御系を構成する際、制御対象の伝達関数に対して、その逆数を前置補償器として用いる方法が考えられる。この補償器は微分器を含み、その部分をインタラクタという。一入出力系では、インタラクタは伝達関数の相対次数を有する多項式とすればよい。しかし、多入出力系においてはインタラクタは多項式を要素とする行列になり、伝達関数の相対次数以外に、そのパラメータにも依存するため導出も難しい。本研究では、出力数が入力数よりも多い系に対してインタラクタに関連する様々な問題、例えば特異な重みを有するLQ問題の解の陽表現、最大非可観測化問題、状態フィードバックにより逆インタラクタ化、不変零点の計算法などを考える。

福原 和則

ローコストで可変性のあるイベント空間の創出

ダンボールを加工して構造体をつくります。この構造体を組み合わせて、建築の柱梁構造のようなフレームを構築して、簡易なイベント空間を創出します。ダンボールは安価で軽量で再生可能な材料です。自在に組み合わせて、イベント活動に合わせた会場設定が可能です。

塚本 勝俊

電波を効率よく利用するヘテロジニアスワイヤレスシステム

Beyond 5Gなどの将来のワイヤレスアクセスネットワークにおけるフロントホールの課題に、無線アクセス区間の広帯域化に伴うMIMOアンテナ数の増加やIoT基盤への応用に起因したフロントホール伝送容量の増大、 一層のスモールセル化に伴って発生する膨大な数のDU(分散無線ユニット)を有する基地局設備の設置、それらへのフロントホールリンク数の増大がある。これらに対する一つの解決策となるのが光ファイバの中に様々な電波に対して透明な自由空間を提供するRoF (Radio over Fiber) ネットワークである。RoFを用いることによってヘテロジニアスワイヤレスに汎用的に使用できるフロントホールと基地局が実現できる。また分散アンテナシステムの構築も容易となる。本シーズでは、RoFによる分散アンテナシステムを紹介し、それを用いた位置検出システムへの取り組みについて述べる。

樫原 茂

消防防災活動におけるドローンの利活用に向けて

ドローンが登場して10年が経ちますが,消防防災活動におけるドローンの利活用状況は期待にはまだ追いついていません.本研究活動では,消防防災活動でのドローンの利活用の定着に貢献すべく,開発に加え,運用も含めた研究活動を,実務者である消防隊員や分野を超えた研究者等と連携し進めています.現在,ドローンの利活用方法の一つとして捜索活動を対象に,可視情報(映像情報)と不可視情報(電波情報)を収集・提示するためのシステム開発と,ドローンの利活用に必要な訓練や運用方法に関して取り組んでいます.

田岡 育恵

オクシモロンの謎―意味の矛盾と伝達効果

オクシモロンとは「小さな巨人」のように反対の意味が同じ対象に適用されるレトリックである.「小さくて大きいものは何だ?」とすれば「なぞなぞ」にもなり得るが,字義通りに考えれば反対語が共起しているのだから矛盾することになる.しかし,実際には意味解釈に支障は来さない.それどころかこのレトリックならではの伝達効果がある.オクシモロンの構造,伝達効果は私の研究テーマの一つである.

鈴木 基之

多様な歌唱スタイルに対応した楽曲検索システム

データベース中から楽曲を検索する際,題目や歌手名,といったメタ情報ではなく,楽曲を直接歌唱することで簡単に検索できるシステムを開発しています。 ハミング歌唱や歌詞による歌唱に加え,擬音語による歌唱にも対応し,またメロディの誤りや歌詞の誤りといった現象に対しても高精度に検索するための各種技術を開発しています。

鎌野 健

有限多重ゼータ値の関係式

画像の無限和で定義される実数値を多重ゼータ値と呼び,多重ゼータ値全体がなす有理数体上ベクトル空間の構造は数学的に興味深い対象として研究されている.本研究では多重ゼータ値の“有限類似”とも言える有限多重ゼータ値について,積分表示を駆使することによりそれらの間の関係式を得た.

松本 政秀

OpenFOAMを用いた混相流解析

PCB(ポリ塩化ビフェニル)分解処理反応器内壁における腐食減肉発生メカニズムを解明するための初期検討として,異種二流体が化学反応を伴わずに混合する過程の熱流体解析を実施している.解析ツールとして,OpenFOAMの混相流解析ソルバー群より,非等温で圧縮性が考慮できる二相/二流体の非定常解析ソルバーtwoPhaseEulerFoam を用いた.腐食性を仮定した高密度流体が反応器隔壁の数mmの隙間から鉛直下方へ流れ落ち,減肉の生じた底部内壁へ到達することが確認できた.

田中 耕司

流域治水の思想を踏まえた新たな河川整備への挑戦

これまでの河川の開発は、治水・利水計画規模に対して必要な施設を建設してきました。しかし近年、これらの計画を超過する洪水・土砂災害が発生し、激甚化しており、現状の整備水準や将来の計画では“まち”を守れないきれない時代に,じわじわと突入しています。 これからの我が国は、洪水・氾濫の発生を許容できる粘り強い“まち”が求められます。本研究では水害特性を過去から読み解き、将来を高精度に予測し、その変化に適応した“まちづくり”を考究し、提案します。

舩本 誠一

医療素材を作製するために必要な色々な技術開発

医療用素材の中で特に移植や生体と接触する生体材料において、動物の組織を利用するための加工技術として脱細胞化技術が近年注目されています。脱細胞化された生体組織は様々な場所で用いられています。加えて、組織の保存法やこの組織を異所性に用いることで得られる有効性などを引き出すための組織の加工技術など周辺技術の開発もまた盛んにおこなわれております。

小林 弘一

レーダ画像からレーダ断面積とアンテナパターンが評価できる?!

電気長の非常に大きな物体のレーダ断面積、アンテナパターンの計測は困難を極めます。このため、物体近傍の散乱電磁界を計測し、逆合成開口による画像処理後、遠方電磁界を数学的に評価する方法を確立、提案しています。

平山 亮

視覚障害者の映画鑑賞のための骨伝導ヘッドフォンによる音声ガイド配信

視覚障害者が映画鑑賞するとき,セリフとセリフの間に説明音声が流れる音声ガイドをヘッドフォンで聴取する方法が主流であるが、ヘッドフォンで耳を塞いでしまうため、映画館のマルチチャンネル臨場感音声を楽しめないという問題があった。そこで、音声ガイドを耳を塞がない骨伝導ヘッドフォンで聞き、映画館の臨場感音声は直接耳で聞くシステムを開発した。

小林 弘一

非平面アレイの放射電磁界を机上PCで計算?!

実装先プラットフォームの形状を損なわずにアレイ素子を配置することをコンフォーマルアレイと呼んでいますが、素子数が大きくなると、電磁界シミュレータでは計算時間の面で実用的でありません。そこで、コンフォーマル形状が多項式で表される場合を数学的に解析し、様々なパラメータを一元的に扱うGUIを開発しています。

皆川 健多郎

ものづくり人材育成のための教材開発とその検証

生産性向上はモノづくり現場のみならず、多くの現場における喫緊の課題となっている。かつてはこれらの課題に取り組む人材育成は、小集団活動やOJTも含め活発におこなわれていたが、長引く景気低迷、生産の海外移転などにより、近年ではその取り組みは必ずしも十分とは言えない。特にモノづくり現場では人口減少に伴う人手不足、またその対応としての外国人労働者の受け入れなど、生産性向上への対応は急務といえる。本研究代表者は、これまで1,000回を超える製造現場訪問を通じて、現場での実態を把握するとともに、問題解決のための教材開発ならびに教材を活用したセミナーの実施を進めてきた。さらにここにIoTも融合し、さまざまな現場にて自律的に生産性向上を実現する取り組みの推進と、経営工学(管理技術)の普及を目的としている。

荒木 英夫

匂い検出を目的とした半導体ガスセンサシステム

これまでにもコンピュータを利用した嗅覚について研究されているが、一般消費者が利用可能な形では実用化されていない。このことから我々はだれでも利用可能な人工嗅覚装置の実現を目指して研究を行っている。  人工嗅覚を実現するためには、空気中の化学物質を測定する必要があり、主にガスセンサを用いた研究がおこなわれている。本研究でも安価で取り扱いが容易な半導体ガスセンサを用いている。半導体ガスセンサは反応するガスが異なる種類が提供されており、我々の研究では複数の特性が異なる半導体ガスセンサとマイコンを組み合わせた小型で取扱いが簡単な人工嗅覚装置の実現を目指している。  一般的な半導体ガスセンサはヒータを持ち、内部の温度を管理する必要があるが、このヒータによる加熱を変更することにより感度を変化させることができる。これを利用して、一つのセンサからできるだけ多くの情報を得ることができるハードウエアを作成した。そして、得られた情報から匂いの種類を分類するために、機械学習を取り入れた認識システムを実現し評価を行った結果を示す。

木原 崇雄

高速A/D変換器の非線形性を改善するデジタル補正技術

直接RFサンプリング受信機はA/D変換器(ADC)で数GHzのRF信号を低速のデジタルデータに変換している。この受信機の消費電力を十mW程度に減らせれば、無線端末用集積回路に応用可能となり、その開発コストと市場投入までの期間を軽減・短縮できる。電圧制御発振器(VCO)を用いたADCは高速変換と低消費電力動作を両立できるが、VCOの非線形性により発生する不要波が分解能を低下させる。本展示では、デジタル回路で不要波を低減させることでADCの高速変換・低消費電力動作を実現する技術を紹介する。

  • ホーム
  • ご挨拶
  • 研究シーズ
    • 研究シーズ条件検索
    • 研究シーズ一覧
    • キーワード一覧
  • 学部学科一覧
    • 工学部
      • 都市デザイン工学科
      • 建築学科
      • 機械工学科
      • 電気電子システム工学科
      • 電子情報システム工学科
      • 応用化学科
      • 環境工学科
      • 生命工学科
      • 一般教育科
      • 総合人間学系教室
      • ナノ材料マイクロデバイス研究センター
      • インキュベーションラボ
      • その他
    • ロボティクス&デザイン工学部
      • ロボット工学科
      • システムデザイン工学科
      • 空間デザイン学科
      • その他
    • 情報科学部
      • 情報知能学科
      • 情報システム学科
      • 情報メディア学科
      • ネットワークデザイン学科
      • その他
    • 知的財産学部
      • 知的財産学科
    • 知的財産研究科
    • その他
      • 教務部
        • 教職教室
        • 教育センター
        • ランゲージラーニングセンター
        • その他
      • 情報センター
      • 八幡工学実験場
      • ものづくりセンター
      • ロボティクス&デザインセンター
  • 協力機関コーナー
    • 大阪産業技術研究所
    • 大阪商工会議所
    • 大阪信用金庫
  • 特集コーナー
    • イノベーション・ジャパン2020~大学見本市Online
    • 動画コーナー
    • 八幡工学実験場バーチャルツアー

研究シーズ・教員に対しての問合せや相談事項はこちら

技術相談申込フォーム

© INNOVATION DAYS 2021 智と技術の見本市.

v

Facebook

Dribbble

Behance

Instagram

E-mail