JP5136567B2 - プログラム検査支援システム、プログラム検査支援方法およびプログラム検査支援プログラム - Google Patents
プログラム検査支援システム、プログラム検査支援方法およびプログラム検査支援プログラム Download PDFInfo
- Publication number
- JP5136567B2 JP5136567B2 JP2010007036A JP2010007036A JP5136567B2 JP 5136567 B2 JP5136567 B2 JP 5136567B2 JP 2010007036 A JP2010007036 A JP 2010007036A JP 2010007036 A JP2010007036 A JP 2010007036A JP 5136567 B2 JP5136567 B2 JP 5136567B2
- Authority
- JP
- Japan
- Prior art keywords
- performance
- subprogram
- program
- information
- environment
- 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.)
- Expired - Fee Related
Links
Images
Landscapes
- Stored Programmes (AREA)
Description
サブプログラムの非機能要件である該サブプログラムが使用する要素の、基準の性能を表す性能基礎データを記憶する基礎データ記憶手段と、
プログラムに含まれる複数のサブプログラムごとに、該サブプログラムが使用する要素の情報である使用要素情報を取得するプログラム情報取得手段と、
前記性能基礎データと前記使用要素情報から、前記サブプログラムごとの非機能要件の性能の見積値を算出する性能見積手段と、を備え、
前記性能基礎データは、前記サブプログラムが動作する条件または環境の基準の性能を表す環境要素性能と、前記サブプログラムの内部で用いる要素ごとの基準の性能を表すプログラム要素性能のデータを含み、
前記使用要素情報は、前記サブプログラムが動作する条件または環境の情報である環境要素情報と、前記サブプログラムの内部で用いる要素ごとの情報を表すプログラム要素情報を含み、
前記性能見積手段は、前記環境要素性能と前記環境要素情報に基づいて前記サブプログラムが動作する条件または環境に対応する見積値を見積もり、さらに、前記プログラム要素性能と前記プログラム要素情報に基づいて前記サブプログラムの処理内容に対応する見積値を見積もり、これらの見積値に基づいて前記サブプログラムごとの性能の見積値を算出する、
ことを特徴とする。
プログラムの性能の検査を支援する装置が行うプログラム検査支援方法であって、
サブプログラムの非機能要件である該サブプログラムが使用する要素の、基準の性能を表す性能基礎データを取得する基礎データ取得ステップと、
プログラムに含まれる複数のサブプログラムごとに、該サブプログラムが使用する要素の情報である使用要素情報を取得するプログラム情報取得ステップと、
前記性能基礎データと前記使用要素情報から、前記サブプログラムごとの非機能要件の性能の見積値を算出する性能見積ステップと、を備え、
前記性能基礎データは、前記サブプログラムが動作する条件または環境の基準の性能を表す環境要素性能と、前記サブプログラムの内部で用いる要素ごとの基準の性能を表すプログラム要素性能のデータを含み、
前記使用要素情報は、前記サブプログラムが動作する条件または環境の情報である環境要素情報と、前記サブプログラムの内部で用いる要素ごとの情報を表すプログラム要素情報を含み、
前記性能見積ステップは、前記環境要素性能と前記環境要素情報に基づいて前記サブプログラムが動作する条件または環境に対応する見積値を見積もり、さらに、前記プログラム要素性能と前記プログラム要素情報に基づいて前記サブプログラムの処理内容に対応する見積値を見積もり、これらの見積値に基づいて前記サブプログラムごとの性能の見積値を算出するステップを含む、
ことを特徴とする。
サブプログラムの非機能要件である該サブプログラムが使用する要素の、基準の性能を表す性能基礎データを取得する基礎データ取得ステップと、
プログラムに含まれる複数のサブプログラムごとに、該サブプログラムが使用する要素の情報である使用要素情報を取得するプログラム情報取得ステップと、
前記性能基礎データと前記使用要素情報から、前記サブプログラムごとの非機能要件の性能の見積値を算出する性能見積ステップと、を実行させ、
前記性能基礎データは、前記サブプログラムが動作する条件または環境の基準の性能を表す環境要素性能と、前記サブプログラムの内部で用いる要素ごとの基準の性能を表すプログラム要素性能のデータを含み、
前記使用要素情報は、前記サブプログラムが動作する条件または環境の情報である環境要素情報と、前記サブプログラムの内部で用いる要素ごとの情報を表すプログラム要素情報を含み、
前記性能見積ステップは、前記環境要素性能と前記環境要素情報に基づいて前記サブプログラムが動作する条件または環境に対応する見積値を見積もり、さらに、前記プログラム要素性能と前記プログラム要素情報に基づいて前記サブプログラムの処理内容に対応する見積値を見積もり、これらの見積値に基づいて前記サブプログラムごとの性能の見積値を算出するステップを含む、
ことを特徴とする。
図1は、本発明の実施の形態に係るプログラム検査支援システムの構成例を示すブロック図である。プログラム検査支援システム100は、記憶部1と、取得部2と、算出部3と、入力部4とおよび出力部5から構成される。プログラム検査支援システム100の検査対象ファイル12や性能基礎データであるチェック情報11などは、入力部4で入力し、出力部5で出力する。また、プログラム検査支援システム100は、ネットワークNを介して端末6と接続する。
図6は、本発明の実施の形態の変形例に係るプログラム検査支援システムの構成例を示すブロック図である。変形例では、チェック情報がない場合に、開発者に表示することができる。また、サブプログラムが完成した場合に、性能見積もり値と性能実測値とを比較し、見積もりの精度を向上することができる。プログラム検査支援システム100は、実施の形態1の構成に加えて、判定部7および測定部8を備える。
好ましくは、前記性能基礎データは、前記サブプログラムが動作する条件または環境の基準の性能を表す環境要素性能と、前記サブプログラムの内部で用いる要素ごとの基準の性能を表すプログラム要素性能のデータを含み、
前記使用要素情報は、前記サブプログラムが動作する条件または環境の情報である環境要素情報と、前記サブプログラムの内部で用いる要素ごとの情報を表すプログラム要素情報を含み、
前記性能見積手段は、前記環境要素性能と前記環境要素情報の項目ごとの積と、前記プログラム要素性能と前記プログラム要素情報の項目ごとの積とから、前記サブプログラムごとの見積値を算出する、
ことを特徴とする。
前記実測値から、前記サブプログラムの使用要素情報を用いて、前記性能基礎データを算出する実測性能データ生成手段と、
前記基礎データ記憶手段の性能基礎データを、前記実測性能データ生成手段で生成した性能基礎データに更新する手段と、
を備えることを特徴とする。
好ましくは、前記性能基礎データは、前記サブプログラムが動作する条件または環境の基準の性能を表す環境要素性能と、前記サブプログラムの内部で用いる要素ごとの基準の性能を表すプログラム要素性能のデータを含み、
前記使用要素情報は、前記サブプログラムが動作する条件または環境の情報である環境要素情報と、前記サブプログラムの内部で用いる要素ごとの情報を表すプログラム要素情報を含み、
前記性能見積ステップは、前記環境要素性能と前記環境要素情報の項目ごとの積と、前記プログラム要素性能と前記プログラム要素情報の項目ごとの積とから、前記サブプログラムごとの見積値を算出する、
ことを特徴とする。
前記実測値から、前記サブプログラムの使用要素情報を用いて、前記性能基礎データを算出する実測性能データ生成ステップと、
前記基礎データ取得ステップの性能基礎データを、前記実測性能データ生成ステップで生成した性能基礎データに更新するステップと、
を備えることを特徴とする。
2 取得部
3 算出部
4 入力部
5 出力部
6 端末
7 判定部
8 測定部
11 チェック情報
12 検査対象ファイル
31 制御部
32 主記憶部
33 外部記憶部
34 操作部
35 表示部
36 入出力部
37 送受信部
40 制御プログラム
100 プログラム検査支援システム
Claims (7)
- サブプログラムの非機能要件である該サブプログラムが使用する要素の、基準の性能を表す性能基礎データを記憶する基礎データ記憶手段と、
プログラムに含まれる複数のサブプログラムごとに、該サブプログラムが使用する要素の情報である使用要素情報を取得するプログラム情報取得手段と、
前記性能基礎データと前記使用要素情報から、前記サブプログラムごとの非機能要件の性能の見積値を算出する性能見積手段と、を備え、
前記性能基礎データは、前記サブプログラムが動作する条件または環境の基準の性能を表す環境要素性能と、前記サブプログラムの内部で用いる要素ごとの基準の性能を表すプログラム要素性能のデータを含み、
前記使用要素情報は、前記サブプログラムが動作する条件または環境の情報である環境要素情報と、前記サブプログラムの内部で用いる要素ごとの情報を表すプログラム要素情報を含み、
前記性能見積手段は、前記環境要素性能と前記環境要素情報に基づいて前記サブプログラムが動作する条件または環境に対応する見積値を見積もり、さらに、前記プログラム要素性能と前記プログラム要素情報に基づいて前記サブプログラムの処理内容に対応する見積値を見積もり、これらの見積値に基づいて前記サブプログラムごとの性能の見積値を算出する、
ことを特徴とするプログラム検査支援システム。 - 前記性能見積手段は、前記環境要素性能と前記環境要素情報に基づいて前記サブプログラムが動作する条件または環境に対応する見積値を見積もり、さらに、前記要素ごとの前記プログラム要素性能と前記要素ごとの前記プログラム要素情報との積の合計に基づいて見積もった見積値を見積もり、これらの見積値の合計から前記サブプログラムごとの性能の見積値を算出する、
ことを特徴とする請求項1に記載のプログラム検査支援システム。 - 前記サブプログラムを、該サブプログラムが使用する要素の条件で実際に動作させたときの性能データである実測値を取得する実測値取得手段と、
前記実測値から、前記サブプログラムの使用要素情報を用いて、前記性能基礎データを算出する実測性能データ生成手段と、
前記基礎データ記憶手段の性能基礎データを、前記実測性能データ生成手段で生成した性能基礎データに更新する手段と、
を備えることを特徴とする請求項1または2に記載のプログラム検査支援システム。 - プログラムの性能の検査を支援する装置が行うプログラム検査支援方法であって、
サブプログラムの非機能要件である該サブプログラムが使用する要素の、基準の性能を表す性能基礎データを取得する基礎データ取得ステップと、
プログラムに含まれる複数のサブプログラムごとに、該サブプログラムが使用する要素の情報である使用要素情報を取得するプログラム情報取得ステップと、
前記性能基礎データと前記使用要素情報から、前記サブプログラムごとの非機能要件の性能の見積値を算出する性能見積ステップと、を備え、
前記性能基礎データは、前記サブプログラムが動作する条件または環境の基準の性能を表す環境要素性能と、前記サブプログラムの内部で用いる要素ごとの基準の性能を表すプログラム要素性能のデータを含み、
前記使用要素情報は、前記サブプログラムが動作する条件または環境の情報である環境要素情報と、前記サブプログラムの内部で用いる要素ごとの情報を表すプログラム要素情報を含み、
前記性能見積ステップは、前記環境要素性能と前記環境要素情報に基づいて前記サブプログラムが動作する条件または環境に対応する見積値を見積もり、さらに、前記プログラム要素性能と前記プログラム要素情報に基づいて前記サブプログラムの処理内容に対応する見積値を見積もり、これらの見積値に基づいて前記サブプログラムごとの性能の見積値を算出するステップを含む、
ことを特徴とするプログラム検査支援方法。 - 前記性能見積ステップは、前記環境要素性能と前記環境要素情報に基づいて前記サブプログラムが動作する条件または環境に対応する見積値を見積もり、さらに、前記要素ごとの前記プログラム要素性能と前記要素ごとの前記プログラム要素情報との積の合計に基づいて見積もった見積値を見積もり、これらの見積値の合計から前記サブプログラムごとの性能の見積値を算出するステップを含む、
ことを特徴とする請求項4に記載のプログラム検査支援方法。 - 前記サブプログラムを、該サブプログラムが使用する要素の条件で実際に動作させたときの性能データである実測値を取得する実測値取得ステップと、
前記実測値から、前記サブプログラムの使用要素情報を用いて、前記性能基礎データを算出する実測性能データ生成ステップと、
前記基礎データ取得ステップの性能基礎データを、前記実測性能データ生成ステップで生成した性能基礎データに更新するステップと、
を備えることを特徴とする請求項4または5に記載のプログラム検査支援方法。 - コンピュータに、
サブプログラムの非機能要件である該サブプログラムが使用する要素の、基準の性能を表す性能基礎データを取得する基礎データ取得ステップと、
プログラムに含まれる複数のサブプログラムごとに、該サブプログラムが使用する要素の情報である使用要素情報を取得するプログラム情報取得ステップと、
前記性能基礎データと前記使用要素情報から、前記サブプログラムごとの非機能要件の性能の見積値を算出する性能見積ステップと、を実行させ、
前記性能基礎データは、前記サブプログラムが動作する条件または環境の基準の性能を表す環境要素性能と、前記サブプログラムの内部で用いる要素ごとの基準の性能を表すプログラム要素性能のデータを含み、
前記使用要素情報は、前記サブプログラムが動作する条件または環境の情報である環境要素情報と、前記サブプログラムの内部で用いる要素ごとの情報を表すプログラム要素情報を含み、
前記性能見積ステップは、前記環境要素性能と前記環境要素情報に基づいて前記サブプログラムが動作する条件または環境に対応する見積値を見積もり、さらに、前記プログラム要素性能と前記プログラム要素情報に基づいて前記サブプログラムの処理内容に対応する見積値を見積もり、これらの見積値に基づいて前記サブプログラムごとの性能の見積値を算出するステップを含む、
ことを特徴とするプログラム検査支援プログラム。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2010007036A JP5136567B2 (ja) | 2010-01-15 | 2010-01-15 | プログラム検査支援システム、プログラム検査支援方法およびプログラム検査支援プログラム |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2010007036A JP5136567B2 (ja) | 2010-01-15 | 2010-01-15 | プログラム検査支援システム、プログラム検査支援方法およびプログラム検査支援プログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2011145937A JP2011145937A (ja) | 2011-07-28 |
JP5136567B2 true JP5136567B2 (ja) | 2013-02-06 |
Family
ID=44460726
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2010007036A Expired - Fee Related JP5136567B2 (ja) | 2010-01-15 | 2010-01-15 | プログラム検査支援システム、プログラム検査支援方法およびプログラム検査支援プログラム |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP5136567B2 (ja) |
Families Citing this family (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPWO2014068979A1 (ja) * | 2012-11-02 | 2016-09-08 | 日本電気株式会社 | 性能見積もり装置、性能見積もり方法、及びプログラム |
JP6213552B2 (ja) * | 2013-02-14 | 2017-10-18 | 日本電気株式会社 | 非機能評価によるプロジェクト管理システム、非機能評価によるプロジェクト管理方法および非機能評価によるプロジェクト管理用プログラム |
KR101748378B1 (ko) * | 2015-12-28 | 2017-06-27 | (주)아이티엑스퍼트그룹 | 개발공정에서의 응용프로그램의 성능관리 시스템 및 그 방법 |
Family Cites Families (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH06139065A (ja) * | 1992-10-29 | 1994-05-20 | Hokuriku Nippon Denki Software Kk | プログラム性能見積もり装置 |
JP2002215423A (ja) * | 2001-01-22 | 2002-08-02 | Hitachi Ltd | ソフトウェアモデル作成方法 |
JP2002251303A (ja) * | 2001-02-23 | 2002-09-06 | Matsushita Electric Ind Co Ltd | システムの評価装置および評価結果の表示装置 |
JP4787460B2 (ja) * | 2003-01-17 | 2011-10-05 | 日本電気株式会社 | ソフトウェア・コンポーネントの性能測定を基にしたシステム性能予測方式および方法 |
-
2010
- 2010-01-15 JP JP2010007036A patent/JP5136567B2/ja not_active Expired - Fee Related
Also Published As
Publication number | Publication date |
---|---|
JP2011145937A (ja) | 2011-07-28 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US7613589B2 (en) | Measuring productivity and quality in model-based design | |
US9268672B1 (en) | Automated test case generation for applications | |
US9507943B1 (en) | Analysis tool for data security | |
US8433554B2 (en) | Predicting system performance and capacity using software module performance statistics | |
US9329968B2 (en) | Testing application performance using virtual machines created from the same image on different hardware platforms | |
Kapur et al. | Multi up-gradation software reliability growth model with imperfect debugging | |
EP3311265B1 (en) | A computing platform and method thereof for searching, executing, and evaluating computational algorithms | |
JP5136567B2 (ja) | プログラム検査支援システム、プログラム検査支援方法およびプログラム検査支援プログラム | |
Noyer et al. | A model-based framework encompassing a complete workflow from specification until validation of timing requirements in embedded software systems | |
US9009666B1 (en) | Systems and methods for testing software and for storing and tracking test assets with the software | |
Garcia et al. | ESBMC^ QtOM Q t OM: A Bounded Model Checking Tool to Verify Qt Applications | |
CN116893960A (zh) | 代码质量检测方法、装置、计算机设备和存储介质 | |
US11734056B1 (en) | Declarative code player execution of a processing widget | |
Danciu et al. | Performance awareness in Java EE development environments | |
Brada et al. | Ensuring component application consistency on small devices: A repository-based approach | |
Kendall et al. | Risk-Based software development practices for create multiphysics HPC software applications | |
CN113032006B (zh) | 插件构建方法、装置、设备和存储介质 | |
Van Amstel et al. | Model-driven software engineering | |
JP7328922B2 (ja) | 設定装置、設定方法、及びプログラム | |
Heirendt et al. | ARTENOLIS: Automated Reproducibility and Testing Environment for Licensed Software | |
Ivory et al. | Comparing performance and usability evaluation: new methods for automated usability assessment | |
Marín et al. | Key features for a successful model-driven development tool | |
JP4962226B2 (ja) | 開発支援システム、開発支援装置、開発支援方法、および開発支援プログラム | |
JP2012088933A (ja) | ソフトウェアプロダクトライン開発支援装置、その方法およびそのプログラム | |
Isa et al. | Model-driven estimation approach for system reliability using integrated tasks and resources |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20120718 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20120724 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20120924 |
|
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: 20121016 |
|
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20121029 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 5136567 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20151122 Year of fee payment: 3 |
|
LAPS | Cancellation because of no payment of annual fees |