JP2018092374A5 - - Google Patents

Download PDF

Info

Publication number
JP2018092374A5
JP2018092374A5 JP2016235350A JP2016235350A JP2018092374A5 JP 2018092374 A5 JP2018092374 A5 JP 2018092374A5 JP 2016235350 A JP2016235350 A JP 2016235350A JP 2016235350 A JP2016235350 A JP 2016235350A JP 2018092374 A5 JP2018092374 A5 JP 2018092374A5
Authority
JP
Japan
Prior art keywords
test case
rule
range
case generation
generating
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.)
Granted
Application number
JP2016235350A
Other languages
English (en)
Japanese (ja)
Other versions
JP6692281B2 (ja
JP2018092374A (ja
Filing date
Publication date
Application filed filed Critical
Priority to JP2016235350A priority Critical patent/JP6692281B2/ja
Priority claimed from JP2016235350A external-priority patent/JP6692281B2/ja
Publication of JP2018092374A publication Critical patent/JP2018092374A/ja
Publication of JP2018092374A5 publication Critical patent/JP2018092374A5/ja
Application granted granted Critical
Publication of JP6692281B2 publication Critical patent/JP6692281B2/ja
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

JP2016235350A 2016-12-02 2016-12-02 テストケース生成装置、及びテストケース生成方法 Active JP6692281B2 (ja)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP2016235350A JP6692281B2 (ja) 2016-12-02 2016-12-02 テストケース生成装置、及びテストケース生成方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP2016235350A JP6692281B2 (ja) 2016-12-02 2016-12-02 テストケース生成装置、及びテストケース生成方法

Publications (3)

Publication Number Publication Date
JP2018092374A JP2018092374A (ja) 2018-06-14
JP2018092374A5 true JP2018092374A5 (https=) 2019-04-18
JP6692281B2 JP6692281B2 (ja) 2020-05-13

Family

ID=62565596

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2016235350A Active JP6692281B2 (ja) 2016-12-02 2016-12-02 テストケース生成装置、及びテストケース生成方法

Country Status (1)

Country Link
JP (1) JP6692281B2 (https=)

Families Citing this family (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR102176133B1 (ko) * 2018-12-11 2020-11-09 (주)씽크포비엘 소프트웨어 테스트 케이스 자동 생성 방법 및 장치
WO2019242868A1 (en) * 2018-12-12 2019-12-26 Mitsubishi Electric Corporation Software testing device, software testing method, and software testing program
WO2021220465A1 (ja) * 2020-04-30 2021-11-04 日本電信電話株式会社 ルール処理装置、方法およびプログラム
CN113485919B (zh) * 2021-06-30 2024-01-26 山东有人物联网股份有限公司 测试方法、测试装置及计算机可读存储介质
JP7660331B1 (ja) * 2024-07-08 2025-04-11 株式会社Shift プログラム、方法、情報処理装置、システム
CN120144454B (zh) * 2025-02-26 2025-12-16 北京字跳网络技术有限公司 测试用例生成方法、装置、电子设备、存储介质及程序产品

Family Cites Families (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP5799823B2 (ja) * 2012-01-17 2015-10-28 富士通株式会社 テストデータ生成装置、テストデータ生成プログラムおよびテストデータ生成方法
JP5894954B2 (ja) * 2013-03-22 2016-03-30 株式会社日立製作所 テストケース生成方法、テストケース生成装置およびプログラム
JP6268029B2 (ja) * 2014-04-16 2018-01-24 株式会社日立製作所 テストケース生成装置及びテストケース生成方法
JP2016057969A (ja) * 2014-09-11 2016-04-21 日立オートモティブシステムズ株式会社 プログラム検査装置、ソフトウェア検査装置、ｓａｔ制約条件データ、記憶媒体

Similar Documents

Publication Publication Date Title
JP2018092374A5 (https=)
US10241852B2 (en) Automated qualification of a safety critical system
US11836665B2 (en) Explainable process prediction
JP2015537298A5 (https=)
JP2014002759A5 (https=)
CN107066375A (zh) 安全关键软件自动化基于需求的测试实例生成系统和方法
JP2013206016A5 (https=)
Khan et al. Threshold computation for fault detection in a class of discrete‐time nonlinear systems
US10176086B2 (en) Event-driven software test sequence determination
JP2016115175A (ja) ソフトウェアテスト装置およびソフトウェアテストプログラム
CN105988930A (zh) 测试用例生成方法和装置
JP2017538996A5 (https=)
US20140137081A1 (en) Indicating hierarchy diversion in a class diagram
JPWO2016121074A1 (ja) ソフトウェア検査装置
WO2016043846A4 (en) A general formal concept analysis (fca) framework for classification
Reichert et al. Mechanism-based emulation of dynamic simulation models: Concept and application in hydrology
JP2016151932A5 (https=)
Temme et al. Higher-order models with reflective indicators: A rejoinder to a recent call for their abandonment
JP2016224557A5 (https=)
US10387288B2 (en) Interactive analysis of a security specification
JP2016076012A (ja) 設計流用支援装置、設計流用支援方法およびプログラム
JP5396406B2 (ja) モデル検査装置、モデル検査方法およびモデル検査プログラム
JP2017082680A5 (https=)
CN111126566A (zh) 基于gan模型的异常家具布局数据检测方法
Heule et al. What's hot in the SAT and ASP competitions