写真a

NITTA Naoya

Position

Associate Professor

Homepage URL

http://silverbullet.is.konan-u.ac.jp/

Mail Address

E-mail address

External Link

Graduating School 【 display / non-display

  • Osaka University   Faculty of Engineering   Graduated

    - 1991.3

Graduate School 【 display / non-display

  • Nara Institute of Science and Technology   Graduate School, Division of Information Science   Doctor's Course   Completed

    - 2002.3

Campus Career 【 display / non-display

  • KONAN UNIVERSITY   Faculty of Intelligence and Informatics   Faculty of Intelligence and Informatics Department of Intelligence and Informatics   Associate Professor

    2010.4

  • KONAN UNIVERSITY   Faculty of Science and Engineering   Lecturer

    2005.4 - 2010.3

External Career 【 display / non-display

  • 奈良先端科学技術大学院大学 情報科学研究科

    2002.4 - 2005.3

      More details

    Country:Japan

 

Research Career 【 display / non-display

  • Dynamic analysis for architecture comprehension

    (not selected)  

    Project Year: 2011.4  -   

  • An Approach for Guiding Architecture Design with Data Constraints

    (not selected)  

    Project Year: 2013.8  -   

  • Composite Refactoring for Decoupling Multiple Classes

    (not selected)  

    Project Year: 2014.8  -   

  • Interactive Feature Location Based on Constraints Regarding Feature Additions

    (not selected)  

    Project Year: 2016.8  -   

Papers 【 display / non-display

  • A Method to Comprehend Feature Dependencies Based on Semi-Static Structures Reviewed

    Narumasa Kande and Naoya Nitta

    Proceedings of IEEE 37th International Conference on Software Maintenance and Evolution (ICSME 2021)   2021.10

     More details

    Authorship:Last author, Corresponding author  

  • Delta extraction: An abstraction technique to comprehend why two objects could be related Reviewed

    Naoya Nitta, Tomohiro Matsuoka

    IEEE 31st International Conference on Software Maintenance and Evolution (ICSME 2015)   61 - 70   2015.9

     More details

    Joint Work

    Authorship:Lead author  

    Abstract:
    In an execution of a large scale program, even a simple observable behavior may be generated by a wide range of the source code. To comprehend how such a behavior is implemented in the code, a debugger would be helpful. However, when using a debugger, developers often encounter several types of cumbersome tasks and are often confused by the huge and complicated runtime information. To support such a debugger-based comprehension task, we propose an abstraction technique of runtime information, named delta, and present a delta extraction and visualization tool. Basically, a delta is defined for two linked objects in an object-oriented program's execution. It intuitively represents the reason why these objects could be related in the execution, and it can hide the details of how these objects were related. We have conducted experiments on four subject tasks from two real-world systems to evaluate how appropriately an extracted delta can answer the `why' question and how long the tool can reduce the working time to answer the question. The results show that each delta can successfully answer the question and a tens-of-minutes to one-hour debugger-based task can be reduced by extracting a delta.

    DOI: 10.1109/ICSM.2015.7332452

  • Identifying Mandatory Code for Framework Use via a Single Application Trace Reviewed

    Naoya Nitta, Izuru Kume, Yasuhiro Takemura

    The 28th European Conference on Object-Oriented Programming (ECOOP 2014)   593 - 617   2014.8

     More details

    Joint Work

    Authorship:Lead author  

    Application frameworks allow application developers to effectively reuse both designs and implementations which frequently appear in their intended domains. However, when using a framework with large scale APIs, its usage to implement an application-specific behavior tends to be complicated. Thus, in practice, application developers use existing sample application code as references for their development, but the task to locate the parts which are related to their application usually becomes a burden. To address this problem, in this paper, we characterize the problem as a kind of dynamic flow analysis problem, and based on the characterization, we present a method to automatically identify the mandatory code for the framework use using only a single sample application's trace. We have conducted case studies with several real-world frameworks to validate our method and the results indicate that the method is suitable to extract the mandatory framework usage.

    DOI: 10.1007/978-3-662-44202-9_24

  • Revealing Implicit Correspondence between Bytecode Instructions and Expressions Determined by Java Compilers Reviewed

    Izuru Kume, Masahide Nakamura, Naoya Nitta

    Proc. of the 25th Australasian Software Engineering Conference (ASWEC)   126 - 130   2018.11

     More details

    Joint Work

  • Constraints Based Approach to Interactive Feature Location Reviewed

    Daiki Fujioka, Naoya Nitta

    Proceedings - 2017 IEEE International Conference on Software Maintenance and Evolution, ICSME 2017   499 - 503   2017.11

     More details

    Joint Work

    Publisher:Institute of Electrical and Electronics Engineers Inc.  

    Feature location is a maintenance task to identify the implementation of a feature within the source code. To automate or support the task, extensive studies have been conducted on feature location techniques. In this paper, we focus on certain static and dynamic constraints regarding feature additions to object-oriented programs, and construct an interactive feature location procedure based on the constraints. We manually conducted a case study for several features of a real-world program on the assumption that the user always correctly answers the questions asked by the procedure. The results show that over 75% of the feature's implementation could be efficiently covered by the procedure with relatively small number of execution traces.

    DOI: 10.1109/ICSME.2017.55

    researchmap

display all >>

Presentations 【 display / non-display

  • オンラインおよびオフライン動的解析プラットフォームの開発とそのオブジェクトフロー解析への応用

    石谷涼, 新田直也

    第202回ソフトウェア工学研究発表会  (小樽経済センター)  情報処理学会

     More details

    Event date: 2019.7

    ソフトウェア工学のさまざまな分野において動的解析技術が用いられている.動的解析とは, プロ
    グラムの実行時の情報を収集し解析を行うプログラム解析技術で, 解析対象となるプログラムの実行終了
    後に解析を行うオフライン解析と, 実行の途中でそれまでに収集された情報の解析を行うオンライン解析
    に分類することができる. 本稿では, オンラインおよびオフライン解析ツールの開発支援を目的として本研
    究室で開発した動的解析プラットフォームの紹介を行う. また, 本プラットフォームを利用してJava プロ
    グラムを対象としたオブジェクトフロー解析ツールを開発したので報告する.

  • Failure Materialization for Cognitive Analysis of Debugging Maintainers

    久米 出, 中村 匡秀, 新田 直也, 柴山 悦哉

    日本ソフトウェア科学会大会論文集 

     More details

    Event date: 2017.9

    researchmap

  • オブジェクト指向プログラムの性質に基づく対話的機能抽出手法の提案

    藤岡大樹, 新田直也

     More details

    Event date: 2016.11

    researchmap

  • A Case Study for Qualitative Analysis of Diagnosing in Program Debugging

    久米 出, 中村 匡秀, 田中 康之, 新田 直也, 柴山 悦哉

    日本ソフトウェア科学会大会論文集 

     More details

    Event date: 2016.9

    researchmap

  • 影響波及を考慮したフレームワークアプリケーションの障害位置特定手法

    森岡友樹, 新田直也

     More details

    Event date: 2015.12

    researchmap

display all >>

Industrial property rights 【 display / non-display

  • 情報隠蔽装置、情報隠蔽方法、情報隠蔽プログラム、およびコンピュータ読み取り可能な記録媒体

    新田直也

     More details

    Application no:特願2005-12133

    Announcement no:特願2005-12133

    Patent/Registration no:特願2005-12133

    Country of applicant:Domestic  

Works 【 display / non-display

  • AR落書きアプリgARffiti

    本郷亜季, 新田直也

    2019.6

     More details

    Work type:Software

    AR技術を体験を通して知ることができるアプリケーションとして, 現実空間内の水平面・垂直面に仮想的に落書きができるスマホアプリgARffitiの開発を行った.

  • なんぼーくん川渡パズル用人工知能

    Nitta Lab., Konan

    2015.9

     More details

    Work type:Software

    甲南大学のキャラクターであるなんぼー君を主人公とした川渡パズルゲームを人工知能に解かせるアンドロイドアプリ。

  • なんぼーくん川渡パズルゲーム

    Nitta Lab., Konan

    2015.9

     More details

    Work type:Software

    甲南大学のキャラクターであるなんぼー君を主人公とした川渡パズルゲームのアンドロイドアプリ。

Academic Awards Received 【 display / non-display

  • 日本ソフトウェア科学会 2007年度論文賞授賞

    2007.6   日本ソフトウェア科学会  

    新田直也

  • 情報処理学会 平成15年度山下記念研究賞

    2003.7   情報処理学会   

    新田直也

Grant-in-Aid for Scientific Research 【 display / non-display

  • 項書換え系を対象としたモデル検査手法に関する研究

    2003.4 - 2004.3

    JSPS Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research(B)

      More details

    モデル検査法と項書換え系の理論を融合し,一般に無限の状態空間を持つソフトウェアに対しても自動検証できるようモデル検査法を理論的に拡張することを目指す.

Joint and Contract research activities (Public) 【 display / non-display

  • ソフトウェア開発・保守作業支援のための実証的研究

    Offer organization:東京コンピュータサービス株式会社  Domestic Joint Research

    2013.4

      More details

    ソフトウェアの開発および保守工程において発生する膨大な作業を支援するため、現在、さまざまな研究が進められている。しかしながらそれらの研究の多くは、

    1. 研究機関では、研究成果を実証できるような実践的な開発プロジェクトを実施することが困難である
    2. 研究機関では、研究成果を使いこなせるような一定レベルの技術者を一定数確保することが困難である

    などの理由により、研究成果の有効性の厳密な検証が行われていないのが現状である。
     そこで本研究では、大学とソフトウェア開発企業が連携をすることによって、大学における研究成果の厳密な実証実験を行うことを目指す。

Preferred joint research theme 【 display / non-display

  • アーキテクチャの動的側面に関する評価・解析の実証的研究

  • アーキテクチャレベルのリファクタリングに関する実証的研究

  • 動的解析技術を用いた大規模ソフトウェア理解に関する実証的研究

  • アプリケーションフレームワークの利用支援に関する研究

 

Committee Memberships 【 display / non-display

  • 2016.4   情報処理学会  ソフトウェアエンジニアリング教育委員会

  • 2009.4 - 2011.3   情報処理学会  ソフトウェア工学研究会 運営委員

Social Activities 【 display / non-display

  • 文部科学省 成長分野を支える情報技術人材の育成拠点の形成(enPiT) ビッグデータ・AI分野 運営委員

    2016.4

     More details

    文部科学省のプロジェクト「成長分野を支える情報技術人材の育成拠点の形成(enPiT)」のビッグデータ・AI分野の運営委員会に、甲南大学の代表として参加し、教育活動を行っている。

  • 甲南高校模擬講義

    2007.4

     More details

    ソフトウェア開発に関する模擬講義を毎年一回づつ行っている。