JP6742556B1 - ソフトウェア解析装置 - Google Patents
ソフトウェア解析装置 Download PDFInfo
- Publication number
- JP6742556B1 JP6742556B1 JP2020512064A JP2020512064A JP6742556B1 JP 6742556 B1 JP6742556 B1 JP 6742556B1 JP 2020512064 A JP2020512064 A JP 2020512064A JP 2020512064 A JP2020512064 A JP 2020512064A JP 6742556 B1 JP6742556 B1 JP 6742556B1
- Authority
- JP
- Japan
- Prior art keywords
- execution
- unit
- execution history
- designated
- display information
- 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.)
- Active
Links
- 238000004458 analytical method Methods 0.000 claims abstract description 80
- 238000004364 calculation method Methods 0.000 claims abstract description 47
- 230000001419 dependent effect Effects 0.000 claims abstract description 31
- 230000006870 function Effects 0.000 description 111
- 238000000034 method Methods 0.000 description 29
- 238000010586 diagram Methods 0.000 description 22
- 238000012545 processing Methods 0.000 description 21
- 230000008569 process Effects 0.000 description 15
- 230000008859 change Effects 0.000 description 3
- 238000007796 conventional method Methods 0.000 description 3
- 239000002131 composite material Substances 0.000 description 1
- 239000012141 concentrate Substances 0.000 description 1
- 238000012790 confirmation Methods 0.000 description 1
- 238000013461 design Methods 0.000 description 1
- 238000011161 development Methods 0.000 description 1
- 238000005516 engineering process Methods 0.000 description 1
- 230000006872 improvement Effects 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 230000003287 optical effect Effects 0.000 description 1
- 239000004065 semiconductor Substances 0.000 description 1
- 230000003068 static effect Effects 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F3/00—Input arrangements for transferring data to be processed into a form capable of being handled by the computer; Output arrangements for transferring data from processing unit to output unit, e.g. interface arrangements
- G06F3/14—Digital output to display device ; Cooperation and interconnection of the display device with other functional units
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/30—Monitoring
- G06F11/3003—Monitoring arrangements specially adapted to the computing system or computing system component being monitored
- G06F11/302—Monitoring arrangements specially adapted to the computing system or computing system component being monitored where the computing system component is a software system
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3604—Software analysis for verifying properties of programs
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/362—Software debugging
- G06F11/3636—Software debugging by tracing the execution of the program
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/70—Software maintenance or management
- G06F8/75—Structural analysis for program understanding
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F2201/00—Indexing scheme relating to error detection, to error correction, and to monitoring
- G06F2201/87—Monitoring of transactions
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F2201/00—Indexing scheme relating to error detection, to error correction, and to monitoring
- G06F2201/88—Monitoring involving counting
-
- G—PHYSICS
- G09—EDUCATION; CRYPTOGRAPHY; DISPLAY; ADVERTISING; SEALS
- G09G—ARRANGEMENTS OR CIRCUITS FOR CONTROL OF INDICATING DEVICES USING STATIC MEANS TO PRESENT VARIABLE INFORMATION
- G09G2354/00—Aspects of interface with display user
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Software Systems (AREA)
- Quality & Reliability (AREA)
- Human Computer Interaction (AREA)
- Computer Hardware Design (AREA)
- Computing Systems (AREA)
- Mathematical Physics (AREA)
- Debugging And Monitoring (AREA)
- Stored Programmes (AREA)
Abstract
Description
図1は、本実施の形態1によるソフトウェア解析装置1の構成の一例を示すブロック図である。図1に示すように、ソフトウェア解析装置1は、制御部2と、記憶部3と、出力部4とを備えている。
(1)ソフトウェアの途中で分割された複数の実行履歴を結合して解析し、当該解析結果を表示することができる。
(2)同一の操作を行った複数の実行履歴を解析し、当該解析結果を表示することができる。
(3)複数の開発者が操作した実行履歴を解析し、当該解析結果を表示することができる。
図8は、本実施の形態2によるソフトウェア解析装置20の構成の一例を示すブロック図である。
図13は、本実施の形態3によるソフトウェア解析装置25の構成の一例を示すブロック図である。
図16は、本実施の形態4によるソフトウェア解析装置29の構成の一例を示すブロック図である。
図18は、本実施の形態5によるソフトウェア解析装置32の構成の一例を示すブロック図である。
図21は、本実施の形態6によるソフトウェア解析装置36の構成の一例を示すブロック図である。
図23は、本実施の形態1によるソフトウェア解析装置1のハードウェア構成の一例を示す図である。なお、以下では、実施の形態1によるソフトウェア解析装置1を一例として説明するが、実施の形態2によるソフトウェア解析装置20、実施の形態3によるソフトウェア解析装置25、実施の形態4によるソフトウェア解析装置29、実施の形態5によるソフトウェア解析装置32、および実施の形態6によるソフトウェア解析装置36についても同様である。
Claims (6)
- ソフトウェアの構造情報と、前記ソフトウェアの複数の実行履歴とを取得する取得部と、
前記取得部が取得した前記構造情報および前記複数の実行履歴に基づいて、前記構造情報に含まれる複数の構造要素の重みと、各前記構造要素の依存関係の重みとを解析する解析部と、
前記構造情報に含まれる各前記構造要素のうち、一の前記構造要素を指定構造要素として指定する構造要素指定部と、
前記指定構造要素と依存関係がある構造要素である依存構造要素および当該依存構造要素の重みと、前記指定構造要素と前記依存構造要素との対応関係および当該対応関係の重みとを含む表示情報を算出する表示情報算出部と、
前記表示情報算出部が算出した前記表示情報を表示する表示部と、
を備える、ソフトウェア解析装置。 - 前記取得部が取得した前記複数の実行履歴のうち、一の前記実行履歴を指定実行履歴として指定する実行履歴指定部をさらに備え、
前記表示情報算出部は、前記実行履歴指定部が指定した一の前記指定実行履歴における前記表示情報を算出することを特徴とする、請求項1に記載のソフトウェア解析装置。 - 前記取得部が取得した前記複数の実行履歴のうち、複数の前記実行履歴を指定実行履歴として指定する実行履歴指定部をさらに備え、
前記表示情報算出部は、前記実行履歴指定部が指定した各前記指定実行履歴における前記指定構造要素および前記依存構造要素のそれぞれの重みの合計と、前記指定構造要素および前記依存構造要素の前記依存関係の重みの合計とを含む前記表示情報を算出し、
前記表示部は、各前記重みの合計に応じて前記表示情報を表示することを特徴とする、請求項1に記載のソフトウェア解析装置。 - 前記取得部が取得した前記複数の実行履歴のうち、複数の前記実行履歴を指定実行履歴として指定する実行履歴指定部をさらに備え、
前記表示情報算出部は、前記実行履歴指定部が指定した各前記指定実行履歴の全てで実行された前記指定構造要素、前記依存構造要素、および前記依存関係のそれぞれの重みを共通情報として前記表示情報に含め、
前記表示部は、前記共通情報を強調して表示することを特徴とする、請求項1に記載のソフトウェア解析装置。 - 前記取得部が取得した前記複数の実行履歴のうち、第1実行履歴および第2実行履歴を指定する実行履歴指定部をさらに備え、
前記表示情報算出部は、前記第1実行履歴における前記指定構造要素、前記依存構造要素、および前記依存関係のそれぞれの重みと、前記第2実行履歴における前記指定構造要素、前記依存構造要素、および前記依存関係のそれぞれの重みとの差分を示す差分情報を前記表示情報に含め、
前記表示部は、前記差分情報を強調して表示することを特徴とする、請求項1に記載のソフトウェア解析装置。 - 前記表示部は、前記差分を有する前記指定構造要素および前記依存構造要素のうちの少なくとも一方とその重みとを強調して表示することを特徴とする、請求項5に記載のソフトウェア解析装置。
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
PCT/JP2019/041331 WO2021079408A1 (ja) | 2019-10-21 | 2019-10-21 | ソフトウェア解析装置 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP6742556B1 true JP6742556B1 (ja) | 2020-08-19 |
JPWO2021079408A1 JPWO2021079408A1 (ja) | 2021-04-29 |
Family
ID=72047995
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2020512064A Active JP6742556B1 (ja) | 2019-10-21 | 2019-10-21 | ソフトウェア解析装置 |
Country Status (3)
Country | Link |
---|---|
US (1) | US11880681B2 (ja) |
JP (1) | JP6742556B1 (ja) |
WO (1) | WO2021079408A1 (ja) |
Family Cites Families (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2001290639A (ja) | 2000-04-07 | 2001-10-19 | Hitachi Ltd | ソフトウェア再構成方式 |
JP2009086791A (ja) * | 2007-09-28 | 2009-04-23 | Hitachi Ltd | ソフトウェア製品系列分析装置 |
JP5156491B2 (ja) * | 2008-06-09 | 2013-03-06 | 株式会社プロフィールド | 情報処理装置、情報処理方法、およびプログラム |
JP5598375B2 (ja) * | 2011-02-22 | 2014-10-01 | 富士通株式会社 | プログラムに含まれるコードをメモリ領域に割り当てる割当方法及びその方法を実行するメモリシステム |
JP5687122B2 (ja) * | 2011-04-26 | 2015-03-18 | 三菱電機株式会社 | ソフトウェア評価装置、ソフトウェア評価方法およびシステム評価装置 |
JP6310527B1 (ja) | 2016-10-27 | 2018-04-11 | 株式会社Dtsインサイト | オブジェクト分析装置、オブジェクト分析方法、及びプログラム |
JP6906677B2 (ja) * | 2018-02-15 | 2021-07-21 | 三菱電機株式会社 | ソフトウェア可視化装置、ソフトウェア可視化方法およびソフトウェア可視化プログラム |
-
2019
- 2019-10-21 JP JP2020512064A patent/JP6742556B1/ja active Active
- 2019-10-21 US US17/762,853 patent/US11880681B2/en active Active
- 2019-10-21 WO PCT/JP2019/041331 patent/WO2021079408A1/ja active Application Filing
Also Published As
Publication number | Publication date |
---|---|
US11880681B2 (en) | 2024-01-23 |
JPWO2021079408A1 (ja) | 2021-04-29 |
US20220276864A1 (en) | 2022-09-01 |
WO2021079408A1 (ja) | 2021-04-29 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP6320475B2 (ja) | 誤検出の効率的な排除に基づく静的解析 | |
JP5933762B2 (ja) | コード網羅率決定方法およびシステム | |
US8589884B2 (en) | Method and system for identifying regression test cases for a software | |
CN111104335B (zh) | 一种基于多层次分析的c语言缺陷检测方法及装置 | |
KR100921514B1 (ko) | 성능 예측 기능을 제공하는 소프트웨어 개발 장치 및 방법 | |
US20140365990A1 (en) | Software evaluation device and method | |
JP6253521B2 (ja) | プログラム可視化装置、プログラム可視化方法、及びプログラム可視化プログラム | |
JP2008204405A (ja) | ソフトウェアのリグレッションテストシステム、リグレッションテストプログラムおよびリグレッションテスト方法 | |
US10872025B1 (en) | Automatic performance testing and performance regression analysis in a continuous integration environment | |
JP6742556B1 (ja) | ソフトウェア解析装置 | |
WO2019142266A1 (ja) | テストケース生成装置、テストケース生成方法およびテストケース生成プログラム | |
US20100250225A1 (en) | Date and time simulation for time-sensitive applications | |
US20080052587A1 (en) | Unit Test Extender | |
JP2011258058A (ja) | 性能予測装置及びコンピュータプログラム及び性能予測方法 | |
JP7046217B2 (ja) | ソフトウェア解析装置、ソフトウェア解析方法およびソフトウェア解析プログラム | |
US11593249B2 (en) | Scalable points-to analysis via multiple slicing | |
CN110309054B (zh) | 代码有效性测试方法、计算设备及存储介质 | |
JP2014059805A (ja) | モデルベースの制御装置用のテストケース生成装置およびテストケース生成方法 | |
Groenda | Improving performance predictions by accounting for the accuracy of composed performance models | |
WO2012111167A1 (ja) | トレース情報取得方法、コンピュータシステム及びプログラム | |
JPH06119205A (ja) | ソフトウェアの品質分析装置およびその高品質化支援装置 | |
JP4536576B2 (ja) | ソフトウェアカバレッジ測定装置及び方法 | |
JP2017142733A (ja) | ドライバ生成プログラム、装置、及び方法 | |
JP2005090959A (ja) | 制御プログラムおよび測定システム | |
KR20230006998A (ko) | 소프트웨어의 기능점수를 산출하는 방법 및 장치 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20200227 |
|
A871 | Explanation of circumstances concerning accelerated examination |
Free format text: JAPANESE INTERMEDIATE CODE: A871 Effective date: 20200227 |
|
A975 | Report on accelerated examination |
Free format text: JAPANESE INTERMEDIATE CODE: A971005 Effective date: 20200316 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20200324 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20200427 |
|
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: 20200630 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20200728 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6742556 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |