WIPO logo
Mobile | Deutsch | Español | Français | 日本語 | 한국어 | Português | Русский | 中文 | العربية |
PATENTSCOPE

Search International and National Patent Collections
World Intellectual Property Organization
Options
Query Language
Stem
Sort by:
List Length
Some content of this application is unavailable at the moment.
If this situation persist, please contact us atFeedback&Contact
1. (WO2017179120) SIMULATION REPRODUCTION DEVICE AND SIMULATION REPRODUCTION PROGRAM
Latest bibliographic data on file with the International Bureau   

Pub. No.: WO/2017/179120 International Application No.: PCT/JP2016/061782
Publication Date: 19.10.2017 International Filing Date: 12.04.2016
IPC:
G06F 11/36 (2006.01)
G PHYSICS
06
COMPUTING; CALCULATING; COUNTING
F
ELECTRIC DIGITAL DATA PROCESSING
11
Error detection; Error correction; Monitoring
36
Preventing errors by testing or debugging of software
Applicants: MITSUBISHI ELECTRIC CORPORATION[JP/JP]; 7-3, Marunouchi 2-chome, Chiyoda-ku, Tokyo 1008310, JP
Inventors: SUZUKI, Hirokazu; JP
MIZUGUCHI, Takehisa; JP
NAKAMURA, Minoru; JP
Agent: MIZOI, Shoji; JP
Priority Data:
Title (EN) SIMULATION REPRODUCTION DEVICE AND SIMULATION REPRODUCTION PROGRAM
(FR) DISPOSITIF DE REPRODUCTION DE SIMULATION ET PROGRAMME DE REPRODUCTION DE SIMULATION
(JA) シミュレーション再現装置およびシミュレーション再現プログラム
Abstract:
(EN) According to the present invention, after changes in the state of a target system are simulated, a reception control unit (110) receives a specified time that is a time within the period of the simulation. A reproduction unit (130) selects a change time corresponding to the specified time from trace data and acquires a state value associated with the selected change time from the trace data. The reproduction unit then generates a state image indicating a state corresponding to the acquired state value. A display unit (196) displays the generated state image.
(FR) Selon la présente invention, suite à la simulation de changements dans l'état d'un système cible, une unité de commande de réception (110) reçoit un instant spécifié qui est un instant à l'intérieur de la période de la simulation. Une unité de reproduction (130) sélectionne un instant de changement correspondant à l'instant spécifié à partir de données de trace et acquiert une valeur d'état associée à l'instant de changement sélectionné à partir des données de trace. L'unité de reproduction génère ensuite une image d'état indiquant un état correspondant à la valeur d'état acquise. Une unité d'écran (196) affiche l’image d'état générée.
(JA) 受付制御部(110)は、対象システムの状態の変化がシミュレーションされた後、シミュレーションの対象となったシミュレーション期間の中の時刻である指定時刻を受け付ける。再現部(130)は、トレースデータから指定時刻に対応する変化時刻を選択し、選択された変化時刻に対応する状態値をトレースデータから取得する。再現部は、取得された状態値に対応する状態を示す状態画像を生成する。表示部(196)は、生成された状態画像を表示する。
front page image
Designated States: 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
African Regional Intellectual Property Organization (ARIPO) (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, ST, SZ, TZ, UG, ZM, ZW)
Eurasian Patent Office (AM, AZ, BY, KG, KZ, RU, TJ, TM)
European Patent Office (EPO) (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)
African Intellectual Property Organization (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, KM, ML, MR, NE, SN, TD, TG)
Publication Language: Japanese (JA)
Filing Language: Japanese (JA)