特許
J-GLOBAL ID：201703016655357280

支援装置、支援方法及びプログラム

発明者：
赤堀 文隆

赤堀 文隆 について


出願人/特許権者：
日本電気株式会社

日本電気株式会社 について


代理人 (2件)： 机 昌彦 ,  下坂 直樹
公報種別：公開公報
出願番号（国際出願番号）：特願2016-031761
公開番号（公開出願番号）：特開2017-151594
出願日： 2016年02月23日
公開日（公表日）： 2017年08月31日
要約：
【課題】 ソースコードに含まれる不具合の効率的な修正や分析を可能にする支援装置等を提供する。【解決手段】 支援装置は、ソースコードに対して静的検証ツールが検証した第1の検証結果と、修正されたソースコードとに基づいて、第1の検証結果と修正されたソースコードとの対応を示す対応情報を含む第1の指摘情報を生成する第1の指摘情報生成部と、修正されたソースコードに対して静的検証ツールが検証した第2の検証結果に関する修正後情報を含む第2の指摘情報を生成する第2の指摘情報部と、第1及び第2の指摘情報に基づいて、対応情報と修正後情報との関連を分析する分析部とを備える。【選択図】 図1
請求項（抜粋）：
ソースコードに対して静的検証ツールが検証した第1の検証結果と、修正されたソースコードとに基づいて、前記第1の検証結果と前記修正されたソースコードとの対応を示す対応情報を含む第1の指摘情報を生成する第1の指摘情報生成手段と、 前記修正されたソースコードに対して前記静的検証ツールが検証した第2の検証結果に関する修正後情報を含む第2の指摘情報を生成する第2の指摘情報生成手段と、 前記第1及び前記第2の指摘情報に基づいて、前記対応情報と前記修正後情報との関連を分析する分析手段とを備える支援装置。
IPC (1件)：
G06F 11/36
FI (1件)：
G06F9/06 620M
Fターム (2件)：
5B376BC38 ,  5B376BC69
引用特許：
審査官引用 (4件)
全件表示

前のページに戻る

TOP

BOTTOM