Presentations -
-
A Method to Comprehend Feature Dependencies Based on Semi-Static Structures (オブジェクトグラフの準静的構造とその機能依存理解への応用) Invited
神出稔正, 新田直也
ソフトウェアエンジニアリングシンポジウム2022 (東京) 2022.9 情報処理学会 ソフトウェア工学研究会
Event date： 2022.9
-
DTRAMビジュアルモデリングツール上での シミュレーション機能の実現と有効性評価
岡崎 毅浩, 新田 直也
第218回ソフトウェア工学研究発表会 (大阪) 2024.11 情報処理学会 ソフトウェア工学研究会
Event date： 2024.11
-
デバック技法を共有・再利用する枠組み構築に向けて
久米 出, 新田 直也, 中村 匡秀
第218回ソフトウェア工学研究発表会 (大阪) 2024.11 情報処理学会 ソフトウェア工学研究会
Event date： 2024.11
-
階層化されたリソース間のデータ転送を表現するWebサービスアーキテクチャモデル
岡崎 毅浩, 新田 直也
第215回ソフトウェア工学研究発表会 (香川) 2023.12 情報処理学会 ソフトウェア工学研究会
Event date： 2023.11 - 2023.12
-
分割して抽象化せよ！新しい原理に基づくトップダウンなデバッグ方式
久米出, 新田直也, 中村匡秀
第212回ソフトウェア工学研究発表会 2022.12 情報処理学会
Event date： 2022.12
制御やデータの依存関係 (或いはそれらの流れ) はデバッグでプログラム実行が失敗する過程を特定する上で重要な手掛かりとしての役割を果たす [1]，[2]，[3]．一方でこの依存関係の極めて複雑な構造がデバッグの作業効率の阻害要因となっている．加えてオブジェクト指向プログラミング固有の継承関係も複雑性を増加させる要因となっている．現在の標準的な，ソースコードの水準でプログラム実行を表現するデバッガを用いる限り，この問題から逃れる事は困難である．こうした問題を解決するために我々は，「分割して抽象化せよ」という従来のデバッグ方式とは根本的に異なる原理に基づいてトップダウン方式の作業を可能とする関心指向デバッギングを提案する．本論文では第三者が公開したフレームワークアプリケーションで実際に発生した不具合事例に対して，関心指向デバッギングを適用する事によってその効力を検証する．
-
データ転送アーキテクチャモデルに基づくRESTful WebサービスのPUSH/PULL転送方式変更リファクタリング
蔭山信二, 新田直也
第212回ソフトウェア工学研究発表会 2022.12 情報処理学会
Event date： 2022.12
Web サービスを構成する上で, サービス間のデータの転送をPUSH 型で行うかPULL 型で行うかの選択は非常に重要である. データ転送方式の選択が不適切であると, システム全体のパフォーマンス低下を招く可能性がある. しかしながら, データ転送方式の選択は複数のサービスのAPI 設計に影響を与えるため, API 設計を行った後での変更は容易ではない. そこで我々の研究グループは, API 設計よりも高い抽象度でWeb サービスアーキテクチャを記述する形式的モデルとして, データ転送アーキテクチャモデル(以下, 本モデルと略) を提案した. また, 本モデルによるアーキテクチャ記述に, 設計者が選択したデータ転送方式の情報を付加することによって, その選択に応じたWeb サービスのAPI 設計と, 実行可能なプロトタイプを自動生成するツールを開発した. しかしながら選択されたデータ転送方式は, 生成されたプロトタイプ中に暗黙的に埋め込まれるため, 実装途中でデータ転送方式を変更することは容易ではない. そこで本研究では, プロトタイプ生成時に, 本モデルが持つ情報をアノテーションとして明示的に埋め込むことによって, プロトタイプから派生した実装でもデータ転送方式をリファクタリング可能にする手法を提案する. また, データ転送方式を手作業で書き換えた場合に, どの程度の時間を要するかを調べるため, 被験者実験も行った. その結果, データ転送方式の変更に, 平均で25 分前後の時間を要することが判明した.
-
データ転送アーキテクチャモデルから生成されるJavaプロトタイプの設計多様化に関する検討
藤井宏太, 新田直也
第212回ソフトウェア工学研究発表会 2022.12 情報処理学会
Event date： 2022.12
データ転送アーキテクチャモデルは, Webサービス間のデータ転送方式の変更を容易にするため, データ転送方式に関する情報を捨象した抽象度でWebサービスアーキテクチャを記述可能な形式的モデルである. 我々の研究グループでは, データ転送アーキテクチャモデルの記述に, 設計者が選択したデータ転送方式の情報を付加することによって, その選択に応じたRESTful Webサービスのプロトタイプを生成可能なツールを開発している. 本研究では, 本ツールからJavaプロトタイプを生成できるようにした場合のその設計のバリエーションについて調べる. 具体的には, 23種類のデザインパターンのJavaサンプルプログラムを対象に, 適切なモデルの記述と適切なデータ転送方式の選択によって, 同等の振る舞いをするプログラムを生成可能であるかを検証した. その結果本手法では, 1つのサンプルプログラムに対してしか同等の振る舞いをするJavaプログラムを生成できないことが判明した. そこで, データ転送方式の選択を拡張する手法を考案し, それを用いて同様の検証を行った結果, 6つのサンプルプログラムに対して同等の振る舞いをするJavaプログラムを生成できることがわかった.
-
代数に基づくデータ転送アーキテクチャモデルからのCCSプロセスの導出手法
蔭山 信二, 新田 直也
ソフトウェアサイエンス研究会 2022.3 電子情報通信学会
Event date： 2022.3
コンポーネント間のデータ転送を PUSH 型で行うか PULL 型で行うかの選択は, システム全体の構造と最終的に得られる性能の両方に大きな影響を及ぼす. そこで本研究では, 開発初期の段階における適切なデータ転送方式の選択の支援を目的に, データ転送アーキテクチャモデルの提案を行っている. 具体的には, アーキテクチャ設計をデータ転送方式に依存する部分と依存しない部分に分離し, 依存しない部分を代数的に記述可能にする. 本稿では, 提案アーキテクチャモデルによる記述とユーザによって選択されたデータ転送方式を元に, CCS プロセスを自動生成する手法を示し, 生成された CCS プロセスが元のアーキテクチャモデルと等価となることおよび, 等価性を保ちながらデータ転送方式を変更するための十分条件を示す.
-
シーケンス図とオブジェクト図を統合した動的グラフに基づく可視化手法
本郷 亜季, 新田 直也
ソフトウェアサイエンス研究会 2022.3
Event date： 2022.3
UML は, リバースエンジニアリングにおいて現実のオブジェクト指向プログラムの複雑な振る舞いを表現 するのには適していない. 例えばシーケンス図では, オブジェクトが送信者や受信者の役割を担う場合と, メッセージ の引数や戻り値の役割を担う場合とで, まったく異なる形式で表現されるため, メソッドチェーンなどの複合呼び出し を直接的に表現することができない. そこで本研究では, オブジェクトの役割が送信者/受信者と引数/戻り値の間で頻 繁に交替するような複雑な協調動作を直接的に表現できるようシーケンス図とオブジェクト図を統合した動的可視化 手法を提案する. 24 名のJava エンジニアを対象とした実験を通して, 我々はそのような複雑な協調動作の理解におい て, 提案している動的可視化手法が既存の静的可視化手法よりも効果的であることを確認した.
-
機能依存の理解におけるデルタ抽出の有効性について
神出 稔正, 新田 直也
第206回ソフトウェア工学研究発表会 2020.11 情報処理学会
Event date： 2020.11
-
オブジェクトの移動に関する協調動作の動的グラフによる可視化手法
本郷 亜季, 新田 直也
第206回ソフトウェア工学研究発表会 2020.11 情報処理学会
Event date： 2020.11
-
デルタ抽出に基づく逆戻りデバッガの開発とその評価
石谷 涼, 新田 直也
第206回ソフトウェア工学研究発表会 2020.11 情報処理学会
Event date： 2020.11
-
PUSH型とPULL型のプロトタイプを自動生成可能なアーキテクチャ設計ツール
太田 陽一朗, 新田 直也
ソフトウェアエンジニアリングシンポジウム2020 2020.9
Event date： 2020.9
-
プロキシオブジェクトの導入リファクタリングの提案とその自動化
岩谷 草紀, 新田 直也
第203回ソフトウェア工学研究発表会 2019.12 情報処理学会
Event date： 2019.12
-
アーキテクチャリファクタリングのための代数的アーキテクチャモデル
太田 陽一朗, 新田 直也
第203回ソフトウェア工学研究発表会 2019.12 情報処理学会
Event date： 2019.12
-
オンラインおよびオフライン動的解析プラットフォームの開発とそのオブジェクトフロー解析への応用
石谷涼, 新田直也
第202回ソフトウェア工学研究発表会 (小樽経済センター) 情報処理学会
Event date： 2019.7
ソフトウェア工学のさまざまな分野において動的解析技術が用いられている．動的解析とは, プロ
グラムの実行時の情報を収集し解析を行うプログラム解析技術で, 解析対象となるプログラムの実行終了
後に解析を行うオフライン解析と, 実行の途中でそれまでに収集された情報の解析を行うオンライン解析
に分類することができる. 本稿では, オンラインおよびオフライン解析ツールの開発支援を目的として本研
究室で開発した動的解析プラットフォームの紹介を行う. また, 本プラットフォームを利用してJava プロ
グラムを対象としたオブジェクトフロー解析ツールを開発したので報告する. -
Failure Materialization for Cognitive Analysis of Debugging Maintainers
久米 出, 中村 匡秀, 新田 直也, 柴山 悦哉
日本ソフトウェア科学会大会論文集
Event date： 2017.9
-
A Case Study for Qualitative Analysis of Diagnosing in Program Debugging
久米 出, 中村 匡秀, 田中 康之, 新田 直也, 柴山 悦哉
日本ソフトウェア科学会大会論文集
Event date： 2016.9
-
データが動的に連動するソフトウェアの設計指針導出手法
小林 謙太郎, 新田 直也
情報処理学会第187回ソフトウェア工学研究会 情報処理学会
Event date： 2015.3
データが動的に連動するソフトウェアの開発では，データをどのように管理し，いつどのように更新すればよいか等の設計指針を決定する必要がある．しかしながら決定した設計指針が不適切であると，期待される振る舞いを実現できなくなる可能性がある．そこで本研究では，システムに対するドメイン固有の制約と，システムに期待される振る舞いを共にラベル付き遷移システムでモデル化し，それらを満たす設計指針を導出する手法を提案する．本稿では 2 つの事例に対して本手法を適用し，適切な設計指針を導出できることを確認したので，その報告を行う．
-
影響波及を考慮したフレームワークアプリケーションのプログラム修復支援手法
森岡友樹, 新田直也
情報処理学会第186回ソフトウェア工学研究会 情報処理学会
Event date： 2014.11
近年，プログラムの不具合修正を支援するプログラム修復技術が研究されている．修正の影響範囲が限定される比較的単純な不具合については修復の自動化も試みられているが，修正の影響が広範囲に波及するような複雑な不具合を対象とした修復手法は今のところ見当たらない．そこで本研究では，対象をフレームワークアプリケーションに限定し，不具合修正を行った結果別の不具合が新たに発見された状況において，両方の不具合を同時に修正可能な修復方針を系統的に導出する手法の提案を行う．本稿では，2つの事例において本手法が有効であることを確認したので報告する．
-
複数クラスを横断する情報隠蔽を実現するリファクタリングフレームワーク
高橋祐介, 新田直也
情報処理学会第186回ソフトウェア工学研究会 情報処理学会
Event date： 2014.11
情報隠蔽に関係するリファクタリングはいくつか存在しているが，実際のソフトウェア開発において，いつどのリファクタリングを適用すればよいのかは自明ではない．特に対象となるクラスを複数のクラスから隠蔽する場合には，これらのリファクタリングを適切に選択し，適切な順序で適切な位置に適用しなければ隠蔽は正常に完結しない．そこで本研究では，複数のクラスを横断するような情報隠蔽を支援するためのリファクタリングフレームワークを提案する．また，提案フレームワークの構成要素として，いくつかの新しいリファクタリングを導入する．本稿では，提案フレームワークを実際の設計変更事例に適用した結果その有効性を確認することができたので，その報告を行う．
-
Toward Efficient Debugging of Unexpected Side-Effects in Framework Applications
KUME Izuru, NITTA Naoya, NAMAKURA Masahide, SHIBAYAMA Etsuya
Technical report of IEICE. SS
Event date： 2014.3
Recently correcting misuses of application frameworks with insufficient documentation becomes an important topic because of so many frameworks used in software development. In this paper, we focus on debugging unexpected side effects caused by misuses. Our method detects possibly unexpected side effects based on behavioral patterns called symptoms, and visualize them for maintainers' judgment, and thus decreases their effort to find defects. We explain a case study to apply our method to a failure on a practical framework application developed by a third party.
-
高速かつ安定な剛体シミュレーションアルゴリズム
安田 開, 新田 直也
第12回全国大会 ゲーム学会
Event date： 2014.3
-
マーカレスARを用いた実世界指向情報共有システムの提案
西原 優人, 新田 直也，久野 剛司
第12回全国大会 ゲーム学会
Event date： 2014.3
-
フレームワーク・アプリケーションに於ける予期せぬ副作用の効率的なデバッグに向けて
久米 出, 新田 直也, 中村 匡秀, 柴山 悦哉
ソフトウェアサイエンス研究会 電子情報通信学会
Event date： 2014.3
-
A Visualization Technique for Side Effects Caused by Framework Misuses
久米 出, 中村 匡秀, 新田 直也, 柴山 悦哉
ウィンターワークショップ2014・イン・大洗 論文集
Event date： 2014.1
-
フレームワークアプリケーションに於ける副作用の兆候を抽出する動的解析手法 (ソフトウェアサイエンス)
久米 出, 新田 直也, 中村 匡秀, 柴山 悦哉
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報
Event date： 2013.10
プログラムのデバッグには検出された不具合からその原因を特定するために、多くの時間や労力を費して制御やデータの流れを辿る作業が必要である。多くのデバッグ支援手法は、作業者によるデバッグ対象プログラムの実装に関する知識を想定している。しかしながらフレームワークアプリケーションのように、既知のコードと未知のコード同士が相互に呼び出し合うようなプログラムの場合にはこうした想定が成り立たない。本論文ではフレームワークアプリケーションに於ける副作用に焦点を当てたプログラム理解とデバッグ支援の手法を提案する。我々の手法は副作用と共に発生する挙動を抽象化した兆候をプログラムトレースから抽出する点に新規性を有する。兆候は作業者が副作用の有無を判断する根拠として利用される。またオブジェクトやメソッド呼び出しと関連付ける事によって副作用の発生過程の理解を支援する事も期待されている。本提案手法を実用的なアプリケーション例題に対して適用し、その結果を評価する。
-
実行シナリオに基づくレイヤアーキテクチャの評価手法 (ソフトウェアサイエンス)
小林 謙太郎, 新田 直也
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報
Event date： 2013.10
大規模ソフトウェアの開発において,開発初期におけるアーキテクチャの選択は,その後のプロジェクトの成否を大きく左右する.しかしながら,実際の開発においてアーキテクチャをどのように選択すればよいかについては,設計者の経験に依存する部分が大きく,アーキテクチャ選択のための決定的な手法は確立されていないのが現状である.そこで本研究では,レイヤアーキテクチャを対象に,選択したアーキテクチャが要求仕様から抽出した実行シナリオと適合しているか否かを評価する手法を提案する.事例研究として,本研究室で開発した3D格闘ゲームの実行シナリオおよび初期アーキテクチャに対して本手法の適用を行った.その結果,本手法による評価結果が,当該プロジェクトにおいて初期アーキテクチャをほぼ変更することなく開発完了したという事実とよく一致していることがわかった.
-
デルタ抽出プラグインの開発とそのプログラム理解に対する有効性評価
松岡智大, 新田直也
研究報告ソフトウェア工学（SE）
Event date： 2013.10
デバッグや再利用を適切に行う上で対象となるプログラムの理解は必要不可欠である．一般に，プログラムの動的振る舞いは広範囲に渡るソースコードによって実現されている場合が多く，その理解のために，ソースコードに加えてデバッガなどで得られるプログラム実行時の情報も参照されることが多い．しかしながら，実用規模プログラムでは実行時に生成される情報が非常に膨大になり，その中から必要な情報を取り出すには多くの時間と労力を要する．そこで本研究では，オブジェクト指向プログラムの実行履歴から，プログラム理解に有用な情報を効率良く取り出すための抽象化手法 (デルタ抽出) を提案している．本稿では，プログラム理解の支援を目的としてデルタ抽出を行う Eclipse プラグインの実装を行った．また，プラグインの有効性を評価するため技術者を対象とした実証実験を行ったので，その結果について紹介する．
-
フレームワークサンプルアプリケーションを利用した実行シナリオの実装支援ツールの開発
縄江 保宏, 新田 直也
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
Event date： 2013.10
近年,アプリケーションの設計と実装の再利用性を高める仕組みとしてアプリケーションフレームワークが広く用いられ成果をあげている.しかしながら,フレームワークを利用する際には様々な取り決めや制約が存在し,所望の振る舞いを矛盾なく実装するのが困難となる場合がある.そこで本研究ではフレームワークのサンプルアブリケーションを利用して,与えられた実行シナリオの実装を支援する手法を提案している.具体的には,実装したい実行シナリオと近い振る舞いをするサンプルアプリケーションを選び,その中の実行シナリオと競合する振る舞いを実装している箇所を特定し,改変方針を提示することによって支援を行う.本稿では,手法の一部を自動化する動的解析ツールを開発し,その有効性について評価を行った.
-
フレームワークサンプルアプリケーションを利用した実行シナリオの実装支援ツールの開発
縄江保宏, 新田直也
研究報告ソフトウェア工学（SE）
Event date： 2013.10
近年，アプリケーションの設計と実装の再利用性を高める仕組みとしてアプリケーションフレームワークが広く用いられ成果をあげている．しかしながら，フレームワークを利用する際には様々な取り決めや制約が存在し，所望の振る舞いを矛盾なく実装するのが困難となる場合がある．そこで本研究ではフレームワークのサンプルアプリケーションを利用して，与えられた実行シナリオの実装を支援する手法を提案している．具体的には，実装したい実行シナリオと近い振る舞いをするサンプルアプリケーションを選び，その中の実行シナリオと競合する振る舞いを実装している箇所を特定し，改変方針を提示することによって支援を行う．本稿では，手法の一部を自動化する動的解析ツールを開発し，その有効性について評価を行った．
-
フレームワークアプリケーションに於ける副作用の兆候を抽出する動的解析手法
久米出, 新田直也, 中村匡秀, 柴山悦哉
研究報告ソフトウェア工学（SE）
Event date： 2013.10
プログラムのデバッグには検出された不具合からその原因を特定するために、多くの時間や労力を費して制御やデータの流れを辿る作業が必要である。多くのデバッグ支援手法は、作業者によるデバッグ対象プログラムの実装に関する知識を想定している。しかしながらフレームワークアプリケーションのように、既知のコードと未知のコード同士が相互に呼び出し合うようなプログラムの場合にはこうした想定が成り立たない。本論文ではフレームワークアプリケーションに於ける副作用に焦点を当てたプログラム理解とデバッグ支援の手法を提案する。我々の手法は副作用と共に発生する挙動を抽象化した兆候をプログラムトレースから抽出する点に新規性を有する。兆候は作業者が副作用の有無を判断する根拠として利用される。またオブジェクトやメソッド呼び出しと関連付ける事によって副作用の発生過程の理解を支援する事も期待されている。本提案手法を実用的なアプリケーション例題に対して適用し、その結果を評価する。
-
デルタ抽出プラグインの開発とそのプログラム理解に対する有効性評価
松岡 智大, 新田 直也
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
Event date： 2013.10
デバッグや再利用を適切に行う上で対象となるプログラムの理解は必要不可欠である.一般に,プログラムの動的振る舞いは広範囲に渡るソースコードによって実現されている場合が多く,その理解のために,ソースコードに加えてデバッガなどで得られるプログラム実行時の情報も参照されることが多い.しかしながら,実用規模プログラムでは実行時に生成される情報が非常に膨大になり,その中から必要な情報を取り出すには多くの時間と労力を要する.そこで本研究では,オブジェクト指向プログラムの実行履歴から,プログラム理解に有用な情報を効率良く取り出すための抽象化手法(デルタ抽出)を提案している.本稿では,プログラム理解の支援を目的としてデルタ抽出を行うEclipseプラグインの実装を行った.また,プラグインの有効性を評価するため技術者を対象とした実証実験を行ったので,その結果について紹介する.
-
実行シナリオに基づくレイヤアーキテクチャの評価手法
小林謙太郎, 新田直也
研究報告ソフトウェア工学（SE）
Event date： 2013.10
大規模ソフトウェアの開発において，開発初期におけるアーキテクチャの選択は，その後のプロジェクトの成否を大きく左右する．しかしながら，実際の開発においてアーキテクチャをどのように選択すればよいかについては，設計者の経験に依存する部分が大きく，アーキテクチャ選択のための決定的な手法は確立されていないのが現状である．そこで本研究では，レイヤアーキテクチャを対象に，選択したアーキテクチャが要求仕様から抽出した実行シナリオと適合しているか否かを評価する手法を提案する．事例研究として，本研究室で開発した 3D 格闘ゲームの実行シナリオおよび初期アーキテクチャに対して本手法の適用を行った．その結果，本手法による評価結果が，当該プロジェクトにおいて初期アーキテクチャをほぼ変更することなく開発完了したという事実とよく一致していることがわかった．
-
実行シナリオに基づくレイヤアーキテクチャの評価手法
小林 謙太郎，新田 直也
第182回ソフトウェア工学研究会 情報処理学会
Event date： 2013.10
-
デルタ抽出プラグインの実装とそのプログラム理解に対する有効性評価
松岡 智大, 新田 直也
第182回ソフトウェア工学研究会 情報処理学会
Event date： 2013.10
-
フレームワークサンプルアプリケーションを利用した実行シナリオの実装支援ツールの開発
縄江 保宏, 新田 直也
第182回ソフトウェア工学研究会 情報処理学会
Event date： 2013.10
-
フレームワークアプリケーションに於ける副作用の兆候を抽出する動的解析手法
久米 出, 新田 直也, 中村 匡秀, 柴山 悦哉
第182回ソフトウェア工学研究会 情報処理学会
Event date： 2013.10
-
フレームワークアプリケーションの抽象化のための動的解析手法
久米出, 中村匡秀, 新田直也, 柴山悦哉
研究報告ソフトウェア工学（SE）
Event date： 2013.3
近年のソフトウェア開発に於けるアプリケーションフレームワークの普及と共に、その正しい利用法を効率的に学ぶ手法がますます重要になっている。フレームワークの学習の障害として、その複雑性と、所謂制御の反転 （Inversion of Control） に特徴付けられる独特な実行形態が挙げられる。我々はこれらの障害を克服するために、フレームワークアプリケーションの内部挙動を抽象化して表現する機能モデル （feature model） と、動的解析を用いたモデリングを提案する。本論文では第三者が開発した実用的なフレームワークアプリケーション内で発見されたフレームワーク利用の誤りを事例として我々の取り組みとその将来課題を説明する。
-
Toward Framework Learning by Dynamic Analysis
久米 出, 中村 匡秀, 新田 直也, 柴山 悦哉
ウィンターワークショップ2013・イン・那須 論文集
Event date： 2013.1
-
プログラム解析技術を用いた大規模ソフトウェアの開発作業支援の試み (知能情報学部開設5周年記念特集号)
新田 直也
甲南大学紀要. 知能情報学編
Event date： 2013
-
フレームワークサンプルアプリケーションを利用した実行シナリオの実装支援手法
縄江保宏, 新田直也
情報処理学会ソフトウェア工学研究会, 2012-SE-178 (26)
Event date： 2012.11
-
デルタ抽出を用いたアプリケーションフレームワークの利用例抽出ツールの開発と評価
山根敬史, 新田直也
情報処理学会ソフトウェア工学研究会, 2012-SE-178 (27)
Event date： 2012.11
-
デルタ抽出を用いたアプリケーションフレームワークの利用例抽出ツールの開発と評価
山根敬史, 新田直也
研究報告ソフトウェア工学（SE）
Event date： 2012.10
近年アプリケーションフレームワークは，拡張可能なアプリケーションの骨組みとしてさまざまな分野で広く用いられ成果をあげている．しかしながら，フレームワークを利用する際には様々な取り決めや制約が存在し，フレームワークをどのように拡張すればよいかが，開発者にとって自明でない場合が多い.そこで本研究では，我々の研究グループが提案している動的解析技術であるデルタ抽出を用いて，単一のサンプルアプリケーションの実行履歴からフレームワークの利用例を抽出し，フレームワークの利用支援を行う手法の提案を行っている．本稿ではフレームワークの利用例を抽出するアルゴリズムを考案し，ツールの実装を行った．また， 2 つのフレームワークを対象に本ツールの評価実験を行い，本ツールによって精度の高い利用例を抽出できることを確認した．
-
デルタ抽出を用いたアプリケーションフレームワークの利用例抽出ツールの開発と評価
山根 敬史, 新田 直也
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
Event date： 2012.10
近年アプリケーションフレームワークは,拡張可能なアプリケーションの骨組みとしてさまざまな分野で広く用いられ成果をあげている.しかしながら,フレームワークを利用する際には様々な取り決めや制約が存在し,フレームワークをどのように拡張すればよいかが,開発者にとって自明でない場合が多い.そこで本研究では,我々の研究グループが提案している動的解析技術であるデルタ抽出を用いて,単一のサンプルアプリケーションの実行履歴からフレームワークの利用例を抽出し,フレームワークの利用支援を行う手法の提案を行っている.本稿ではフレームワークの利用例を抽出するアルゴリズムを考案し,ツールの実装を行った.また,2つのフレームワークを対象に本ツールの評価実験を行い,本ツールによって精度の高い利用例を抽出できることを確認した.
-
フレームワークサンプルアプリケーションを利用した実行シナリオの実装支援手法
縄江 保宏, 新田 直也
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
Event date： 2012.10
近年,アプリケーションの設計と実装の再利用性を高める仕組みとしてアプリケーションフレームワークが広く用いられ成果をあげている.しかしながら,フレームワークを利用する際には様々な取り決めや制約が存在し,所望の振る舞いを矛盾なく実装するのが困難となる場合がある.そこで本研究ではフレームワークのサンプルアプリケーションを利用して,与えられた実行シナリオの実装を支援する手法を提案する.具体的には,実装したい実行シナリオと近い振る舞いをするサンプルアプリケーションを選び,その中の実行シナリオと競合する振る舞いを実装している箇所を特定,改変することによって支援を行う.本稿では,複数のフレームワークと複数の実行シナリオに対して本手法を適用し,その有効性を確認した.
-
フレームワークサンプルアプリケーションを利用した実行シナリオの実装支援手法
縄江保宏, 新田直也
研究報告ソフトウェア工学（SE）
Event date： 2012.10
近年，アプリケーションの設計と実装の再利用性を高める仕組みとしてアプリケーションフレームワークが広く用いられ成果をあげている．しかしながら，フレームワークを利用する際には様々な取り決めや制約が存在し，所望の振る舞いを矛盾なく実装するのが困難となる場合がある．そこで本研究ではフレームワークのサンプルアプリケーションを利用して，与えられた実行シナリオの実装を支援する手法を提案する．具体的には，実装したい実行シナリオと近い振る舞いをするサンプルアプリケーションを選び，その中の実行シナリオと競合する振る舞いを実装している箇所を特定，改変することによって支援を行う．本稿では，複数のフレームワークと複数の実行シナリオに対して本手法を適用し，その有効性を確認した．
-
携帯情報端末に適した効率の良い自己位置推定および地図生成アルゴリズム (パターン認識・メディア理解)
上田 雄大, 新田 直也
電子情報通信学会技術研究報告 : 信学技報
Event date： 2012.9
近年,スマートフォンなどの携帯情報端末の高機能化,高性能化に伴い,モバイル環境においても拡張現実感(AR)を実現することが可能になってきた。とりわけマーカを用いないAR(マーカレスAR)は,カメラ以外にはセンサもマーカも必要としないためその実現が広く期待されている技術であるが,今のところスマートフォン上では十分な精度と実行速度を同時に達成することが困難な状況にある.我々研究グループは単眼SLAMアルゴリズムの高速化を図ることによって,携帯情報端末上で動作するマーカレスARシステムの実現を目指している。本稿では,先行研究で提案した効率の良い単眼SLAMアルゴリズムの実行速度を維持しつつロバスト性を向上させる改良を行った,その結果,実環境に近づくように計算機上でランダムノイズを混入させた仮想環境でも十分な推定精度を得れるようアルゴリズムを改良することに成功した.今後,実際の実環境においても実用的な精度および実行速度を得られるようアルゴリズムの改善を図る予定である.
-
携帯情報端末に適した効率の良い自己位置推定および地図生成アルゴリズム (情報論的学習理論と機械学習)
上田 雄大, 新田 直也
電子情報通信学会技術研究報告 : 信学技報
Event date： 2012.9
近年,スマートフォンなどの携帯情報端末の高機能化,高性能化に伴い,モバイル環境においても拡張現実感(AR)を実現することが可能になってきた,とりわけマーカを用いない AR(マーカレスAR)は,カメラ以外にはセンサもマーカも必要としないためその実現が広く期待されている技術であるが,今のところスマートフォン上では十分な精度と実行速度を同時に達成することが困難な状況にある.我々研究グループは単眼SLAMアルゴリズムの高速化を図ることによって,携帯情報端末上で動作するマーカレスARシステムの実現を目指している.本稿では,先行研究で提案した効率の良い単眼SLAMアルゴリズムの実行速度を維持しつつロバスト性を向上させる改良を行った。その結果,実環境に近づくように計算機上でランダムノイズを混入させた仮想環境でも十分な推定精度を得れるようアルゴリズムを改良することに成功した.今後,実際の実環境においても実用的な精度および実行速度を得られるようアルゴリズムの改善を図る予定である,
-
長時間トラッキングに適応したマーカレスARアルゴリズム
上田雄大，新田直也，藤井孝貴，武村泰宏
エンタテインメントコンピューティング2012
Event date： 2012.9
-
携帯情報端末に適した効率の良い自己位置推定および地図生成アルゴリズム
上田雄大, 新田直也
情報処理学会コンピュータビジョンとイメージメディア研究会, 2012-CVIM-183 (10)
Event date： 2012.9
-
携帯情報端末に適した効率の良い自己位置推定および地図生成アルゴリズム
上田雄大, 新田直也
研究報告コンピュータビジョンとイメージメディア（CVIM）
Event date： 2012.8
近年，スマートフォンなどの携帯情報端末の高機能化，高性能化に伴い，モバイル環境においても拡張現実感(AR)を実現することが可能になってきた．とりわけマーカを用いないAR(マーカレスAR)は,カメラ以外にはセンサもマーカも必要としないためその実現が広く期待されている技術であるが，今のところスマートフォン上では十分な精度と実行速度を同時に達成することが困難な状況にある．我々研究グループは単眼SLAMアルゴリズムの高速化を図ることによって，携帯情報端末上で動作するマーカレスARシステムの実現を目指している．本稿では，先行研究で提案した効率の良い単眼SLAMアルゴリズムの実行速度を維持しつつロバスト性を向上させる改良を行った．その結果，実環境に近づくように計算機上でランダムノイズを混入させた仮想環境でも十分な推定精度を得れるようアルゴリズムを改良することに成功した．今後，実際の実環境においても実用的な精度および実行速度を得られるようアルゴリズムの改善を図る予定である．
-
デルタ抽出を用いたアプリケーションフレームワークの利用例抽出手法
手塚裕輔, 新田直也
情報処理学会ソフトウェア工学研究会, 2011-SE-174 (6)
Event date： 2011.11
-
A Method to Extract an Application Framework Usage based on Delta Mining
手塚 裕輔, 新田 直也
研究報告ソフトウェア工学(SE)
Event date： 2011.10
近年アプリケーションフレームワークは,拡張可能なアプリケーションの骨組みとしてさまざまな分野で広く用いられ成果をあげている.しかしながら,個々のアプリケーションを実装する上でアプリケーションフレームワークをどのように用いればよいかは,開発者にとって自明でない場合が多く,実装前の調査に多くの時間を要したり,実装後の予期せぬ不具合発生の原因となっている.本研究では,その中でも特にプラグインポイントに代表されるようなアプリケーションフレームワークの拡張に伴って暗黙的に必要とされるメソッド呼び出しに着目し,アプリケーションフレームワークの単一のサンプルアプリケーションの実行履歴からそれらの呼び出しを抽出することで開発者を支援する手法を提案する.ここで実行履歴の解析にあたっては,本研究室で提案しているデルタ抽出を用いる.本稿では,2 つのアプリケーションフレームワークを対象にデルタ抽出を適用し,利用例の抽出を行った事例研究について紹介する.Recently, application frameworks are widely used as skeletons of applications in various domains. However, it is not clear for application developpers how to reuse an application framework to build their own applications, and they are often needed to spend much time investing the application framework for their implementation tasks or face with unexpected defects after the implementation tasks. In this research, we focus on implicitly needed method calls along with an extention of an application framework such as plugin points, and present a method to extract such calls from an execution trace of a single sample application of the application framework to support application developpers. For the analysis of the execution trace, we use delta mining method which we have proposed in the previous research. In this paper, we show case studies to extract framework usages for two application frameworks using delta mining method.
-
Development and Implementation of an Efficient Algorithm for Delta Mining
YAMANE Keishi, NITTA Naoya
Technical report of IEICE. SS
Event date： 2011.10
In an execution of an object-oriented program, a pre-executed feature often affects a post-executed feature. Therefore, it is usually insufficient to only read a local part of the source code for valid reuse and debug tasks, and hence generally, the run-time information of the program is also referred to. However, the amount of the run-time information tends to be quite large and mining useful information from it would require enormous time and effort. In this research, we present a method to efficiently mine a useful structure of the execution trace for appropriate program comprehension, and we call it delta mining. In this paper, we present an efficient algorithm for automatic delta mining and explain the results of computer experiments to evaluate the feasibility of the algorithm.
-
マーカレスARゲームのための実時間三次元形状復元
壽浩規, 新田直也
エンタテインメントコンピューティング2011
Event date： 2011.10
-
デルタ抽出のための効率の良いアルゴリズムの開発と実装
山根敬史, 新田直也
電子情報通信学会技術研究報告, SS2011-31, pp. 25-30
Event date： 2011.10
-
マーカレスARアルゴリズムの精度向上と一人称視点ゲームへの適用
上田雄大, 壽浩規, 新田直也, 藤井孝貴, 戸潤賢太郎, 武村泰宏
エンタテインメントコンピューティング2011
Event date： 2011.10
-
Delta Mining: An Execution Trace Abstraction for Efficient Comprehension of Its Global Structure
新田 直也, 手塚 裕輔
研究報告ソフトウェア工学(SE)
Event date： 2011.7
プログラムの実行において,ある機能の実行が別の機能の実行に影響を及ぼす現象が多く見られる.そのため,適切にデバッグや再利用を行うためには局所的なソースコードを読むだけでは不十分である場合が多く,一般にソースコードに加えてプログラムの実行時の情報が参照される.しかしながら,実用規模プログラムでは実行時に生成される情報が非常に膨大になり,その中から必要な情報を取り出すには多くの時間と労力を要する.そこで,本研究ではオブジェクト指向プログラムの実行履歴から,プログラム理解に有用な大域的構造を効率良く取り出すための抽象化手法 (デルタ抽出と呼ぶ) を提案する.デルタ抽出の具体的な応用例としては,フレームワークの利用法抽出,機能同定,バックインタイムデバッガなどを想定している.本稿では,デルタ抽出に関する定義を与えるとともに,フレームワークの利用法抽出に対するデルタ抽出の適用可能性や有効性について議論する.In an execution of a program, a pre-executed feature often affects a postexecuted feature. Therefore, it is usually insufficient to only read a local part of the source code for appropriate reuse and debug tasks, and hence in addition to the source code, the runtime information of the program is also refered to. However, the amount of the runtime information tends to be quite large and mining useful information from it would require enormous time and effort. In this research, we present a method to efficiently mine a useful structure of an execution trace of an object-oriented program for appropriate program comprehension, and we call it delta mining. We suppose that delta mining can be applied for framework usage extraction, feature location and back in time debugger. In this paper, we define delta mining and discuss the applicability and the feasibility of the method for framework usage extraction.
-
デルタ抽出: 実行履歴の大域的構造を効率良く把握するための抽象化手法
新田直也, 手塚裕輔
情報処理学会ソフトウェア工学研究会, 2011-SE-173 (7)
Event date： 2011.7
-
A Support Method for Framework Selection in Developments of Real-time Applications
手塚 裕輔, 新田 直也
研究報告ソフトウェア工学(SE)
Event date： 2010.11
近年,アプリケーションの設計と実装の再利用性を高める仕組みとしてアプリケーションフレームワークが広く用いられ成果をあげている.しかしながら現実のアプリケーション開発においては,プロジェクトに適合しないアプリケーションフレームワークを選択して,実装段階になるまでその不適合性に気づかず,最終的にプロジェクト全体に大きな損失を与えてしまうといった場合も少なくない.そこで本研究では,最小限のドキュメントとソースコードを元にアプリケーションフレームワークが開発対象のリアルタイムアプリケーションの要求仕様に適合しているか否かを評価する効率の良い手法を提案する.本稿では,提案手法の適用事例として2つの3Dゲームフレームワークを対象に適合性の評価を行った.その結果,ある種のゲームアプリケーションを実装する上での問題点を実際に実装を行うことなく発見することができた.Recently, application frameworks are widely used to improve the reusability of designs and imprements of application software. However in a real-world application development, it sometimes happens that the developpers select an application framework which is unsuitable for their project, they cannot notice the unsuitableness until the implementation process has started and finally the unsuitableness causes a serious loss to the project. Therefore in this research, we present an efficient method to assess whether a given application framework meets the requirements specification of a real-time application to be developed from the minimal documents and the source code of the framework. In this paper, we have evaluated two real-world 3D game frameworks based on our method for a case study, and have found several problems on the implementation of a certain game application without implementing it.
-
リアルタイムアプリケーションの開発におけるフレームワークの選択支援手法
手塚 裕輔, 新田 直也
情報処理学会ソフトウェア工学研究会, 2010-SE-170 (3)
Event date： 2010.11
-
マーカありとマーカなしを組み合わせた実世界指向オンラインゲーム向けARフレームワークの構築
壽 浩規, 久野剛司, 新田直也
エンタテインメントコンピューティング2010
Event date： 2010.10
-
Extending 3D game framework radish for markerless augmented reality games
久野 剛司, 新田 直也
IEICE technical report
Event date： 2010.5
-
Extending 3D Game Framework Radish for Markerless Augmented Reality Games
KUNO TSUYOSHI, NITTA NAOYA
研究報告エンタテインメントコンピューティング(EC)
Event date： 2010.5
近年,拡張現実 (AR) のコンピュータゲームへの応用が注目されているが,マーカレス AR ゲームについてはまだ実用レベルに達しているものが見当たらない.そこで本研究では,著者らの研究室で Java を用いて開発した 3D ゲームフレームワーク Radish を拡張し, 実用的なマーカレス AR ゲームの実現を目指す.本稿では,マーカレス AR 用に考案した SLAM アルゴリズムの概要を説明し,実験用ゲームを用いて実行速度及びゲームとしての有効性について評価する.Recently, application of augmented reality technologies to the field of computer games has been attracted attention. To our knowledge, however, there is hardly a markerless augmented reality game at practical level. Therefore, we extend a 3D game framework, named Radish developed in our laboratory, and intend to realize practical games using markerless augmented reality. In this paper, we explain the outline of the algorithm of simultaneous localization and mapping developed in our laboratory, and evaluate the computing performance and the availability for games using a sample game we developed.
-
マーカレスARゲームの開発に向けたゲームフレームワークRadishの拡張
久野剛司, 新田直也
情報処理学会エンターテイメントコンピューティング研究会, 2010-EC-16 (21), pp. 75-80
Event date： 2010.3
-
3Dゲーム用アプリケーションフレームワークの開発を通したエンピリカルなソフトウェア工学教育
新田直也, 武村泰宏, 久米出
第25回日本産業技術教育学会近畿支部大会, 第25回研究発表会講演論文集, pp.13--14
Event date： 2008.12
-
A Precision-focused Software Clustering Method for Layer Architecture
KAGA HIROTO, NITTA NAOYA
IPSJ SIG Notes
Event date： 2008.11
Architecture understanding is crucial for large scale software maintenance and reuse. However, in an actual project architectural documents are often obsolete or rather missing, and a maintainer often have to make a great effort to extract implicit architectural information from the source code. To address the problem, many works have been done in the field of software clustering, but most of the works are not sufficient for clustering large scale software which has a layer architecture because they omit the information of the directions of the use relation. Therefore, we study software clustering methods which are aware of the directions of the use relation, and in this paper, we extend a software clustering method and a clustering tool SCALAR presented in our previous work to improve its performances. As a result, we can improve the performance of recall with preserving high performance of precision and efficiency.
-
適合率を重視したレイヤアーキテクチャの向けソフトウェアクラスタリング手法
加賀洋渡, 新田直也
情報処理学会ソフトウェア工学研究会, 2008-SE-162 (4), pp. 25--30
Event date： 2008.11
-
Software Clustering for Layer Architecture
KAGA HIROTO, NITTA NAOYA
IPSJ SIG Notes
Event date： 2008.3
Architecture understanding is crucial for large scale software maintenance and reuse. However, in an actual project architectural documents are often obsolete or rather missing, and a maintainer often have to make a great effort to extract implicit architectural information from the source code. To address the problem, many works have been done in the field of software clustering, but most of the works are not sufficient for clustering large scale software which has a layer architecture because they omit the information of the directions of the use relation. Therefore, we consider a software clustering method which is aware of the directions of the use relation and implement it as a clustering tool SCALAR. Furthermore, we apply SCALAR to several real-world programs and confirm its effectiveness.
-
レイヤアーキテクチャのためのソフトウェアクラスタリング手法
加賀洋渡, 新田直也
情報処理学会ソフトウェア工学研究会, 2008-SE-159 (19), pp. 147--153
Event date： 2008.3
-
エンピリカルなソフトウェア工学教育を目的とした 3Dゲーム用アプリケーションフレームワークの開発
新田 直也, 久米 出, 武村 泰宏
甲南大学紀要. 知能情報学編
Event date： 2008
-
開発効率と教育効果の双方を追及したWeb アプリケーション開発のプロジェクト実習事例
新田直也
第4回シンポジウム「ネットワークと情報処理」論文集, 甲南大学知的情報通信研究所
Event date： 2007.12
-
Webアプリケーションの開発プロジェクト実習事例および開発手法リポジトリ構想について
新田直也
第3回シンポジウム「ネットワークと情報処理」論文集, 甲南大学知的情報通信研究所
Event date： 2006.12
-
実規模オブジェクト指向プログラムにおける機能追加性の向上を目指した設計記法
新田直也, 久米出, 武村泰宏
第2回シンポジウム「ネットワークと情報処理」論文集, 甲南大学知的情報通信研究所, pp. 69-76
Event date： 2006.1
-
実規模オブジェクト指向プログラムの設計評価のための一手法
新田直也, 久米出, 武村泰宏
日本産業技術教育学会, 第21回情報分科会研究発表会
Event date： 2005.12
-
An Automated Refactoring for Information Hiding
NITTA NAOYA
情報処理学会論文誌プログラミング(PRO)
Event date： 2005.8
Recently, much attention is paid to refactoring as a technique for improving the internal structure of a existing code while preserving its observational behavior. Refactoring frameworks are expected to play an important role in design change activities occuring in programming process, but there is no comprehensive survey of their applicability to real design changes. In this research, we consider a kind of structural change for information hiding and show that it cannot be handled by existing refactoring frameworks. Further, we introduce a new primitive refactoring named variable hiding, and show that using the interprocedural liveness analysis, the process of the refactoring can be automated. Since information hiding is one of the fundamental design activities, to support the activities by an automated refactoring is expected to improve the efficiency of development peocesses.
-
情報隠蔽のための自動リファクタリング,
新田直也
情報処理学会プログラミング研究会 (2005、学会報告)
Event date： 2005.1
-
バッファオーバーフロー静的検出のための一手法
新田 直也, 王静
第1回シンポジウム「ネットワークと情報処理」論文集, 甲南大学 知的情報通信研究所, pp.46--52
Event date： 2005.1
-
Aliasing-PDS: オブジェクト指向プログラムのモデル検査のための新しい 計算モデル
新田直也
シンポジウム「システム検証の科学技術」予稿集 (2004、シンポジウム発表)
Event date： 2004.2
-
ネットワーク分散型侵入検知システムにおける最適なProbeの配置について
王静, 新田直也, 関浩之
2004年暗号と情報セキュリティシンポジウム (SCIS), pp.1035-1040
Event date： 2004.1
-
Towards an Optimal Probe Deployment for Network IDS
WANG Jing, NITTA Naoya, SEKI Hiroyuki
Technical report of IEICE. SS
Event date： 2003.11
Misuse accesses cause enormous damage to network system, e. g., disclosing secret information, counterchecking networks service et al. To detect misuse access, Intrusion Detection Systems (IDSs) are used generally. Regular expression-based network IDS is a mechanism which detects misuse accesses by distributed IDSs on intra-network. However, there are only ad hoc algorithms for determining the number of distributed IDSs, deployment hosts and distributed attack scenarios. Hence, in this research, we formally define this problem as IDS partition deployment problem and discuss the computational complexity of this problem and its algorithm.
-
Towards an Optimal Probe Deployment for Network IDS(Knowledge-Based Software Engineering)
WANG Jing, NITTA Naoya, SEKI Hiroyuki
Technical report of IEICE. KBSE
Event date： 2003.11
Misuse accesses cause enormous damage to network system, e. g., disclosing secret information, counterchecking networks service et al. To detect misuse access, Intrusion Detection Systems (IDSs) are used generally. Regular expression-based network IDS is a mechanism which detects misuse accesses by distributed IDSs on intra-network. However, there are only ad hoc algorithms for determining the number of distributed IDSs, deployment hosts and distributed attack scenarios. Hence, in this research, we formally define this problem as IDS partition deployment problem and discuss the computational complexity of this problem and its algorithm.
-
Towards an Optimal Probe Deployment for Network IDS
WANG Jing, NITTA Naoya, SEKI Hiroyuki
電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学
Event date： 2003.11
-
ネットワークの安全性を保証する分散型侵入検知システムの自動構成法
王静, 新田直也, 関浩之
電子情報通信学会技術研究報告, SS2003-31
Event date： 2003.11
-
An Extension of Pushdown System and Its Model Checking Method
NITTA Naoya, SEKI Hiroyuki
情報処理学会論文誌プログラミング(PRO)
Event date： 2003.10
Recently, in the field of model checking, many researches for infinite systems have been done. Particularly for pushdown systems and petri nets, there are good decidablity results on model checking. In this presentation, we define a class of transition systems which is an extension of pushdown systems as a subclass of TRS(term rewriting systems) and show that LTL (linear temporal logic) model checking problem for the class is decidable. Formulating pushdown systems as a subclass of TRS, we can extend the structure of stacks to tree structure. By this extension, it is expected that transition systems with richer data structure become verifiable.
-
Infinite State Model Checking and Its Application to Software Verification
Hiroyuki Seki, Naoya Nitta, Yoshiaki Takata, Sigeta Kuninobu
第2回クリティカルソフトウェアワークショップ(WOCS)予稿集, pp.20--22
Event date： 2003.3
-
A Verification Method for Distributed Policy Control
KUNINOBU Shigeta, NITTA Naoya, TAKATA Yoshiaki, SEKI Hiroyuki
Technical report of IEICE. SS
Event date： 2003.1
This paper proposes a formal semantics and a safety verification method for a policy controlled system. We provide an operational semantics of a Ponder-like policy specification language. Next, we present an abstraction method from a policy controlled system to a pushdown system, for which a model checking can be performed. We also show verification results conducted on our automatic verification tool.
-
プッシュダウンシステムの拡張およびそのモデル検査法
新田 直也, 関 浩之
情報処理学会プログラミング研究会, 2003-01 (2003、学会報告)
Event date： 2003.1
-
A Verification Method for Distributed Policy Control
Sigeta Kuninobu, Yoshiaki Takata, Naoya Nitta, Hiroyuki Seki
電子情報通信学会技術研究報告, SS2002-44
Event date： 2003.1
-
計量器組込みソフトウェアの仕様記述および検証事例
新田 直也, 高橋 孝一
第4回組込みシステム技術に関するサマーワークショップ (2002、学会報告)
Event date： 2002.11
-
An Efficient Security Verification Method for Programs with Stack Inspection.
NITTA Naoya, TAKATA Yoshiaki, SEKI Hiroyuki, Naoya Nitta, Yoshiaki Takata, Hiroyuki Seki, Graduate School of, Information, Science Nara, Institute of Science, Technology, Graduate School of, Information, Science Nara, Institute of Science, Technology, Graduate School of, Information, Science Nara, Institute of Science, Technology
コンピュータソフトウェア = Computer software
Event date： 2002.5
-
スタック検査を含むプログラムに対する効率のよいセキュリティ検証法
新田 直也, 高田 喜朗, 関 浩之
電子情報通信学会技術研究報告, SS2001-7 (2001、学会報告)
Event date： 2001.11
-
An Efficient Security Verification Method for Programs with Stack Inspection
NITTA Naoya, TAKATA Yoshiaki, SEKI Hiroyuki
Technical report of IEICE. SS
Event date： 2001.5
Stack inspection is a key technology for runtime access control of programs in a network environment. In this paper, a verification problem to decide whether a given program with stack inspection satisfies a given security property is discussed. We have already shown that the computational complexity of the problem is PSPACE-hard. Since this result implies the problem is computationally intractable in general, we introduce a practically important subclass of programs which exactly model programs containing checkPermission of Java development kit 1.2. We show that the time complexity of the problem for this subclass is linear in the size of a program.
-
Complexity of the Security Verification Problem for Programs with Stack Inspection
Naoya Nitta, Yoshiaki Takata, Hiroyuki Seki
第3回プログラミングおよびプログラム言語ワークショップ論文集 (PPL2001), pp.53--60
Event date： 2001.3
-
A Security Verification Method for Programs with Stack Inspection
IKADA Satoshi, NITTA Naoya, TAKATA Yoshiaki, SEKI Hiroyuki
Technical report of IEICE. ISEC
Event date： 2000.9
Java development kit 1.2 provides a runtime access control mechanism which inspects the control stack to check that the program has appropriate access permission. For such a programming language, it is desirable to guarantee that each execution of a program satisfies required security properties. Jensen et al. introduced a verification problem of deciding for a given program P and a given security property F written in a temporal logic formula, whether every reachable state of P satisfies F. They showed that the problem is decidable for the class of programs which do not contain mutual recursion. In this paper, it is shown that the set of state sequences (traces) of a program is always an indexed language and consequently the verification problem is decidable. Our result is stronger than Jensen's in that a security property can be specified as a regular language, whose expressive power is properly stronger than temporal logic, and a program can contain mutual recursion.
-
スタック検査機能を持つプログラムの制御フロー解析に基づくセキュリティ検証法
伊加田 恵志, 新田 直也, 高田 喜朗, 関 浩之
電子情報通信学会技術研究報告, ISEC2000-78
Event date： 2000.9
-
依存関係に基づく形式論理の提案とそのデータベース設計変更問題への適用
新田 直也, 関 浩之
日本ソフトウェア科学会 第16回大会論文集, D1-2, pp.37--40
Event date： 1999.9
-
Dependence Logic : A Logic for Software Design Modification
NITTA Naoya, SEKI Hiroyuki
Technical report of IEICE. SS
Event date： 1999.5
We propose a new logic called dependence logic, which can be used for a formal approch to software design modification. An important feature of dependence logic is that the logic uses dependences among higher order variables as the basic logical element, instead of functions and predicates. Using this feature makes it possible to define both a knowledge framework and knowledge itself. In this paper, we first define the syntax and semantics of dependence logic. A sound and complete axiomatization of the first-order dependence logic is presented. We also show that the first-order dependence logic can define an arbitrary general recursive function. An application of the logic to the database schema update problem is briefly discussed.
-
ソフトウェア設計変更支援のための依存論理の提案
新田 直也, 関 浩之
電子情報通信学会技術研究報告, SS99-1
Event date： 1999.5
-
Interactive 3D-VRML Viewer
Takemoto Satoshi, Amano Ryuhei, Taima Kenji, Nitta Naoya, Koyama Yukio, Kihara Noriaki
Proceedings of the IEICE General Conference
Event date： 1998.3
-
Desktop 3D Tool
Enomoto Tetsuya, Yamada Tsutomu, Koyama Yukio, Kihara Noriaki, Yamada Teruhiro, Amano Ryuhei, Takemoto Satoshi, Taima Kenji, Hiraoka Toshiko, Matsuda Takeharu, Shiono Kazuhiko, Nitta Naoya
PROCEEDINGS OF THE ITE ANNUAL CONVENTION
Event date： 1998
MPEGやQuickTimeVR, VRMLなどのデータを活用し, 簡単に立体マルチメディアソフトを制作できるデスクトップ3Dツールを開発した.本ツールにより, 従来, 時間とノウハウを要したインタラクティブな立体マルチメディアソフトの制作が容易に実現できる.