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

国際・国内特許データベース検索
World Intellectual Property Organization
検索
 
閲覧
 
翻訳
 
オプション
 
最新情報
 
ログイン
 
ヘルプ
 
自動翻訳
1. (WO2016039076) プログラム検査装置、ソフトウェア検査装置、SAT制約条件データ、記憶媒体
国際事務局に記録されている最新の書誌情報   

Translation翻訳: 原文 > 日本語
国際公開番号:    WO/2016/039076    国際出願番号:    PCT/JP2015/072980
国際公開日: 17.03.2016 国際出願日: 17.08.2015
IPC:
G06F 11/36 (2006.01), G06F 11/28 (2006.01)
出願人: HITACHI AUTOMOTIVE SYSTEMS, LTD. [JP/JP]; 2520, Takaba, Hitachinaka-shi, Ibaraki 3128503 (JP)
発明者: NISHI Masataka; (JP).
NARISAWA Fumio; (JP).
OHNO Atsuhiro; (JP).
MATSUBARA Masahiro; (JP)
代理人: TODA Yuji; (JP)
優先権情報:
2014-185326 11.09.2014 JP
発明の名称: (EN) PROGRAM INSPECTION DEVICE, SOFTWARE INSPECTION DEVICE, SAT CONSTRAINT DATA, AND STORAGE MEDIUM
(FR) DISPOSITIF D'INSPECTION DE PROGRAMME, DISPOSITIF D'INSPECTION DE LOGICIEL, DONNÉES DE CONTRAINTE DE SATISFACTION ET SUPPORT D'INFORMATIONS
(JA) プログラム検査装置、ソフトウェア検査装置、SAT制約条件データ、記憶媒体
要約: front page image
(EN)The purpose of the present invention is to suppress the computing resources required to inspect software behaviour by removing, in advance, abnormal input value rows inputted into software to be inspected. A program inspection device according to the present invention describes, as satisfiability problem constraints, input value rows, internal state value rows, and output value rows of a dynamic program to be inspected, and inspection conditions describing software requirements, and searches for solutions which satisfy desired inspection conditions to obtain via inverse calculation, from the output value rows, input value rows suitable for inspection.
(FR)La présente invention a pour but de supprimer les ressources informatiques requises pour inspecter un comportement de logiciel par suppression, à l'avance, de rangées de valeurs d'entrée anormales entrées dans un logiciel à inspecter. Un dispositif d'inspection de programme selon la présente invention décrit, comme contraintes de problème de satisfaisabilité, des rangées de valeurs d'entrée, des rangées de valeurs d'état interne et des rangées de valeurs de sortie d'un programme dynamique à inspecter, et des conditions d'inspection décrivant des exigences de logiciel, et recherche des solutions qui satisfont des conditions d'inspection souhaitées pour obtenir, par l'intermédiaire d'un calcul inverse, à partir des rangées de valeurs de sortie, des rangées de valeurs d'entrée appropriées pour une inspection.
(JA)検査対象ソフトウェアに対して入力する異常な入力値列をあらかじめ排除することにより、ソフトウェアの挙動を検査するために必要な計算リソースを抑制する。 本発明に係るプログラム検査装置は、検査対象である動的プログラムの入力値列、内部状態値列、および出力値列と、ソフトウェアの要件を記述した検査条件とを、充足可能性問題の制約条件として記述し、所望の検査条件を満たす解を探索することにより、検査に適した入力値列を出力値列から逆算的に求める。
指定国: 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, 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.
アフリカ広域知的所有権機関(ARIPO) (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, ST, SZ, TZ, UG, ZM, ZW)
ユーラシア特許庁(EAPO) (AM, AZ, BY, KG, KZ, RU, TJ, TM)
欧州特許庁(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)
アフリカ知的所有権機関(OAPI) (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, KM, ML, MR, NE, SN, TD, TG).
国際公開言語: Japanese (JA)
国際出願言語: Japanese (JA)