研究者詳細 - 森崎　修司

論文 - 森崎　修司

分割表示 82 件中 1 - 20 件目／全件表示 >>

Efficient validation process of architecture designs based on customer needs for earth observation constellation satellite systems 査読有り

H. Umeda, T. Kobayashi, S.Takatsuki, Y. Ueda, S. Morisaki

Proceedings of the 10th IEEE International Symposium on Systems Engineering 頁： 1 - 10 2024年10月

Extended Association Rule Mining and Its Application to Software Engineering Data Sets 査読有り

H. Saito, K. Nishiura, A. Monden, S. Morisaki

International Journal of Software Engineering and Knowledge Engineering 0 巻 ( 0 ) 頁： 1 - 22 2024年8月

LAPACKを用いた固有値計算におけるテストシーケンスの最適化

樫村寛大,森崎修司,片桐孝洋,河合直聡,永井亨,星野哲也

第86回情報処理学会全国大会 5K-02 巻頁： 1 - 2 2024年3月

Assessing Critical Adaptations in Automated Adaptive Software Systems by Stage Decomposition 招待有り査読有り

S. Morisaki, M. Wakimoto, N. Kasai

IEEE Access 12 巻頁： 17859 - 17875 2024年2月

担当区分：筆頭著者,　責任著者記述言語：英語掲載種別：研究論文（学術雑誌）出版者・発行元：IEEE Access

In environments involving a variety of connected devices and systems, there is an ever-increasing demand for automated adaptation. To ensure that all threats are identified and manageable in such environments, quality assurance activities including testing and inspections in design-time should focus on assessing the reliability of critical adaptations, which may threaten life, economic property, or important information. This work proposes an approach for identifying and evaluating critical adaptations on the basis of their automation level, reliability, detectability, and recoverability by decomposing adaptations into four stages: monitor, analyze, plan, and execute. This work also empirically evaluates the effectiveness of the proposed approach by assessing a real safety-critical telecommunication system with critical adaptation features and comparing the results with the STAMP (System Theoretic Accident Model and Processes)/STPA (System-Theoretic Process Analysis) approach. The results of the evaluation indicated that the proposed approach could assess critical adaptation features provided by the system with reasonable effort. Additionally, structured views provided by the proposed approach enable efficient quality assurance activities. In the evaluation, the proposed approach achieves similar results to the STAMP/STPA approach but requires 33% less effort.

DOI： 10.1109/ACCESS.2024.3360275

Web of Science

Scopus

STAMP/STPAとイベントシーケンス図を用いた複数コントローラが協調するシステムにおけるハザード対策の検討支援手法の提案査読有り

髙附翔馬,梅田浩貴,植田泰士氏, 片平真史, 森崎修司

ソフトウェア品質シンポジウム2023発表報文集頁： 1 - 8 2023年9月

Identifying Defect Injection Risks from Analysis and Design Diagrams: An Industrial Case Study at Sony 査読有り

Y. Imanishi, K. Kumon, S. Morisaki

2023 IEEE/ACM 45th International Conference on Software Engineering, ICSE-SEIP 頁： 420 - 431 2023年5月

担当区分：最終著者,　責任著者記述言語：英語掲載種別：研究論文（国際会議プロシーディングス）出版者・発行元：Proceedings - International Conference on Software Engineering

Identifying the origins of potentially injected defects in implementation activities during requirement analysis and design activities is challenging, but leads to the prevention of defects, which are burdensome to correct. This study investigates whether such defect injection risks can be generalized and defined by risk occurrence conditions of the objects in the existing analysis and design diagrams and whether the defined defect injection risks are applicable to other analysis and design diagrams. Specifically, we identify defect categories, which are injected after analysis and design activities and subsequently detected during system testing of commercial products developed at Sony. Then, regarding the defect categories as the exposed defect injection risks, we define defect injection risks with the objects defined in the analysis and design diagrams of the products. Each defect injection risk consists of risk description, diagram type, and occurrence conditions of objects in the diagrams. Afterwards, we evaluate whether the defined defect injection risks appear in the analysis and design diagrams of three different products under development and five publicly available analysis and design diagrams. The results showed that three defect injection risks were defined and that the two risks appear in the analysis and design diagrams of the three products and the remaining one appears in the analysis and design diagrams of two products. The results also showed that one defect injection risk is present in all five publicly available analysis and design diagrams, and two risks appear in four of the diagrams. The three defect injection risks are general enough to identify risks in analysis and design diagrams from other domains. Developers can be more cautious about the risks and prevent defect injections with the defect injection risks.

DOI： 10.1109/ICSE-SEIP58684.2023.00044

Web of Science

Scopus

探索的テストの「気づき」に基づきプロダクトバックログの書き方の改善点を導出する手法査読有り

谷﨑浩一,田上諭,森龍二,蛭田恭章,森崎修司

ソフトウェアプロセス改善カンファレンス 2022 2022年10月

STAMP/STPAとシーケンス図を用いたコントローラ間の相互作用があるシステムにおける安全設計手法の提案査読有り

髙附翔馬,梅田浩貴 ,植田泰士, 片平真史,森崎修司

ソフトウェア品質シンポジウム2022 発表報文集頁： 1 - 8 2022年9月

A Metric for Questions and Discussions Identifying Concerns in Software Reviews 査読有り

Michiyo Wakimoto,Shuji Morisaki

MDPI Software 1 巻 ( 3 ) 頁： 364 - 380 2022年8月

サイバーフィジカルシステムのシミュレーションテストの属性を用いたdefect-proneモジュール予測

塚本悠乃,森崎修司

日本ソフトウェア科学会第 39 回大会 (2022 年度) 講演論文集頁： 1 - 6 2022年8月

Goal-Oriented Software Design Reviews 査読有り

Wakimoto Michiyo, Morisaki Shuji

IEEE ACCESS 10 巻頁： 32584 - 32594 2022年3月

記述言語：日本語掲載種別：研究論文（学術雑誌）出版者・発行元：IEEE Access

Some software requirements are omitted or ambiguous depending on the design context, although these requirements would not necessarily be omitted or ambiguous when viewed as requirements alone. The design context sometimes causes inconsistencies among implementations that realize the same requirement. Existing detection and analysis methods do not limit evaluation of review materials to implementations of context-dependent design. An evaluation technique that limits the evaluated parts to the parts describing context-dependent design implementations is expected to be efficient. This paper proposes a method for detecting inconsistent implementations (context-dependent requirement defects) caused by context-dependent requirement omissions and ambiguities in design reviews. The proposed method defines goal-oriented check items for design review using a goal tree obtained by goal-oriented requirements analysis. Reviewers use the goal-oriented check items to detect inconsistent implementations that realize the same requirement. This paper also evaluates the proposed method through a case study. The results of the case study showed that the proposed method defined five goal-oriented check items and that reviewers detected 24 context-dependent requirement defects with goal-oriented check items. The results also showed that the sum of the estimated additional effort to define goal-oriented check items and perform design reviews with goal-oriented check items was 19.6 person-hours. Furthermore, the results showed that an engineer with general skills and knowledge of software development but without system-specific skills and knowledge could define a goal tree and the corresponding goal-oriented check items.

DOI： 10.1109/ACCESS.2022.3161545

Web of Science

Scopus

過去のテスト目的を利用した仕様レビュー手法

谷崎浩一, 田上諭, 蛭田恭章, 森龍二, 森崎修司

情報処理学会研究報告ソフトウェア工学 2022-SE-210 巻頁： 1 - 8 2022年3月

IoT Security-Quality-Metrics Method and Its Conformity with Emerging Guidelines 査読有り

Kosuke Ito, Shuji Morisaki, Atsuhiro Goto

Journal on Internet of Things (IoT) 2 巻 ( 4 ) 頁： 761 - 785 2021年12月

Test Case Design Method for Verification of Robustness in Embedded Systems 査読有り

Hiroki Umeda, Kazuhiro Oguchi, Shuji Morisaki

Proceedings of 11th International Association for the Advancedment of Space Safety 頁： 1 - 8 2021年10月

閉ループ制御システムに対する異常シナリオ分析のための情報検索査読有り

小口一浩, 梅田浩貴, 植田泰士, 片平真史, 森崎修司

ソフトウェア品質シンポジウム2021発表報文集頁： 1 - 8 2021年9月

ソフトウェアドキュメントとバグ報告における単語の出現数比較と共起によるバグ集中箇所の予測査読有り

山内泉水,森崎修司

ソフトウェアエンジニアリングシンポジウム2021論文集頁： 167 - 174 2021年9月

Automated detection of game loop implementation by the nest depth and number of iterations

MORISAKI Shuji, KANAMORI Koyo

コンピュータソフトウェア 38 巻 ( 2 ) 頁： 2_46 - 2_52 2021年5月

記述言語：日本語出版者・発行元：日本ソフトウェア科学会

<p>Game loops in the existing source code must be identified prior to updating, adding, or modifying game rules or game objects in games software. This paper proposes a static analysis method predicting game loop candidates with likelihood ranks by focusing on the characteristics of game loops. The proposed method is evaluated with ten publicly available games in Github. For eight of the games, actual game loops were predicted: five had an actual game loop listed at the top of the candidates, while the other three had an actual game loop within the top 11 results.</p>

DOI： 10.11309/jssst.38.2_46

Scopus

An Evaluation of Value-Oriented Review for Software Requirements Specification

Zhi Qiang, Morisaki Shuji

COMPUTER SYSTEMS SCIENCE AND ENGINEERING 37 巻 ( 3 ) 頁： 443 - 461 2021年3月

記述言語：日本語出版者・発行元：Computer Systems Science and Engineering

A software requirements specification (SRS) is a detailed description of a software system to be developed. This paper proposes and evaluates a lightweight review approach called value-oriented review (VOR) to detect defects in SRS. This approach comprises setting core values based on SRS and detecting the defects disturbing the core values. To evaluate the effectiveness of the proposed approach, we conducted a controlled experiment to investigate whether reviewers could identify and record the core values based on SRS and find defects disturbing the core values. Results of the evaluation with 56 software engineers showed that 91% of the reviewers identified appropriate core values and 82% of the reviewers detected defects based on the identified core values. Furthermore, the average number of defects detected using the proposed approach was slightly smaller than that detected using perspective-based reading (PBR); however, PBR requires defining review scenarios before attempting to detect any defects. The results also demonstrated that the proposed approach helped reviewers detect the omission defects, which are more difficult to detect from SRS than defects because of ambiguity or incorrect requirements.

DOI： 10.32604/csse.2021.015157

Web of Science

Scopus

An Evaluation of Value-Oriented Review for Software Requirements Specification 査読有り国際共著

Q. Zhi, S. Morisaki

Computer Systems Science and Engineering 37 巻 ( 3 ) 頁： 443 - 461 2021年3月

ソフトウェアドキュメントとバグ報告における単語の出現数比較によるバグ集中箇所の予測

山内泉水, 森崎修司

情報処理学会研究報告ソフトウェア工学 2021-SE-207 巻 ( 29 ) 頁： 1 - 8 2021年3月

　前のページ - 次のページ　

<森崎 修司>

論文 - 森崎 修司

<森崎　修司>

論文 - 森崎　修司