JP2017151594A - 支援装置、支援方法及びプログラム - Google Patents
支援装置、支援方法及びプログラム Download PDFInfo
- Publication number
- JP2017151594A JP2017151594A JP2016031761A JP2016031761A JP2017151594A JP 2017151594 A JP2017151594 A JP 2017151594A JP 2016031761 A JP2016031761 A JP 2016031761A JP 2016031761 A JP2016031761 A JP 2016031761A JP 2017151594 A JP2017151594 A JP 2017151594A
- Authority
- JP
- Japan
- Prior art keywords
- information
- indication information
- source code
- corrected
- verification result
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Images
Landscapes
- Debugging And Monitoring (AREA)
- Stored Programmes (AREA)
Abstract
【解決手段】 支援装置は、ソースコードに対して静的検証ツールが検証した第1の検証結果と、修正されたソースコードとに基づいて、第1の検証結果と修正されたソースコードとの対応を示す対応情報を含む第1の指摘情報を生成する第1の指摘情報生成部と、修正されたソースコードに対して静的検証ツールが検証した第2の検証結果に関する修正後情報を含む第2の指摘情報を生成する第2の指摘情報部と、第1及び第2の指摘情報に基づいて、対応情報と修正後情報との関連を分析する分析部とを備える。
【選択図】 図1
Description
・ROM(Read Only Memory)502
・RAM(Random Access Memory)503
・RAM503にロードされるプログラム504
・プログラム504を格納する記憶装置505
・記録媒体506の読み書きを行うドライブ装置507
・通信ネットワーク509と接続する通信インターフェース508
・データの入出力を行う入出力インターフェース510
・各構成要素を接続するバス511
各実施形態における各装置の各構成要素は、これらの機能を実現するプログラム504をCPU501が取得して実行することで実現される。各装置の各構成要素の機能を実現するプログラム504は、例えば、予め記憶装置505やRAM503に格納されており、必要に応じてCPU501が読み出す。なお、プログラム504は、通信ネットワーク509を介してCPU501に供給されてもよいし、予め記録媒体506に格納されており、ドライブ装置507が当該プログラムを読み出してCPU501に供給してもよい。
12 構成管理情報
13 第2の検証結果
14 分析済み指摘情報
100 支援装置
110 第1の指摘情報生成部
111 第1の指摘情報記憶部
120 第2の指摘情報生成部
121 第2の指摘情報記憶部
130 分析部
500 情報処理装置
501 CPU
502 ROM
503 RAM
504 プログラム
505 記憶装置
506 記録媒体
507 ドライブ装置
508 通信インターフェース
509 通信ネットワーク
510 入出力インターフェース
511 バス
Claims (8)
- ソースコードに対して静的検証ツールが検証した第1の検証結果と、修正されたソースコードとに基づいて、前記第1の検証結果と前記修正されたソースコードとの対応を示す対応情報を含む第1の指摘情報を生成する第1の指摘情報生成手段と、
前記修正されたソースコードに対して前記静的検証ツールが検証した第2の検証結果に関する修正後情報を含む第2の指摘情報を生成する第2の指摘情報生成手段と、
前記第1及び前記第2の指摘情報に基づいて、前記対応情報と前記修正後情報との関連を分析する分析手段とを備える支援装置。 - 前記対応情報は、前記第1の検証結果に含まれる指摘に応じて修正されたソースコードの修正個所との対応を示す、請求項1に記載の支援装置。
- 前記第1の指摘情報生成手段は、前記第1の検証結果に含まれる前記指摘を識別する識別情報と、前記修正されたソースコードの前記修正箇所に対して付された識別番号との対応に基づいて第1の指摘情報を生成する、請求項2に記載の支援装置。
- 前記分析手段は、前記対応情報及び前記修正後情報の各々の項目が合致するか否かに基づいて前記関連を分析する、請求項1に記載の支援装置。
- 前記分析手段は、前記対応情報及び前記修正後情報の各々の項目が合致する場合に、前記修正後情報が前記修正されたソースコードの修正に起因する不具合を示すと判断する、請求項2に記載の支援装置。
- 前記分析手段は、前記修正されたソースコードの修正に起因する不具合を示すと判断された前記修正後情報を出力する、請求項5に記載の支援装置。
- ソースコードに対して静的検証ツールが検証した第1の検証結果と、修正されたソースコードとに基づいて、前記第1の検証結果と前記修正されたソースコードとの対応を示す第1の指摘情報を生成し、
前記修正されたソースコードに対して前記静的検証ツールが検証した第2の検証結果に関する修正後情報を含む第2の指摘情報を生成し、
前記第1及び前記第2の指摘情報に基づいて、前記対応情報と前記修正後情報との関連を分析する支援方法。 - コンピュータに、
ソースコードに対して静的検証ツールが検証した第1の検証結果と、修正されたソースコードとに基づいて、前記第1の検証結果と前記修正されたソースコードとの対応を示す対応情報を含む第1の指摘情報を生成する処理と、
前記修正されたソースコードに対して前記静的検証ツールが検証した第2の検証結果に関する修正後情報を含む第2の指摘情報を生成する処理と、
前記第1及び前記第2の指摘情報に基づいて、前記対応情報と前記修正後情報との関連を分析する処理とを実行させるプログラム。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2016031761A JP6665576B2 (ja) | 2016-02-23 | 2016-02-23 | 支援装置、支援方法及びプログラム |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2016031761A JP6665576B2 (ja) | 2016-02-23 | 2016-02-23 | 支援装置、支援方法及びプログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2017151594A true JP2017151594A (ja) | 2017-08-31 |
JP6665576B2 JP6665576B2 (ja) | 2020-03-13 |
Family
ID=59740843
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2016031761A Active JP6665576B2 (ja) | 2016-02-23 | 2016-02-23 | 支援装置、支援方法及びプログラム |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP6665576B2 (ja) |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2020129371A (ja) * | 2019-02-07 | 2020-08-27 | 富士通株式会社 | 自動化されたソフトウェアプログラム修復 |
US11392371B2 (en) | 2018-11-28 | 2022-07-19 | Fujitsu Limited | Identification of a partial code to be refactored within a source code |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH09319611A (ja) * | 1996-05-28 | 1997-12-12 | Matsushita Electric Works Ltd | プログラム開発支援装置 |
JP2005202494A (ja) * | 2004-01-13 | 2005-07-28 | Mitsubishi Electric Corp | 静的解析結果分析システムおよび静的解析結果分析装置 |
JP2015026276A (ja) * | 2013-07-26 | 2015-02-05 | Necエンジニアリング株式会社 | 静的解析装置、静的解析方法、および、コンピュータ・プログラム |
JP2016018307A (ja) * | 2014-07-07 | 2016-02-01 | 富士通株式会社 | 開発支援プログラム,開発支援方法及び開発支援装置 |
-
2016
- 2016-02-23 JP JP2016031761A patent/JP6665576B2/ja active Active
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH09319611A (ja) * | 1996-05-28 | 1997-12-12 | Matsushita Electric Works Ltd | プログラム開発支援装置 |
JP2005202494A (ja) * | 2004-01-13 | 2005-07-28 | Mitsubishi Electric Corp | 静的解析結果分析システムおよび静的解析結果分析装置 |
JP2015026276A (ja) * | 2013-07-26 | 2015-02-05 | Necエンジニアリング株式会社 | 静的解析装置、静的解析方法、および、コンピュータ・プログラム |
JP2016018307A (ja) * | 2014-07-07 | 2016-02-01 | 富士通株式会社 | 開発支援プログラム,開発支援方法及び開発支援装置 |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US11392371B2 (en) | 2018-11-28 | 2022-07-19 | Fujitsu Limited | Identification of a partial code to be refactored within a source code |
JP2020129371A (ja) * | 2019-02-07 | 2020-08-27 | 富士通株式会社 | 自動化されたソフトウェアプログラム修復 |
JP7384054B2 (ja) | 2019-02-07 | 2023-11-21 | 富士通株式会社 | 自動化されたソフトウェアプログラム修復 |
Also Published As
Publication number | Publication date |
---|---|
JP6665576B2 (ja) | 2020-03-13 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
EP3616066B1 (en) | Human-readable, language-independent stack trace summary generation | |
CN110188135B (zh) | 文件生成方法及设备 | |
US11835987B2 (en) | Methods and apparatus for finding long methods in code | |
US10740713B2 (en) | Generation of WBS model data | |
CN109117141B (zh) | 简化编程的方法、装置、电子设备、计算机可读存储介质 | |
CN110990053A (zh) | 机器学习方案模板的创建方法、使用方法及装置 | |
US8214245B2 (en) | Method and system for synchronizing inclusive decision branches | |
JP6258159B2 (ja) | プログラム情報生成システム、方法、及びプログラム | |
US20180025162A1 (en) | Application program analysis apparatus and method | |
JP6256115B2 (ja) | 操作探索プログラム、操作探索方法、および操作探索装置 | |
JP6665576B2 (ja) | 支援装置、支援方法及びプログラム | |
JP5937245B1 (ja) | 運用手順評価装置および運用手順評価プログラム | |
JP6191440B2 (ja) | スクリプト管理プログラム、スクリプト管理装置及びスクリプト管理方法 | |
US20200326952A1 (en) | Modification procedure generation device, modification procedure generation method and storage medium for storing modification procedure generation program | |
CN112579475A (zh) | 代码测试方法、装置、设备及可读存储介质 | |
JP6403527B2 (ja) | 設計流用支援装置、設計流用支援方法およびプログラム | |
JP2011191985A (ja) | シンボリック実行支援プログラム、方法及び装置 | |
CN109189370B (zh) | 软件组件的生成方法、装置、设备及计算机可读存储介质 | |
JP5900212B2 (ja) | テストデータ生成装置、該プログラム、及び該方法 | |
JP2012048329A (ja) | オブジェクト指向プログラム生成装置、その方法、プログラム | |
US20150277858A1 (en) | Performance evaluation device, method, and medium for information system | |
US10180882B2 (en) | Information-processing device, processing method, and recording medium in which program is recorded | |
WO2015135182A1 (en) | Method and apparatus for evaluating performance of real-time system | |
US9870257B1 (en) | Automation optimization in a command line interface | |
JP2018121245A (ja) | 通信装置、通信仕様差分抽出方法及び通信仕様差分抽出プログラム |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20190115 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20191016 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20191105 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20191226 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20200121 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20200203 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6665576 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |