JP2016091138A - ソースコード検証システム - Google Patents
ソースコード検証システム Download PDFInfo
- Publication number
- JP2016091138A JP2016091138A JP2014222207A JP2014222207A JP2016091138A JP 2016091138 A JP2016091138 A JP 2016091138A JP 2014222207 A JP2014222207 A JP 2014222207A JP 2014222207 A JP2014222207 A JP 2014222207A JP 2016091138 A JP2016091138 A JP 2016091138A
- Authority
- JP
- Japan
- Prior art keywords
- evaluation
- variable
- source code
- data
- evaluation score
- 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
Landscapes
- Debugging And Monitoring (AREA)
- Stored Programmes (AREA)
Abstract
Description
Claims (6)
- プログラムに含まれる変数の依存関係に関する変数依存関係データに基づいて、異なる実行単位にまたがる変数依存関係を有する箇所を不具合要因の可能性のある箇所として検出する不具合要因検出手段と、
前記変数依存関係に基づいて、前記箇所に関する不具合可能性の評価点を算出する評価点算出手段と、
前記評価点を表示する評価点表示手段とを備えることを特徴とする、ソースコード検証システム。 - 前記評価点算出手段に入力される前記変数依存関係データはツリー形式であり、前記評価点算出手段は前記不具合要因検出手段による検出結果を前記変数依存関係データの上位ノードで集計することにより前記評価点を算出することを特徴とする、請求項1に記載のソースコード検証システム。
- 前記評価点算出手段は、データ競合の可能性を示す評価点と、それ以外の可能性を示す評価点とを区別して算出することを特徴とする、請求項1に記載のソースコード検証システム。
- 前記評価点表示手段は、前記評価点が付けられたプログラムの箇所と前記評価点とを対応付けて表示し、かつ前記評価点の高低順に表示することを特徴とする、請求項1に記載のソースコード検証システム。
- 前記評価点表示手段は、前記変数依存関係データのグラフにおいて、前記評価点が付けられた変数と前記評価点とを対応付けて表示することを特徴とする、請求項1に記載のソースコード検証システム。
- プログラムのソースコードから変数依存関係データを解析するコード解析部と、
前記変数依存関係データからユーザ指定の変数に関係する部分を抽出する変数依存関係抽出部と、
前記ソースコードから前記抽出された依存関係データに対応するコードを抽出するコード抽出部と、
前記変数依存関係データに基づいて、異なる実行単位にまたがる変数依存関係から不具合要因の可能性のある箇所を検出する不具合要因検出手段と、
前記変数依存関係に基づいて、前記箇所に関する不具合可能性の評価点を算出する評価点算出手段とを備え、
前記コード抽出部は、前記評価点に基づき、コードの抽出範囲を選定することを特徴とする、ソースコード検証システム。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2014222207A JP6416588B2 (ja) | 2014-10-31 | 2014-10-31 | ソースコード検証システム |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2014222207A JP6416588B2 (ja) | 2014-10-31 | 2014-10-31 | ソースコード検証システム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2016091138A true JP2016091138A (ja) | 2016-05-23 |
JP6416588B2 JP6416588B2 (ja) | 2018-10-31 |
Family
ID=56016872
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2014222207A Active JP6416588B2 (ja) | 2014-10-31 | 2014-10-31 | ソースコード検証システム |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP6416588B2 (ja) |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2019215607A (ja) * | 2018-06-11 | 2019-12-19 | 三菱電機株式会社 | 違反依存検出装置および違反依存検出プログラム |
WO2022091651A1 (ja) * | 2020-10-28 | 2022-05-05 | 日立Astemo株式会社 | 演算装置及び検査方法 |
JP7404839B2 (ja) | 2018-12-21 | 2023-12-26 | 富士通株式会社 | ソフトウェアプログラム不良位置の識別 |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2013156786A (ja) * | 2012-01-30 | 2013-08-15 | Hitachi Automotive Systems Ltd | ソフトウェアの構造可視化プログラムおよびシステム |
JP2013254371A (ja) * | 2012-06-07 | 2013-12-19 | Toyota Motor Corp | ソフトウェア開発支援装置、ソフトウェア開発支援方法及びソフトウェア開発支援プログラム |
WO2014141352A1 (ja) * | 2013-03-11 | 2014-09-18 | 株式会社 日立製作所 | システム制御装置 |
-
2014
- 2014-10-31 JP JP2014222207A patent/JP6416588B2/ja active Active
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2013156786A (ja) * | 2012-01-30 | 2013-08-15 | Hitachi Automotive Systems Ltd | ソフトウェアの構造可視化プログラムおよびシステム |
JP2013254371A (ja) * | 2012-06-07 | 2013-12-19 | Toyota Motor Corp | ソフトウェア開発支援装置、ソフトウェア開発支援方法及びソフトウェア開発支援プログラム |
WO2014141352A1 (ja) * | 2013-03-11 | 2014-09-18 | 株式会社 日立製作所 | システム制御装置 |
Non-Patent Citations (1)
Title |
---|
YAN CHEN ET AL.: "A Race Condition Graph for Concurrent Program Behavior", PROCEEDINGS OF 2008 3RD INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEM AND KNOWLEDGE ENGINEERING, JPN6018020538, 30 December 2008 (2008-12-30), pages 662 - 667, ISSN: 0003811056 * |
Cited By (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2019215607A (ja) * | 2018-06-11 | 2019-12-19 | 三菱電機株式会社 | 違反依存検出装置および違反依存検出プログラム |
JP7050587B2 (ja) | 2018-06-11 | 2022-04-08 | 三菱電機株式会社 | 違反依存検出装置および違反依存検出プログラム |
JP7404839B2 (ja) | 2018-12-21 | 2023-12-26 | 富士通株式会社 | ソフトウェアプログラム不良位置の識別 |
WO2022091651A1 (ja) * | 2020-10-28 | 2022-05-05 | 日立Astemo株式会社 | 演算装置及び検査方法 |
JP7454700B2 (ja) | 2020-10-28 | 2024-03-22 | 日立Astemo株式会社 | 演算装置及び検査方法 |
Also Published As
Publication number | Publication date |
---|---|
JP6416588B2 (ja) | 2018-10-31 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US8397104B2 (en) | Creation of test plans | |
Alrubaye et al. | On the use of information retrieval to automate the detection of third-party java library migration at the method level | |
US20140033174A1 (en) | Software bug predicting | |
US10162739B2 (en) | Test case generation system and recording medium wherein test case is recorded | |
US8006138B2 (en) | Software quality assessment based on semantic similarities | |
CN104090798A (zh) | 动静态结合的中断驱动程序数据竞争检测方法 | |
US20120185669A1 (en) | Program inspection method and non-transitory, computer readable storage medium storing inspection program | |
JP6245006B2 (ja) | テストケース生成装置、方法、及びプログラム | |
JP6416588B2 (ja) | ソースコード検証システム | |
Lavalle et al. | An approach to automatically detect and visualize bias in data analytics | |
CN112214768A (zh) | 一种恶意进程的检测方法及装置 | |
Muthusamy et al. | Effectiveness of test case prioritization techniques based on regression testing | |
Chakraborty et al. | Entropy guided spectrum based bug localization using statistical language model | |
JP2020135171A (ja) | 機械学習プログラム検証装置および機械学習プログラム検証方法 | |
JP2020067697A (ja) | デッドコード解析プログラム、デッドコード解析方法及びデッドコード解析装置 | |
JP2012181666A (ja) | 情報処理装置、情報処理方法及び情報処理プログラム | |
Ngo et al. | Ranking warnings of static analysis tools using representation learning | |
JP7190246B2 (ja) | ソフトウェア不具合予測装置 | |
JP2019003333A (ja) | バグ混入確率計算プログラム及びバグ混入確率計算方法 | |
JP2013077124A (ja) | ソフトウェアテストケース生成装置 | |
JP2017224185A (ja) | バグ混入確率計算プログラム及びバグ混入確率計算方法 | |
JP7331681B2 (ja) | テスト実行プログラム、テスト実行方法、およびテスト実行装置 | |
CN110309054B (zh) | 代码有效性测试方法、计算设备及存储介质 | |
KR102217092B1 (ko) | 애플리케이션의 품질 정보 제공 방법 및 장치 | |
JP2014059805A (ja) | モデルベースの制御装置用のテストケース生成装置およびテストケース生成方法 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
RD04 | Notification of resignation of power of attorney |
Free format text: JAPANESE INTERMEDIATE CODE: A7424 Effective date: 20170117 |
|
RD04 | Notification of resignation of power of attorney |
Free format text: JAPANESE INTERMEDIATE CODE: A7424 Effective date: 20170124 |
|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20170825 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20170825 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20180425 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20180605 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20180711 |
|
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: 20180904 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20181004 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6416588 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
S533 | Written request for registration of change of name |
Free format text: JAPANESE INTERMEDIATE CODE: R313533 |
|
R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |