国際・国内特許データベース検索
このアプリケーションの一部のコンテンツは現時点では利用できません。
このような状況が続く場合は、にお問い合わせくださいフィードバック & お問い合わせ
1. (WO2015145556) ソフトウェア仕様間依存関係検証装置、及びソフトウェア仕様間依存関係検証方法
国際事務局に記録されている最新の書誌情報

国際公開番号: WO/2015/145556 国際出願番号: PCT/JP2014/058171
国際公開日: 01.10.2015 国際出願日: 25.03.2014
IPC:
G06F 9/44 (2006.01)
G 物理学
06
計算;計数
F
電気的デジタルデータ処理
9
プログラム制御のための装置,例.制御装置
06
プログラム記憶方式を用いるもの,すなわちプログラムを受取りそして保持するために処理装置の内部記憶装置を用いるもの
44
特別なプログラムを実行するための装置
出願人:
株式会社 日立製作所 HITACHI, LTD. [JP/JP]; 東京都千代田区丸の内一丁目6番6号 6-6, Marunouchi 1-chome, Chiyoda-ku, Tokyo 1008280, JP
発明者:
村上 正敏 MURAKAMI, Masatoshi; JP
中川 雄一郎 NAKAGAWA, Yuichiroh; JP
三部 良太 MIBE, Ryota; JP
古家 直樹 FURUYA, Naoki; JP
代理人:
一色国際特許業務法人 ISSHIKI & CO.; 東京都港区新橋2丁目12番7号 労金新橋ビル Rookin-Shinbashi Bldg., 12-7, Shinbashi 2-chome, Minato-ku, Tokyo 1050004, JP
優先権情報:
発明の名称: (EN) DEVICE FOR VERIFYING DEPENDENCIES BETWEEN SOFTWARE SPECIFICATIONS, AND METHOD FOR VERIFYING DEPENDENCIES BETWEEN SOFTWARE SPECIFICATIONS
(FR) DISPOSITIF POUR VÉRIFIER DES DÉPENDANCES ENTRE DES SPÉCIFICATIONS DE LOGICIELS ET PROCÉDÉ POUR VÉRIFIER DES DÉPENDANCES ENTRE DES SPÉCIFICATIONS DE LOGICIELS
(JA) ソフトウェア仕様間依存関係検証装置、及びソフトウェア仕様間依存関係検証方法
要約:
(EN)  A inter-software-specification-consistency-verifying device (100) has: a specification structure analysis unit (103) for acquiring a corresponding software specification, and extracting individual specification items in which relative positions in the software specification have been set in advance according to a hierarchy structure; a specification item matching unit (105) for determining whether there exists a dependency between the specification items using matching rules obtained by defining dependencies to be established between the corresponding specification items; a dependency information generation unit (106) for extracting dependency information specifying the combination of specification items determined to have a dependency; a dependency verification unit (109) for determining whether consistency criteria have been satisfied on the basis of the dependency information extracted using the verification rules including consistency conditions to be established for the specified combinations of specification items, and, when the criteria are determined not to be satisfied, outputting the dependency as inconsistency information; and a verification result visualization unit (110) for outputting the inconsistency information using a prescribed user interface.
(FR)  Un dispositif de vérification de la cohérence de spécifications inter-logiciels (100) comporte : une unité d'analyse de structure de spécifications (103) pour acquérir une spécification de logiciel correspondante et extraire des éléments de spécification individuels dans lesquels des positions relatives dans la spécification de logiciel ont été fixées à l'avance conformément à une structure hiérarchique ; une unité de reconnaissance d'éléments de spécification (105) pour déterminer s'il existe une dépendance entre les éléments de spécification à l'aide de règles de reconnaissance obtenues en définissant des dépendances devant être établies entre les éléments de spécification correspondants ; une unité génératrice d'informations de dépendance (106) pour extraire des informations de dépendance spécifiant la combinaison d'éléments de spécification dont il a été déterminé qu'ils présentaient une dépendance ; une unité de vérification de dépendance (109) pour déterminer si des critères de cohérence ont été satisfaits sur la base des informations de dépendance extraites à l'aide des règles de vérification incluant des conditions de cohérence devant être établies pour les combinaisons spécifiées d'éléments de spécification et, lorsqu'il est déterminé que les critères ne sont pas satisfaits, délivrer en sortie la dépendance en tant qu'information d'incohérence ; et une unité de visualisation de résultat de vérification (110) pour délivrer en sortie les informations d'incohérence à l'aide d'une interface utilisateur prescrite.
(JA)  ソフトウェア仕様間整合性検証装置100は、対応するソフトウェア仕様を取得し、あらかじめ前記階層構造に従ってソフトウェア仕様中での相対位置が設定されている各仕様項目を抽出する仕様構造解析部103と、対応する仕様項目間で成立すべき依存関係を記述してなるマッチングルールを用いて、各仕様項目間の依存関係の有無を判別する仕様項目マッチング部105と、依存関係があると判定された仕様項目の組合せを指定する依存関係情報を抽出する依存関係情報生成部106と、特定の仕様項目の組合せについて成立すべき整合条件を含む検証ルールにより抽出された依存関係情報に基づき、整合条件を満たすか判定し、満たさないと判定した場合、当該依存関係を不整合情報として出力する依存関係検証部109と、前記不整合情報を所定のユーザインタフェースによって出力する検証結果可視化部110とを有する。
front page image
指定国: 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, LT, 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, 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)
国際公開言語: 日本語 (JA)
国際出願言語: 日本語 (JA)
また、:
CN106104469US20170131973