KUSHIRO Noriyuki

写真a

Title

Professor

Laboratory

680-4 Kawazu, Iizuka-shi, Fukuoka

Research Fields, Keywords

Embedded system engineering, Cyber physical system, Requirements Engineering

Scopus Paper Info  
Total Paper Count: 0  Total Citation Count: 0  h-index: 5

Citation count denotes the number of citations in papers published for a particular year.

Degree 【 display / non-display

  • The University of Tokyo -  Doctor of Engineering  2008.09

Biography in Kyutech 【 display / non-display

  • 2019.04
    -
    Now

    Kyushu Institute of TechnologyFaculty of Computer Science and Systems Engineering   Department of Computer Science and Networks   Professor  

  • 2016.04
    -
    Now

    Kyushu Institute of TechnologyAbolition organization   Information Science Center  

  • 2012.03
    -
    2019.03

    Kyushu Institute of TechnologyFaculty of Computer Science and Systems Engineering   Department of Creative Informatics   Professor  

 

Publications (Article) 【 display / non-display

  • Executable test case generation from specifications written in natural language and test execution environment

    Aoyama Y., Kuroiwa T., Kushiro N.

    2021 IEEE 18th Annual Consumer Communications and Networking Conference, CCNC 2021  ( IEEE )    2021.01  [Refereed]

     View Summary

    The Software Product Line Engineering (SPLE) realizes various products, reusing software parts, whereas issues remain in test case design and execution. Test cases are conventionally designed by a manual routine from specifications written in a natural language, and the routine and redesign of the test cases caused by the defects in the specification require much human time. Also, functions of recent consumer products are invoked in non-deterministic order by messages sent over a network, and combinations of software parts and execution orders require many regression tests, which are time-consuming and often infeasible to execute manually due to limited development time. Against the above issues, we introduce a test design process for specifications written in natural language, support tools for the process, and a test execution environment that automatically executes the non-deterministic tests to reduce the human time of both test case design and execution. Case studies confirmed that the proposing process automated the manual routine, removed defects in a specification, and generated test cases. The case studies also showed that the test execution environment automatically executed the non-deterministic tests for an HVAC system developed with the SPLE. Finally, we confirmed that the proposing methods shortened the human time of design and execution of tests.

    DOI Scopus

  • Visualizing schemes and logics among sentences in paragraph

    Kushiro N., Ogata Y., Aoyama Y.

    Procedia Computer Science    192   3030 - 3039   2021.01  [Refereed]

     View Summary

    Authors have been developing algorithms to extract sentences including logical relation of “implication” from specification documents, and have generated executable test program for validating software modules with model checking techniques for years, so as to decrease manufacturing costs in times of system testing. The sentences including the relation “implication” are the key for test case design, because these are regarded as statements of reasonings in the system specifications. The reasoning requires premises, constraints and design rationales, to reinforce reasoning process. The premises, constraints and design rationales are utilized to define test parameters and their range of value in the context of test case design. The sentences corresponding to premises, constraints and design rationales are very likely to be deployed in the same paragraph, where the sentence involving “implication” is included. We tried to visualize logical relations among sentences in a paragraph by focusing the key sentence including the relation “implication (→)” to help test engineers grasp logical scheme of the paragraph at a glance with natural language processing technique. The algorithms and tools for formalizing sentences in natural language and visualizing logical relations among them were developed in the study and applied to visualizing logical scheme for 747 summaries in the technical papers for the validation.

    DOI Scopus

  • Thermal Environment Simulator for Office Building with Multi-agent-Based Simulation Technique

    Murakami K., Mega T., Kushiro N.

    Lecture Notes in Networks and Systems    225 LNNS   424 - 435   2021.01  [Refereed]

     View Summary

    There is a growing interest to introduce split-ductless air conditioning systems into an office building both for realizing energy saving and comfort to office workers. Building energy management systems (BEMS) are expected to establish sophisticated controlling methods for the split-ductless air conditioning system. For creating the methods, simulators for thermal environment in a building are required. However, existing simulators necessitate a building information model (BIM) and huge amount of data for parameter tuning. Moreover, the existing simulators have difficulties to express spatial and temporal dynamics in each space in a building. The spatial and temporal dynamics in a space are indispensable for creating methods for controlling split-ductless air conditioning systems, because the systems independently manage devices dispersed in a room. A thermal environment simulator with multi-agent-based simulation (MAS) technique was proposed in the paper. The simulator can work without BIM and visualize spatial and temporal dynamics with limited numbers of parameters, which are easily obtained from BEMS. The simulator with MAS was implemented and applied to a field test in winter and summer seasons. As a result, high precision for reproducing spatial and temporal thermal dynamics was confirmed through the field test.

    DOI Scopus

  • Algorithm to Convert System Specification Written in Natural Language to Logical Description for Test Case Generation

    Yusuke Aoyama, Takeru Kuroiwa, Noriyuki Kushiro

    Transactions of Information Processing Society of Japan  ( Information Processing Society of Japan )  61 ( 3 ) 521 - 534   2020.03  [Refereed]

     View Summary

    In the system test case design, the last phase of development, input items and confirmation items for tests are extracted from a natural language specification, and test cases are created by assigning the items to concrete values. The specification written in a natural language often includes ambiguous logical relations among the items. Test designers create invalid test cases due to the misunderstanding of logical relations. In this research, we developed an algorithm that converted Japanese sentences of a specification to a semi-formal description. The semi-formal description describes the logical relations of the items with operators of the propositional logic to remove the ambiguities of the logical relations, and the wrong logical relations of the items are corrected by reviews on the semi-formal description. We also developed an algorithm that converted specification written in the semi-formal description to test cases in the form of the decision table to generate test cases without human-errors. The algorithms were applied to the Japanese specification of an electrical pot system for evaluation. We confirmed that the algorithm automatically converted the Japanese specification to the semi-formal description, which removed the ambiguities of the Japanese specification. We also confirmed the semi-formal description was converted to decision tables.

  • Emulation Technologies Streamline Testing of IoT Systems

    Kuroiwa Takeru, Aoyama Yusuke, Kushiro Noriyuki

    IEEJ Transactions on Electronics, Information and Systems  ( The Institute of Electrical Engineers of Japan )  140 ( 1 ) 113 - 121   2020.03  [Refereed]

     View Summary

    © 2020 The Institute of Electrical Engineers of Japan. In the development of the IoT systems, because it is necessary to test in various combinations, it takes much cost and time to execute tests for each combination and to analyze failures. In this paper, we have proposed a testing environment of the IoT systems to solve this issue. The proposed testing environment enables the IoT systems to work on the PC using the emulation technologies and testers can easily monitor inputs and outputs of each IoT device. The environment also automates combination tests and facilitates to manage the files for the automated test by managing functions to be tested and configurations to be tested separately. We have developed a prototype of the proposed testing environment for an air conditioning IoT system and verified that the environment had reduced the time to execute combination tests and to analyze failures.

    DOI Scopus CiNii

display all >>

Publications (Books) 【 display / non-display

  • 未来の売れ筋発掘学

    東京大学工学部 大澤・西原研究室 ( Joint Work )

    ダイヤモンド社  2010.08

  • Integrated Design Framework for Embedded GUI System

    ( Joint Work )

    2008.08

  • A Requirement Acquisition Process as an Evolved Chance Discovery

    ( Joint Work )

    2006.09

  • 冷凍空調便覧(第6版)制御システムの階層

    久代紀之 ( Joint Work )

    日本冷凍空調学会  2006.03

Conference Prsentations (Oral, Poster) 【 display / non-display

  • Extracting Latent Knowledge for Risk Perception with Eye Tracking Sensor and Risk Training Tool on Structured Knowledge for Risk Management

    Noriyuki Kushiro, Toshihiro Mega

    Human Interface21  (Sendai)  2021.09  -  2021.09  Society of Human Interface Society

     View Summary

    Fundamental issues in legacy risk trainings were discussed on data obtained through experiments by a tool with eye tracking sensor for totally 22 field overseers. Then, risk training tool on experts' structured risk knowledge with VR technologies was proposed on the discussion. Capability of the proposed tool was evaluated through risk trainings for 3 field overseers in detail. As a result, we confirmed that the tool succeeded in obtaining structured knowledge for risk perception and management, and the tool also contributed to build meta-knowledge (procedural knowledge) besides domain knowledge both for novices and experts.

  • 仕様書におけるパラグラフ内構成文の論理構造の可視化

    緒方佑亮、青山裕介、久代紀之

    情報処理学会 ソフトウェア工学研究会  (オンライン)  2021.03  -  2021.03  情報処理学会 ソフトウェア工学研究会

     View Summary

    システム開発の最終工程では品質を担保するためにシステム試験が実施される.システム試験には,テスト仕様書が必要であるが,テスト仕様書は,テスト設計者が自然言語で記述された仕様書を熟読し,記載された各文から,“テスト条件(パラメータを含む)⇒期待値”のタプルを抽出することで生成される.上記の抽出作業は人手で行われ,かつ,自然言語で記述された仕様書には,誤りや曖昧さが含まれるため,その修正・確認のため膨大な工数を必要とし,筆者らの調査によれば,600ページの仕様書で約700時間が必要となっていた.
    上記課題を解決するために,本研究では仕様書記載の各文を形式的な記述へ変換することで,自然言語で記述された仕様書内に発生する誤りや曖昧さの補完を促したのちに,各文の構造を視覚的に表現するために“条件⇒期待値”の論理包含関係を基準としてパラグラフ内構成文の論理構造の可視化ツールの開発を行った.

  • システム仕様書の形式化による漏れ・誤りの発見および修正支援

    若松大雅、青山裕介、久代紀之

    電子情報通信学会 研究会  (オンライン)  2021.01  -  2021.01  電子情報通信学会

  • 自然言語仕様書からのテストケースの自動生成-機能試験への品質試験ケースの追加支援ツール

    吉井亮介、青山裕介、久代紀之

    情報処理学会 組込みシステム研究会  2020.12  -  2020.12  情報処理学会

  • リスク制御のための現場知識—工事現場監督の視線と発話解析によるメタ・ドメイン知識の抽出

    久代紀之、妻鹿利宏、西永航志郎、住吉恵弥、青山裕介

    情報処理学会研究会  (静岡大学)  2020.03  -  2020.03  情報処理学会

display all >>