処理中

しばらくお待ちください...

設定

設定

出願の表示

1. WO2020194455 - テストケース生成装置、テストケース生成方法、およびテストケース生成プログラム

公開番号 WO/2020/194455
公開日 01.10.2020
国際出願番号 PCT/JP2019/012548
国際出願日 25.03.2019
IPC
G06F 11/36 2006.01
G物理学
06計算;計数
F電気的デジタルデータ処理
11エラー検出;エラー訂正;監視
36ソフトウェアを検査またはデバッグすることによるエラー防止
出願人
  • 三菱電機株式会社 MITSUBISHI ELECTRIC CORPORATION [JP]/[JP]
発明者
  • 馬場 まどか BABA, Madoka
代理人
  • 溝井国際特許業務法人 MIZOI INTERNATIONAL PATENT FIRM
優先権情報
公開言語 (言語コード) 日本語 (JA)
出願言語 (言語コード) 日本語 (JA)
指定国 (国コード)
発明の名称
(EN) TEST CASE GENERATION DEVICE, TEST CASE GENERATION METHOD, AND TEST CASE GENERATION PROGRAM
(FR) DISPOSITIF, PROCÉDÉ ET PROGRAMME DE GÉNÉRATION DE CAS DE TEST
(JA) テストケース生成装置、テストケース生成方法、およびテストケース生成プログラム
要約
(EN)
In the present invention, if an (i-1)-th test case, which is a test case from a step 1 to a step (i-1), is stored, a generation control unit (130) uses the (i-1)-th test case to select a first generation scheme (M1) for generating an i-th test case, which is a test case from the step 1 to a step (i). A test generation unit (170) generates, in accordance with the first generation scheme (M1), a test case for executing the i-th step in a state where the internal state, existing at the end of the step (i-1) due to execution of the (i-1)-th test case, is maintained. The test generation unit (170) generates the i-th test case by joining the (i-1)-th test case and the test case of the i-th step.
(FR)
Dans la présente invention, si un (i-1)-ème cas de test, qui est un cas de test d'une étape 1 à une étape (i-1), est stocké, une unité de commande de génération (130) utilise le (i-1)-ème cas de test pour sélectionner un premier schéma de génération (M1) pour générer un i-ème cas de test, qui est un cas de test de l'étape 1 à une étape (i). Une unité de génération de test (170) génère, conformément au premier schéma de génération (M1), un boîtier de test pour exécuter l'i-ième étape dans un état dans lequel l'état interne, existant à la fin de l'étape (i-1) en raison de l'exécution du (i-1)-ème cas de test, est maintenu. L'unité de génération de test (170) génère l'i-ème cas de test en joignant le (i-1)-ème cas de test et le cas de test de l'i-ième étape.
(JA)
生成制御部(130)は、1ステップから(i-1)ステップまでのテストケースである第(i-1)テストケースが記憶されている場合、第(i-1)テストケースを使用して、1ステップからiステップまでのテストケースである第iテストケースを生成する第1の生成方式(M1)を選択する。テスト生成部(170)は、第1の生成方式(M1)にしたがって、第(i-1)テストケースの実行による(i-1)ステップの終了時点における内部状態を保持した状態で、iステップ目を実行するテストケースを生成する。テスト生成部(170)は、第(i-1)テストケースとiステップ目のテストケースとを連結することにより第iテストケースを生成する。
国際事務局に記録されている最新の書誌情報