Certains contenus de cette application ne sont pas disponibles pour le moment.
Si cette situation persiste, veuillez nous contacter àObservations et contact
1. (WO2017145300) DISPOSITIF ET PROGRAMME DE GÉNÉRATION D'ESSAI ÉLÉMENTAIRE
Dernières données bibliographiques dont dispose le Bureau international   

N° de publication : WO/2017/145300 N° de la demande internationale : PCT/JP2016/055486
Date de publication : 31.08.2017 Date de dépôt international : 24.02.2016
CIB :
G06F 11/28 (2006.01)
G PHYSIQUE
06
CALCUL; COMPTAGE
F
TRAITEMENT ÉLECTRIQUE DE DONNÉES NUMÉRIQUES
11
Détection d'erreurs; Correction d'erreurs; Contrôle de fonctionnement
28
en vérifiant que l'ordre du traitement est correct
Déposants :
三菱電機株式会社 MITSUBISHI ELECTRIC CORPORATION [JP/JP]; 東京都千代田区丸の内二丁目7番3号 7-3, Marunouchi 2-chome,Chiyoda-ku, Tokyo 1008310, JP
Inventeurs :
磯田 誠 ISODA, Makoto; JP
Mandataire :
溝井 章司 MIZOI, Shoji; JP
Données relatives à la priorité :
Titre (EN) TEST CASE GENERATING DEVICE AND TEST CASE GENERATING PROGRAM
(FR) DISPOSITIF ET PROGRAMME DE GÉNÉRATION D'ESSAI ÉLÉMENTAIRE
(JA) テストケース生成装置及びテストケース生成プログラム
Abrégé :
(EN) Provided is a test case generating device (10), which: treats as a subject pattern each combination of a plurality of input conditions (31), a plurality of output conditions (32), and a plurality of termination points for which it is verified by a test technique based on a software structure that a process has terminated; and determines whether it is possible to generate test cases (36) which are values of an input signal and an output signal which are capable of simultaneously verifying, in the subject pattern, the input/output conditions, which are pairs of the input conditions (31) and the output conditions (32), and the termination points. The test case generating device (10) thus identifies a combination of the test cases (36) which are capable of verifying each of the input conditions (31), each of the output conditions (32), and each of the termination points.
(FR) L'invention concerne un dispositif de génération d'essai élémentaire (10) qui : traite comme un motif sujet chaque combinaison d'une pluralité de conditions d'entrée (31), une pluralité de conditions de sortie (32) et une pluralité de points de terminaison pour lesquels il est vérifié, par une technique d'essai basée sur une structure logicielle, qu'un processus est terminé ; et détermine s'il est possible de générer des essais élémentaires (36) qui sont des valeurs d'un signal d'entrée et d'un signal de sortie qui sont capables de vérifier simultanément, dans le motif sujet, les conditions d'entrée/de sortie, qui sont des paires des conditions d'entrée (31) et des conditions de sortie (32), et les points de terminaison. Le dispositif de génération d'essai élémentaire (10) identifie ainsi une combinaison des essais élémentaires (36) qui sont capables de vérifier chacune des conditions d'entrée (31), chacune des conditions de sortie (32) et chacun des points de terminaison.
(JA) テストケース生成装置(10)は、複数の入力条件(31)と、複数の出力条件(32)と、ソフトウェアの構造に基づく試験手法によって処理が到達したことが確認される複数の到達点との各組合せを対象パターンとして、対象パターンにおける入力条件(31)及び出力条件(32)のペアである入出力条件と到達点とを同時に確認可能な入力信号及び出力信号の値であるテストケース(36)を生成可能か否かを判定する。これにより、テストケース生成装置(10)は、入力条件(31)それぞれと、出力条件(32)それぞれと、到達点それぞれとを確認可能なテストケース(36)の組を特定する。
front page image
États désignés : AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, BN, BR, BW, BY, BZ, CA, CH, CL, CN, CO, CR, CU, CZ, DE, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IR, IS, JP, KE, KG, KN, KP, KR, KZ, LA, LC, LK, LR, LS, LU, LY, MA, MD, ME, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PA, PE, PG, PH, PL, PT, QA, RO, RS, RU, RW, SA, SC, SD, SE, SG, SK, SL, SM, ST, SV, SY, TH, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, ZA, ZM, ZW
Organisation régionale africaine de la propriété intellectuelle (ARIPO) (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, ST, SZ, TZ, UG, ZM, ZW)
Office eurasien des brevets (OEAB) (AM, AZ, BY, KG, KZ, RU, TJ, TM)
Office européen des brevets (OEB (AL, AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HR, HU, IE, IS, IT, LT, LU, LV, MC, MK, MT, NL, NO, PL, PT, RO, RS, SE, SI, SK, SM, TR)
Organisation africaine de la propriété intellectuelle (OAPI) (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, KM, ML, MR, NE, SN, TD, TG)
Langue de publication : japonais (JA)
Langue de dépôt : japonais (JA)