写真a

NITTA Naoya

Position

Associate Professor

Research Field

Software, Theory of informatics, Other

Graduating School 【 display / non-display

  •  
    -
    1991.03

    Osaka University   Faculty of Engineering   Graduated

Graduate School 【 display / non-display

  •  
    -
    2002.03

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

Campus Career 【 display / non-display

  • 2005.04
    -
    2010.03

    KONAN UNIVERSITYFaculty of Science and Engineering   Lecturer  

 

Research Career 【 display / non-display

  • Dynamic analysis for architecture comprehension

    (not selected)  

    Project Year: 2011.04  -   

  • An Approach for Guiding Architecture Design with Data Constraints

    (not selected)  

    Project Year: 2013.08  -   

  • Composite Refactoring for Decoupling Multiple Classes

    (not selected)  

    Project Year: 2014.08  -   

  • Interactive Feature Location Based on Constraints Regarding Feature Additions

    (not selected)  

    Project Year: 2016.08  -   

Published Papers 【 display / non-display

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

    Izuru Kume, Masahide Nakamura, Naoya Nitta

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

    Joint Work

  • Constraints Based Approach to Interactive Feature Location

    Daiki Fujioka, Naoya Nitta

    The 33rd IEEE International Conference on Software Maintenance and Evolution (ICSME 2017)     2017.09  [Refereed]

    Joint Work

    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.

  • Experiences of debugger-based architecture comprehension

    Naoya Nitta

    18th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2017)     2017.06  [Refereed]

    Single Work

    Architecture comprehension is crucial for appropriately maintaining, evolving and reusing large scale software. However, in an actual software development, architecture descriptions are often insufficient, obsoleted or at worst missing, and most of the maintenance tasks are performed without sufficient understanding of the architecture. While many techniques to extract architectural information from existing source code have been proposed to support architecture comprehension, debuggers are still powerful for more exact comprehension of architectures. However, a debugger-based comprehension task usually becomes complicated and cumbersome. In this paper, we study debugger-based manual comprehension processes of real-world architectures. Through the case studies, we found that manual comprehension processes are basically driven by backward tracking of runtime flow of multiple non-primitive objects and such tracking task is cumbersome and time-consuming when only a debugger is available. We expect that the experiences of the case studies will be beneficial to exploring a dynamic analysis approach which can support exact comprehension of architectures.

    DOI

  • A Formal Approach for Guiding Architectural Design with Data Constraints

    Naoya Nitta

    The 15th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2016)     2016.06  [Refereed]

    Single Work

    The data managed in a software system is often controlled to behave dependently. Basically, dependent parts of the data can be controlled through their internal connections. However in a real-world system, dependencies among the data and its required behaviors are generally complex and designing its internal structure and control mechanism to satisfy all requirements becomes challenging. To cope with the problem, in this paper, we present a formal approach to guide an architecture design process so that given execution scenarios can be satisfied through iterative refinement of constraints among the data. For case studies, we applied our approach to a customer management system and a 3D game framework, and confirmed that a valid architectural design guide can be obtained.

    DOI

  • Composite Refactoring for Decoupling Multiple Classes

    Yusuke Takahashi, Naoya Nitta

    IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016)     594 - 598   2016.03  [Refereed]

    Joint Work

    Abstract:
    An architecture level change of existing software requires tedious, error-prone and time-consuming tasks. However, current Integrated Development Environments (IDEs) do not support such high-level refactorings. In this paper, we present a scalable but simple composite refactoring for decoupling multiple classes. In addition, we introduce several primitive refactorings as components of the composite refactoring. The details of the results of applying our composite refactoring to an actual architectural change are also reported in this paper.

    DOI

display all >>

Conference Activities & Talks 【 display / non-display

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

    石谷涼, 新田直也

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

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

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

    藤岡 大樹, 新田 直也

    第194回ソフトウェア工学研究会  2016.11  -  2016.11  情報処理学会

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

    森岡 友樹, 新田 直也

    第190回ソフトウェア工学研究会  2015.12  -  2015.12  情報処理学会

  • データが動的に連動するソフトウェアの設計指針導出手法

    小林 謙太郎, 新田 直也

    第187回ソフトウェア工学研究会  2015.03  -  2015.03  情報処理学会

  • 複数クラスを横断する情報隠蔽を実現するリファクタリングフレームワーク

    高橋 祐介, 新田 直也

    第186回ソフトウェア工学研究会  2014.11  -  2014.11  情報処理学会

display all >>

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

  • Grant-in-Aid for Scientific Research(B)

    Project Year: 2003.04  -  2004.03