JP6607565B2 - セーフティクリティカルソフトウェアのための統合された自動テストケース生成 - Google Patents
セーフティクリティカルソフトウェアのための統合された自動テストケース生成 Download PDFInfo
- Publication number
- JP6607565B2 JP6607565B2 JP2015236197A JP2015236197A JP6607565B2 JP 6607565 B2 JP6607565 B2 JP 6607565B2 JP 2015236197 A JP2015236197 A JP 2015236197A JP 2015236197 A JP2015236197 A JP 2015236197A JP 6607565 B2 JP6607565 B2 JP 6607565B2
- Authority
- JP
- Japan
- Prior art keywords
- model
- test
- module
- type
- test case
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Fee Related
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
- G06F11/3672—Test management
- G06F11/3684—Test management for test design, e.g. generating new test cases
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/70—Software maintenance or management
- G06F8/77—Software metrics
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
- G06F11/3672—Test management
- G06F11/3676—Test management for coverage analysis
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
- G06F11/3672—Test management
- G06F11/3688—Test management for test execution, e.g. scheduling of test suites
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Software Systems (AREA)
- Debugging And Monitoring (AREA)
- Stored Programmes (AREA)
Description
102 システム要件
104 仕様モデル
106 要件ベース自動テストケース生成モジュール、テストケースモジュール
107 テストケースモジュール
108 設計モデル
110 テストケースモジュール
112 ソースコードモジュール
114 実行可能オブジェクトコードモジュール
116 顧客検証モジュール
118 形式的要件解析モジュール
124 構造カバレッジ解析モジュール
200 処理
302 変換コンピュータモジュール
304 テストケース
306 テスト基準
308 モデルカバレッジ
310 テスト目標
312 コンバータモジュール
314 生成器コンピュータモジュール
316 モデルチェックモジュール
318 制約解決モジュール
320 可到達性解決モジュール
400 中間モデル
401 第1の遷移
402 計算パス、遷移
403 遷移
404 遷移
405a パス
405b パス
500 テスト目標
502 論理表現
600 サブグラフ
700 処理
802 パス
900 ユーザインターフェース
902 「モデル選択」ボタン
904 テスト型ウィンドウ
906 「テスト生成」ボタン
1000 結果ウィンドウ
1002 テスト・ケース・ファイル
1004 「選択ファイルを開く」ボタン
1006 実行状態ウィンドウ
1100 テストケース
1102 関連要件
1104 (入力)変数
1106 期待出力
1200 自動テストケース生成処理プラットフォーム
1210 テストケース生成プラットフォームプロセッサ、ハードウェアプロセッサ
1212 プログラム
1214 自動テストケース生成処理ロジック
1220 通信デバイス
1230 メモリ/ストレージデバイス
1240 入力デバイス
1250 出力デバイス
Claims (20)
- システム(100)であって、
ユーザと通信して、テストケース生成モジュール(106)のためのモデルと関連づけられた1つまたは複数の要件(102)を取得するよう動作する通信デバイス(1220)と、
前記モデルを受信し、前記モデルを格納し、中間モデル(400)を生成するための変換コンピュータモジュール(302)と、
前記中間モデル(400)を受信し、前記中間モデル(400)を格納し、少なくとも1つのテストケースを生成するための生成器コンピュータモジュール(314)と、
プログラム命令を格納するためのメモリと、
前記メモリに結合されて、前記変換コンピュータモジュール(302)および前記生成器コンピュータモジュール(314)と通信して、
さらに前記変換コンピュータモジュール(302)を実行することによる前記モデルの中間モデル(400)への変換、
前記生成器コンピュータモジュール(314)を実行することによる前記中間モデル(400)の解析に基づく前記中間モデル(400)と関連づけられたモデル型の識別、
前記生成器コンピュータモジュール(314)を実行することによる前記識別されたモデル型の解析に基づくテスト生成方法の選択、および
ソフトウェア検証および検査で使用するための
少なくとも1つのテストケースの生成のためのプログラム命令を実行するよう動作する少なくとも1つのテストケース生成プラットフォームプロセッサ(1210)と
を備える、システム。 - 前記モデルは、仕様モデル(104)および設計モデル(108)の一方である、請求項1に記載のシステム。
- 各要件(102)は、1つまたは複数の入力変数(1104)、および1つまたは複数の出力変数を含む、請求項1に記載のシステム。
- 前記少なくとも1つの生成されたテストケースは、前記要件(102)の記述、入力変数(1104)のセット、および期待出力(1106)のセットを含み、期待出力(1106)の前記セットは、前記1つまたは複数の出力変数に基づく、請求項3に記載のシステム。
- 前記モデル型は、記号変数モデル型、実数モデル型、非線形演算モデル型、およびフィードバック・ループ・モデル型の少なくとも1つである、請求項1に記載のシステム。
- 前記中間モデル(400)は、前記少なくとも1つのモデルから、関連したサンプリング時間ごとに、1つまたは複数の挙動を保存する、請求項1に記載のシステム。
- 前記変換コンピュータモジュール(302)は、前記少なくとも1つのモデルの1つまたは複数の計算シーケンスを、前記中間モデル(400)における1つまたは複数の計算パス(402)にマッピングする、請求項6に記載のシステム。
- 1つまたは複数のテスト基準(306)を、1つまたは複数のテスト目標(310)に変換するよう動作するコンバータモジュール(312)をさらに備え、各テスト目標(310)が、テスト目標パスと関連づけられる、請求項7に記載のシステム。
- 前記1つまたは複数のテスト目標(310)が、前記中間モデル(400)に添付される、請求項8に記載のシステム。
- 前記計算パス(402)が、モデル挙動を記述し、前記テスト目標パスが、テスト目標(310)を記述する、請求項9に記載のシステム。
- 前記生成器コンピュータモジュール(314)が、前記計算パス(402)および前記テスト目標パスに基づいて、1つまたは複数のパス制約および1つまたは複数のデータを含む表を生成するよう動作する、請求項8に記載のシステム。
- 前記生成器コンピュータモジュール(314)が、前記中間モデル(400)における計算の前記型を識別するよう動作する、請求項11に記載のシステム。
- 前記生成器コンピュータモジュール(314)が、モデルチェックモジュール(316)、制約解決モジュール(318)、および可到達性解決モジュール(320)の1つを選択し、前記中間モデル(400)に適用し、前記計算型に基づいてテストケースを生成するよう動作する、請求項12に記載のシステム。
- 前記中間モデル(400)が、所与の目標と関連づけられた前記中間モデル(400)の一部のみを含むよう削減される、請求項1に記載のシステム。
- 方法であって、
テストケースを生成するためのモデルと関連づけられた1つまたは複数の要件(102)を受信するステップと、
変換コンピュータモジュール(302)の実行により前記モデルを中間モデル(400)に変換するステップと、
生成器コンピュータモジュール(314)の実行による前記中間モデル(400)の解析に基づいて前記中間モデル(400)と関連づけられたモデル型を識別するステップと、
前記生成器コンピュータモジュール(314)の実行による前記識別されたモデル型に基づいてテスト生成方法を選択するステップと、
ソフトウェア検証および検査で使用するための少なくとも1つのテストケースを生成するステップと
を備える、方法。 - 前記モデル型は、記号変数モデル型、実数モデル型、非線形演算モデル型、およびフィードバック・ループ・モデル型の少なくとも1つである、請求項15に記載の方法。
- 前記モデルは、仕様モデル(104)および設計モデル(108)の一方である、請求項15に記載の方法。
- 1つまたは複数のテスト基準(306)を、1つまたは複数のテスト目標(310)に変換するステップをさらに備える、請求項15に記載の方法。
- 前記中間モデル(400)における計算の型を判断するステップをさらに備える、請求項15に記載の方法。
- モデルチェックモジュール(316)、制約解決モジュール(318)、および可到達性解決モジュール(320)の1つを選択し、前記中間モデル(400)に適用し、前記計算型に基づいてテストケースを生成するステップをさらに備える、請求項19に記載の方法。
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US14/565,907 | 2014-12-10 | ||
US14/565,907 US10108536B2 (en) | 2014-12-10 | 2014-12-10 | Integrated automated test case generation for safety-critical software |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2016119075A JP2016119075A (ja) | 2016-06-30 |
JP6607565B2 true JP6607565B2 (ja) | 2019-11-20 |
Family
ID=54770851
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2015236197A Expired - Fee Related JP6607565B2 (ja) | 2014-12-10 | 2015-12-03 | セーフティクリティカルソフトウェアのための統合された自動テストケース生成 |
Country Status (6)
Country | Link |
---|---|
US (1) | US10108536B2 (ja) |
EP (1) | EP3032425B1 (ja) |
JP (1) | JP6607565B2 (ja) |
CN (1) | CN105701008B (ja) |
BR (1) | BR102015030798A2 (ja) |
CA (1) | CA2913884A1 (ja) |
Families Citing this family (25)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US9747079B2 (en) * | 2014-12-15 | 2017-08-29 | General Electric Company | Method and system of software specification modeling |
US10346140B2 (en) * | 2015-08-05 | 2019-07-09 | General Electric Company | System and method for model based technology and process for safety-critical software development |
US9792204B2 (en) * | 2016-02-02 | 2017-10-17 | General Electric Company | System and method for coverage-based automated test case augmentation for design models |
US10248552B2 (en) * | 2016-07-20 | 2019-04-02 | International Business Machines Corporation | Generating test scripts for testing a network-based application |
US10642720B2 (en) * | 2016-09-15 | 2020-05-05 | Talend, Inc. | Test case generator built into data-integration workflow editor |
US10120785B2 (en) * | 2016-10-21 | 2018-11-06 | Rosemount Aerospace Inc. | Automatic generation of data coupling and control coupling test conditions |
US20180165180A1 (en) * | 2016-12-14 | 2018-06-14 | Bank Of America Corporation | Batch File Creation Service |
CN108664381B (zh) * | 2017-03-27 | 2021-04-06 | 腾讯科技(深圳)有限公司 | 测试方法及装置 |
US10223248B2 (en) * | 2017-05-15 | 2019-03-05 | Bank Of America Corporation | Conducting automated software testing using centralized controller and distributed test host servers |
US10489287B2 (en) | 2017-05-15 | 2019-11-26 | Bank Of America Corporation | Conducting automated software testing using centralized controller and distributed test host servers |
EP3762927A4 (en) * | 2018-03-07 | 2021-09-29 | Siemens Industry Software Ltd. | PROCESS AND SYSTEM FOR AUTOMATIC CREATION OF WORK INSTRUCTIONS |
CN111382055B (zh) * | 2018-12-29 | 2023-09-15 | 贝壳技术有限公司 | 一种基于统一描述语言的自动化单元测试方法及装置 |
US10644954B1 (en) | 2019-05-10 | 2020-05-05 | Capital One Services, Llc | Techniques for dynamic network management |
KR20210004656A (ko) * | 2019-07-05 | 2021-01-13 | 현대자동차주식회사 | 차량 기능 테스트 장치 및 그 제어 방법 |
CN112799649B (zh) * | 2020-06-15 | 2023-09-12 | 中兴通讯股份有限公司 | 代码构建方法、装置、设备和存储介质 |
CN112000557B (zh) * | 2020-07-16 | 2023-09-12 | 浙江众合科技股份有限公司 | 轨道交通信号系统自动化测试装置 |
CN111814906B (zh) * | 2020-07-23 | 2023-07-11 | 上海东普信息科技有限公司 | 快递面单识别模型移植方法、装置、设备及存储介质 |
US11200069B1 (en) | 2020-08-21 | 2021-12-14 | Honeywell International Inc. | Systems and methods for generating a software application |
CN112328226B (zh) * | 2020-09-17 | 2022-03-04 | 北京中数科技术有限公司 | 一种嵌入式系统自动化测试代码生成方法及装置 |
EP3989073A1 (en) * | 2020-10-20 | 2022-04-27 | Rosemount Aerospace Inc. | Automated test vector generation |
EP4050489A1 (en) * | 2021-02-24 | 2022-08-31 | The Boeing Company | Automatic generation of integrated test procedures using system test procedures |
JP7487135B2 (ja) | 2021-03-29 | 2024-05-20 | 株式会社日立製作所 | 工数算出支援装置及び工数算出支援方法 |
EP4075282A1 (en) * | 2021-04-16 | 2022-10-19 | Siemens Aktiengesellschaft | Automated verification of a test model for a plurality of defined bdd test scenarios |
CN113434388B (zh) * | 2021-06-02 | 2022-04-05 | 华东师范大学 | 一种模型驱动的事务型数据库测试案例生成系统及方法 |
CN115952758B (zh) * | 2023-03-10 | 2023-05-23 | 成都登临科技有限公司 | 芯片验证方法、装置、电子设备及存储介质 |
Family Cites Families (39)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5390325A (en) | 1992-12-23 | 1995-02-14 | Taligent, Inc. | Automated testing system |
US6681383B1 (en) | 2000-04-04 | 2004-01-20 | Sosy, Inc. | Automatic software production system |
US7272752B2 (en) | 2001-09-05 | 2007-09-18 | International Business Machines Corporation | Method and system for integrating test coverage measurements with model based test generation |
CA2393043A1 (en) | 2002-07-11 | 2004-01-11 | Luiz Marcelo Aucelio Paternostro | Formal test case definitions |
US20050043913A1 (en) | 2003-08-19 | 2005-02-24 | Rex Hyde | Method of determining the level of structural coverage testing of test cases which are written for a program that does not provide for structural coverage testing |
US7478365B2 (en) | 2004-01-13 | 2009-01-13 | Symphony Services Corp. | Method and system for rule-based generation of automation test scripts from abstract test case representation |
US7392509B2 (en) | 2004-04-13 | 2008-06-24 | University Of Maryland | Method for domain specific test design automation |
JP2006024006A (ja) | 2004-07-08 | 2006-01-26 | Denso Corp | テストケース生成装置、テストケース生成プログラム、モデルベース開発プログラム、ソースコード生成妥当性診断装置、ソースコード生成妥当性診断プログラム、およびモデルベース開発方法。 |
US7865339B2 (en) | 2004-07-12 | 2011-01-04 | Sri International | Formal methods for test case generation |
US7979849B2 (en) | 2004-10-15 | 2011-07-12 | Cisco Technology, Inc. | Automatic model-based testing |
US8392873B2 (en) | 2005-01-26 | 2013-03-05 | Tti Inventions C Llc | Methods and apparatus for implementing model-based software solution development and integrated change management |
KR101222860B1 (ko) | 2005-09-01 | 2013-01-16 | 삼성전자주식회사 | 광픽업장치 |
US7716254B2 (en) | 2005-09-12 | 2010-05-11 | Infosys Technologies Ltd. | System for modeling architecture for business systems and methods thereof |
US7853906B2 (en) | 2006-03-22 | 2010-12-14 | Nec Laboratories America, Inc. | Accelerating high-level bounded model checking |
US20080056210A1 (en) | 2006-06-14 | 2008-03-06 | Toshiba America Research, Inc. | Moving Networks Information Server |
DE102006050112A1 (de) * | 2006-10-25 | 2008-04-30 | Dspace Digital Signal Processing And Control Engineering Gmbh | Verfahren zur Erstellung einer Anforderungsbeschreibung für ein eingebettetes System |
US7644334B2 (en) | 2006-11-27 | 2010-01-05 | Honeywell International, Inc. | Requirements-based test generation |
US8041554B1 (en) | 2007-06-06 | 2011-10-18 | Rockwell Collins, Inc. | Method and system for the development of high-assurance microcode |
US8826255B1 (en) * | 2007-06-18 | 2014-09-02 | The Mathworks, Inc. | Restructuring control flow graphs generated from a model |
US8423879B2 (en) | 2008-05-14 | 2013-04-16 | Honeywell International Inc. | Method and apparatus for test generation from hybrid diagrams with combined data flow and statechart notation |
US8307342B2 (en) | 2008-05-14 | 2012-11-06 | Honeywell International Inc. | Method, apparatus, and system for automatic test generation from statecharts |
KR101254609B1 (ko) | 2008-05-19 | 2013-04-15 | 존슨 컨트롤스 테크놀러지 컴퍼니 | 하나의 소프트웨어의 적어도 일 부분을 검증하기 위해 테스트 케이스들을 자동 형성하는 방법 |
US8260479B2 (en) | 2008-12-09 | 2012-09-04 | Honeywell International Inc. | Modular software architecture for an unmanned aerial vehicle |
US20100192128A1 (en) | 2009-01-27 | 2010-07-29 | Honeywell International Inc. | System and methods of using test points and signal overrides in requirements-based test generation |
US20110083121A1 (en) | 2009-10-02 | 2011-04-07 | Gm Global Technology Operations, Inc. | Method and System for Automatic Test-Case Generation for Distributed Embedded Systems |
US9298598B2 (en) | 2010-03-22 | 2016-03-29 | Red Hat, Inc. | Automated visual testing |
US8849626B1 (en) | 2010-06-23 | 2014-09-30 | Iowa State University Research Foundation, Inc. | Semantic translation of stateflow diagrams into input/output extended finite automata and automated test generation for simulink/stateflow diagrams |
WO2012049816A1 (ja) | 2010-10-14 | 2012-04-19 | 日本電気株式会社 | モデル検査装置、方法及びプログラム |
CN101968769B (zh) * | 2010-10-22 | 2012-01-25 | 中国人民解放军理工大学 | 一种基于行为模型的软件安全性测试用例生成方法 |
CN102136047A (zh) | 2011-02-25 | 2011-07-27 | 天津大学 | 一种基于形式化及统一软件模型的软件可信工程方法 |
US8645924B2 (en) | 2011-06-06 | 2014-02-04 | Fujitsu Limited | Lossless path reduction for efficient symbolic execution and automatic test generation |
US8893087B2 (en) | 2011-08-08 | 2014-11-18 | Ca, Inc. | Automating functionality test cases |
US9063673B2 (en) | 2011-08-30 | 2015-06-23 | Uniquesoft, Llc | System and method for implementing application code from application requirements |
US9360853B2 (en) | 2011-09-19 | 2016-06-07 | Dspace Gmbh | Exchange of files and meta-information between system design tools and behavior modeling tools and/or simulators for the creation of ECU software |
CN102693134B (zh) | 2012-05-25 | 2014-11-19 | 南京邮电大学 | 一种基于统一建模语言的传感网软件建模平台开发方法 |
US9971676B2 (en) | 2012-08-30 | 2018-05-15 | Toyota Motor Engineering & Manufacturing North America, Inc. | Systems and methods for state based test case generation for software validation |
KR101408870B1 (ko) | 2012-11-06 | 2014-06-17 | 대구교육대학교산학협력단 | Uml sd로부터 mccfg를 기반으로 하는 다단계 테스트 케이스 생성장치 및 방법 |
CN103853650B (zh) * | 2012-11-28 | 2017-03-01 | 西门子公司 | 一种模糊测试的测试用例生成方法及装置 |
US9747079B2 (en) | 2014-12-15 | 2017-08-29 | General Electric Company | Method and system of software specification modeling |
-
2014
- 2014-12-10 US US14/565,907 patent/US10108536B2/en active Active
-
2015
- 2015-11-27 EP EP15196758.5A patent/EP3032425B1/en active Active
- 2015-12-03 CA CA2913884A patent/CA2913884A1/en not_active Abandoned
- 2015-12-03 JP JP2015236197A patent/JP6607565B2/ja not_active Expired - Fee Related
- 2015-12-09 BR BR102015030798A patent/BR102015030798A2/pt not_active Application Discontinuation
- 2015-12-10 CN CN201510916669.XA patent/CN105701008B/zh active Active
Also Published As
Publication number | Publication date |
---|---|
CN105701008B (zh) | 2021-04-23 |
JP2016119075A (ja) | 2016-06-30 |
EP3032425A1 (en) | 2016-06-15 |
BR102015030798A2 (pt) | 2016-06-14 |
CN105701008A (zh) | 2016-06-22 |
US10108536B2 (en) | 2018-10-23 |
EP3032425B1 (en) | 2021-05-19 |
US20160170864A1 (en) | 2016-06-16 |
CA2913884A1 (en) | 2016-06-10 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP6607565B2 (ja) | セーフティクリティカルソフトウェアのための統合された自動テストケース生成 | |
JP6621204B2 (ja) | 安全重視ソフトウェア開発のためのモデルベース技術および過程のためのシステムおよび方法 | |
US8756460B2 (en) | Test selection based on an N-wise combinations coverage | |
US8689188B2 (en) | System and method for analyzing alternatives in test plans | |
US20140365990A1 (en) | Software evaluation device and method | |
US8719789B2 (en) | Measuring coupling between coverage tasks and use thereof | |
US9208451B2 (en) | Automatic identification of information useful for generation-based functional verification | |
US20110016452A1 (en) | Method and system for identifying regression test cases for a software | |
US8719799B2 (en) | Measuring coupling between coverage tasks and use thereof | |
WO2013030674A2 (en) | System and methods for generating and managing a virtual device | |
US10671061B2 (en) | Devices, methods, and systems for a distributed rule based automated fault detection | |
US20160170714A1 (en) | Method and system of software specification modeling | |
Sharma et al. | Performance evaluation of real-time systems | |
US20190303279A1 (en) | Modeling system | |
US20120054560A1 (en) | Verifying correctness of processor transactions | |
JP2011221803A (ja) | テストツール、テスト方法 | |
US9280627B1 (en) | GUI based verification at multiple abstraction levels | |
US9202004B1 (en) | System, method, and computer program product for ensuring that each simulation in a regression is running a unique configuration | |
JP2009099111A (ja) | 規則検査プログラム、規則検査方法および規則検査装置 | |
JP6723483B2 (ja) | テストケース生成装置、テストケース生成方法およびテストケース生成プログラム | |
JP5966890B2 (ja) | 制約条件抽出プログラム、制約条件抽出装置および制約条件抽出方法 | |
US9619597B1 (en) | System, method, and computer program product for electronic design configuration space determination and verification | |
JP2014115960A (ja) | 検証装置、検証方法及び検証プログラム | |
US9710581B1 (en) | VIP assisted method and apparatus to enable SOC integration and software development | |
US9183331B1 (en) | Formalizing IP driver interface |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20181122 |
|
RD03 | Notification of appointment of power of attorney |
Free format text: JAPANESE INTERMEDIATE CODE: A7423 Effective date: 20190402 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20190911 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20190924 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20191016 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6607565 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
LAPS | Cancellation because of no payment of annual fees |