JP5605397B2 - 結合検査要否判定方法及び装置 - Google Patents
結合検査要否判定方法及び装置 Download PDFInfo
- Publication number
- JP5605397B2 JP5605397B2 JP2012155749A JP2012155749A JP5605397B2 JP 5605397 B2 JP5605397 B2 JP 5605397B2 JP 2012155749 A JP2012155749 A JP 2012155749A JP 2012155749 A JP2012155749 A JP 2012155749A JP 5605397 B2 JP5605397 B2 JP 5605397B2
- Authority
- JP
- Japan
- Prior art keywords
- determination
- software component
- software
- inspection
- necessity
- 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
- 238000007689 inspection Methods 0.000 title claims description 57
- 238000000034 method Methods 0.000 title claims description 30
- 230000014509 gene expression Effects 0.000 claims description 31
- 239000000047 product Substances 0.000 description 20
- 238000012545 processing Methods 0.000 description 13
- 238000012360 testing method Methods 0.000 description 8
- 238000004458 analytical method Methods 0.000 description 3
- 239000006227 byproduct Substances 0.000 description 2
- 238000004891 communication Methods 0.000 description 2
- 230000000694 effects Effects 0.000 description 2
- 238000004364 calculation method Methods 0.000 description 1
- 238000010276 construction Methods 0.000 description 1
- 238000011161 development Methods 0.000 description 1
- 238000010586 diagram Methods 0.000 description 1
- 230000010365 information processing Effects 0.000 description 1
- 238000004519 manufacturing process Methods 0.000 description 1
- 230000009897 systematic effect Effects 0.000 description 1
Images
Classifications
-
- 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/3668—Software testing
- G06F11/3672—Test management
- G06F11/3688—Test management for test execution, e.g. scheduling of test suites
-
- 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
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/30—Monitoring
-
- 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/3668—Software testing
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Quality & Reliability (AREA)
- Computer Hardware Design (AREA)
- Software Systems (AREA)
- Stored Programmes (AREA)
Description
第5のステップでは、第4のステップにて指定された全てのソフトウェア部品について個別判定式生成手段にて生成された個別判定式を論理積で結合することで要否判定式を生成し、その要否判定式が常に偽となる場合(恒偽式)は検査不要、その要否判定式が真偽不明または常に真となる場合(恒真式)は検査必要と判定する。
<全体構成>
本実施形態に係る結合検査要否判定装置1は、図1に示すように、各種指令を入力するための操作部2と、操作手順や処理結果等を表示するための出力部3と、ソフトウェアプロダクトライン(SPL)で使用する各種情報を記憶する記憶部4と、操作部2から入力される指令に従って、記憶部4に記憶された各種情報を用いた処理を実行し、処理結果を出力部3に出力したり記憶部4に格納したりする制御部5とを備えている。
ここでフィーチャモデルとは、図2(a)に示すように、製品分析によって抽出された個々の仕様(機能や品質等)をフィーチャとして、各フィーチャの関係(従属関係、選択肢等)を体系的に表したものである。
制御部は、CPU,ROM,RAMを少なくとも備えた周知のマイクロコンピュータからなり、個別判定式を生成して判定式DB42を生成する個別判定式生成処理、及び個別判定式DB42に記憶された個別判定式を使用して、指定されたソフトウェア部品間の結合検査の要否を判定する結合検査要否判定処理を少なくとも実行する。
<<個別判定式生成処理>>
ここで個別判定式生成処理の内容を、図3に示すフローチャートに沿って説明する。以下ではステップを単に「S」と示す。
S120では、S110にて取得した対応情報に基づいて、ソフトウェア部品Sij毎に、該ソフトウェア部品Sijに対応付けられた全てのフィーチャの状態変数の集合Cijを生成する。なお、フィーチャの状態変数は、着目するフィーチャについて、そのフィーチャが選択された場合に真(TRUE)、選択されなかった場合に偽(FALSE)となるブール変数からなる。
S170では、S150で生成されたを否定論理式NH(Cix)のうち、t≠jとなるNi −1個の否定論理式H(Cit)、及び論理式H(Cij)からなるNi 個の論理式の全てを論理積で結合することによって、ソフトウェア部品Sijに関する個別判定式IS(Cij)を生成し、これを個別判定式DB42に記憶する。
パラメータiが総数M以下であれば、S150に戻って、否定倫理式の生成、個別判定式の生成,記憶を繰り返し、パラメータiが総数M以上であれば、コア資産DB41に用意された全てのソフトウェア部品について、個別判定式の生成が終了したものとして本処理を終了する。
例えば、個々の状態変数をf1,f2,…で表すものとし、i=1で特定される種類のソフトウェア部品のバリエーションの総数がN1 =3であり、これら各ソフトウェア部品のフィーチャ集合が、C11={f1,f2}、C12={f1,f3}、C13={f2,f4} である場合を考える。また、論理積を「*」、論理否定を「!」で表すものとすると、ソフトウェア部品S11の個別判定式IS(C11)は、(1)式で表される。
=(f1*f2)*!(f1*f3)*!(f2*f4)
=f1*f2*!f3*!f4 (1)
<<結合検査要否判定処理>>
次に、結合検査要否判定処理の内容を、図4に示すフローチャートに沿って説明する。
この判定対象情報として、操作部2を介して操作者が指定した内容を取得してもよいし、予め用意された(記憶部4または図示しない外部記憶装置等に記憶された)判定対象情報のリストから順次取得してもよい。
そして、対象組合せパタンが判定結果DBに登録済みであれば、S330に移行し、判定結果DB43から、対象組合せパタンについての判定結果を取得し、その取得した要否判定結果を出力部3に出力して本処理を終了する。
例えば、フィーチャ集合が、C11={f1,f2}、C12={f1,f3}、C13={f2,f4}、C22={f2,f4}である場合を考える。
=f1*f2*!f3*!f4 (2)
ITT(C12,C21)=IS(C12)*IS(C21)
=f1*f3*(!f3+!f2*!f4)*f2*!f4 (3)
(2)式は、状態変数の値によって真偽が決まるため、ソフトウェア部品S11,S21の組合せは結合検査が必要であると判断される。一方、(3)式は、式中に(f2*!f2)が含まれており、状態変数の値によらず常に偽となる(恒偽式)ため、ソフトウェア部品S12,S21の組合せは結合検査が不要であると判断される。
ここで、要否判定式による要否判定結果を記憶する判定結果DB43及び判定結果DB43の検索に使用する検索用DB44について説明する。
まず、検索対象となる対象組合せパタンを構成する全てのソフトウェア部品について、検索用DB44から転置インデックスを抽出する。
以上説明したように、結合検査要否判定装置1によれば、ソフトウェア部品Sij毎に生成された個別判定式IS(Cij)を用い、検査対象となる全てのソフトウェア部品の個別判定式を論理結合することで生成される要否判定式によって、結合検査の要否判定を解析的に行っているため、検査対象となるソフトウェア部品の数やソフトウェア部品間の関係の複雑度によらず、簡易な論理計算によって結合検査の要否判定結果を得ることができる。
以上本発明の一実施形態について説明したが、本発明は上記実施形態に限定されるものではなく、様々な態様にて実施することが可能である。
Claims (4)
- ソフトウェアプロダクトラインのコア資産として使用される再利用可能なソフトウェアであるソフトウェア部品間の結合検査の要否を判定する結合検査要否判定方法であって、
前記ソフトウェアプロダクトラインによって製造されるプロダクト群の特徴を表現したフィーチャモデルを構成する各フィーチャと前記ソフトウェア部品の種類及びバリエーションとの対応関係を表す対応情報を取得する第1のステップ(S110)と、
前記ソフトウェア部品の種類をi(i=1,2,…M:Mはソフトウェア部品の種類の総数),バリエーションをj(j=1,2,…Ni :Ni は種類iで特定されるソフトウェア部品のバリエーションの総数)、i,jによって特定される一つのソフトウェア部品をSijで表すものとして、前記フィーチャ毎に用意され、該フィーチャが選択された場合に真、選択されなかった場合に偽となる状態変数を使用し、前記第1のステップで取得した対応情報に従って、前記ソフトウェア部品Sij毎に、該ソフトウェア部品Sijに対応付けられた全てのフィーチャの前記状態変数の集合Cijを生成する第2のステップ(S120)と、
iによって特定されるNi 個のソフトウェア部品からなるソフトウェア部品群をSix、Sixのうちjによって特定されるバリエーション以外のNi −1個のバリエーションをt(t≠j)で表し、Cijの全要素を論理積で結合することで得られる論理式をH(Cij)、H(Cij)を論理否定することで得られる論理式をNH(Cij)で表すものとして、前記ソフトウェア部品Sij毎に、H(Cij)及びNi −1個のNH(Cit)を論理積で結合した論理式からなる個別判定式IS(Cij)を生成する第3のステップ(S130〜S210)と、
結合検査の要否判定の対象となる二つ以上のソフトウェア部品を指定する第4のステップ(S310)と、
前記第4のステップで指定されたソフトウェア部品について前記第3のステップにて生成された全ての個別判定式を論理積で結合することで要否判定式を生成し、該要否判定式が常に偽(恒偽式)となる場合は検査不要、該要否判定式が真偽不明または常に真(恒真式)となる場合は検査必要と判定する第5のステップ(S340〜S370)と、
をコンピュータに実行させることを特徴とする結合検査要否判定方法。 - ソフトウェアプロダクトラインのコア資産として使用される再利用可能なソフトウェアであるソフトウェア部品間の結合検査の要否を判定する結合検査要否判定装置(1)であって、
前記ソフトウェアプロダクトラインによって製造されるプロダクト群の特徴を表現したフィーチャモデルを構成する各フィーチャと前記ソフトウェア部品の種類及びバリエーションとの対応関係を表す対応情報を取得する対応情報取得手段(5,S110)と、
前記ソフトウェア部品の種類をi(i=1,2,…M:Mはソフトウェア部品の種類の総数),バリエーションをj(j=1,2,…Ni :Ni は種類iで特定されるソフトウェア部品のバリエーションの総数)、i,jによって特定される一つのソフトウェア部品をSijで表すものとして、前記フィーチャ毎に用意され、該フィーチャが選択された場合に真、選択されなかった場合に偽となる状態変数を使用し、前記対応情報取得手段によって取得された対応情報に従って、前記ソフトウェア部品Sij毎に、該ソフトウェア部品Sijに対応付けられた全てのフィーチャの前記状態変数の集合Cijを生成する状態集合生成手段(5,S120)と、
iによって特定されるNi 個のソフトウェア部品からなるソフトウェア部品群をSix、Sixのうちjによって特定されるバリエーション以外のNi −1個のバリエーションをt(t≠j)で表し、Cijの全要素を論理積で結合することで得られる論理式をH(Cij)、H(Cij)を論理否定することで得られる論理式をNH(Cij)で表すものとして、前記ソフトウェア部品Sij毎に、H(Cij)及びNi −1個のNH(Cit)を論理積で結合した論理式からなる個別判定式IS(Cij)を生成する個別判定式生成手段(5,S130〜S210)と、
結合検査の要否を判定する対象となる二つ以上のソフトウェア部品を指定する対象指定手段(5,S310)と、
該対象指定手段にて指定されたソフトウェア部品について前記個別判定式生成手段にて生成された全ての個別判定式を論理積で結合することで要否判定式を生成し、該要否判定式が常に偽(恒偽式)となる場合は検査不要、該要否判定式が真偽不明または常に真(恒真式)となる場合は検査必要と判定する検査要否判定手段(5,S340〜S350)と、
検査要否判定手段での判定結果を出力する判定結果出力手段(5,S360〜S370)と、
を備えることを特徴とする結合検査要否判定装置。 - 結合検査要否判定手段での判定結果を前記ソフトウェア部品の組合せと対応付けて記憶する判定結果記憶手段(43)を備え、
前記判定結果出力手段(5,S320〜S330)は、前記対象指定手段にて選択されたソフトウェア部品の組合せについての判定結果が前記判定結果記憶手段に記憶されている場合には、前記検査要否判定手段による判定を実行することなく、前記判定結果記憶手段に記憶されている判定結果を出力することを特徴とする請求項2に記載の結合検査要否判定装置。 - 前記判定結果記憶手段の検索を、転置インデックスを用いて実行することを特徴とする請求項3に記載の結合検査要否判定装置。
Priority Applications (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2012155749A JP5605397B2 (ja) | 2012-07-11 | 2012-07-11 | 結合検査要否判定方法及び装置 |
US13/938,518 US8959487B2 (en) | 2012-07-11 | 2013-07-10 | Method and apparatus for judging necessity of performing integration test |
DE102013213593.9A DE102013213593A1 (de) | 2012-07-11 | 2013-07-11 | Verfahren und Vorrichtung zur Beurteilung des Erfordernisses zum Ausführen eines Integrationstests |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2012155749A JP5605397B2 (ja) | 2012-07-11 | 2012-07-11 | 結合検査要否判定方法及び装置 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2014016950A JP2014016950A (ja) | 2014-01-30 |
JP5605397B2 true JP5605397B2 (ja) | 2014-10-15 |
Family
ID=49781684
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2012155749A Expired - Fee Related JP5605397B2 (ja) | 2012-07-11 | 2012-07-11 | 結合検査要否判定方法及び装置 |
Country Status (3)
Country | Link |
---|---|
US (1) | US8959487B2 (ja) |
JP (1) | JP5605397B2 (ja) |
DE (1) | DE102013213593A1 (ja) |
Families Citing this family (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US9189517B2 (en) * | 2013-10-02 | 2015-11-17 | Microsoft Technology Licensing, Llc | Integrating search with application analysis |
US9674141B2 (en) * | 2013-12-27 | 2017-06-06 | Intel Corporation | Techniques for implementing a secure mailbox in resource-constrained embedded systems |
US20170270036A1 (en) * | 2016-03-15 | 2017-09-21 | Wipro Limited | Method and system for performing regression integration testing |
CN110321280B (zh) * | 2019-05-22 | 2022-03-22 | 梁俊杰 | 一种数据处理方法以及相关设备 |
JP7239412B2 (ja) * | 2019-07-17 | 2023-03-14 | 株式会社日立製作所 | セキュリティ運用支援システムおよびその方法 |
Family Cites Families (9)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
DE4416704A1 (de) * | 1994-05-11 | 1995-11-16 | Siemens Ag | Integrationstestverfahren für ein objektorientiertes Programm |
JP2001243090A (ja) * | 2000-02-29 | 2001-09-07 | Nec Corp | テスト項目自動生成システム及びテスト項目自動生成方法並びにプログラムを記録した機械可読記録媒体 |
WO2001090897A2 (en) * | 2000-05-19 | 2001-11-29 | Leung Wu Hon Francis | Methods and apparatus for preventing software modifications from invalidating previously passed integration tests |
KR100526181B1 (ko) * | 2003-05-13 | 2005-11-03 | 삼성전자주식회사 | 다양한 표준과 테스팅 수준을 지원하는 테스트 스트림생성 방법 및 장치 |
US20050204201A1 (en) * | 2004-03-15 | 2005-09-15 | Ramco Systems Limited | Method and system for testing software development activity |
US7853209B2 (en) | 2004-03-30 | 2010-12-14 | Mitsubishi Denki Kabushiki Kaisha | Mobile communication station, base station apparatus, and dedicated-short-range-communications system |
JP2009223856A (ja) | 2008-03-19 | 2009-10-01 | Network Oyo Gijutsu Kenkyusho:Kk | 支援システム、モデル生成装置、表示装置、支援方法、及び、製造方法 |
JP5316485B2 (ja) * | 2010-06-22 | 2013-10-16 | 富士電機株式会社 | ソフトウェア開発支援装置、ソフトウェア開発支援方法およびソフトウェア開発支援プログラム |
JP5319643B2 (ja) | 2010-10-20 | 2013-10-16 | 株式会社日立製作所 | ソフトウェアプロダクトライン開発支援装置およびその方法 |
-
2012
- 2012-07-11 JP JP2012155749A patent/JP5605397B2/ja not_active Expired - Fee Related
-
2013
- 2013-07-10 US US13/938,518 patent/US8959487B2/en active Active
- 2013-07-11 DE DE102013213593.9A patent/DE102013213593A1/de not_active Ceased
Also Published As
Publication number | Publication date |
---|---|
DE102013213593A1 (de) | 2014-01-16 |
US8959487B2 (en) | 2015-02-17 |
JP2014016950A (ja) | 2014-01-30 |
US20140019938A1 (en) | 2014-01-16 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP5605397B2 (ja) | 結合検査要否判定方法及び装置 | |
US9465724B2 (en) | Method, program, and system for generating test cases | |
JP6719748B2 (ja) | 探索システム、探索方法および物性データベース管理装置 | |
WO2012055787A4 (en) | Method for displaying a data setid50000036460247 p. doc 2012-01-05 | |
JP6725962B2 (ja) | 複数の目的に適合する複数の多目的設計からグループを選択するコンピュータ化された方法、コンピュータ実行可能命令を備えるコンピュータ可読媒体、システム、およびコンピュータ・プログラム製品 | |
JP2018152063A (ja) | 学習結果識別装置、学習結果識別方法、及びそのプログラム | |
JPWO2017109903A1 (ja) | 異常原因推定装置及び異常原因推定方法 | |
CN105975269B (zh) | 一种基于流程模型的需求验证方法 | |
US11880192B2 (en) | Method for analyzing effects of operator actions in industrial plants | |
KR20220085740A (ko) | 인공지능 소프트웨어의 신뢰성 평가 방법 및 장치 | |
JP6310527B1 (ja) | オブジェクト分析装置、オブジェクト分析方法、及びプログラム | |
Alalfi et al. | Analysis and clustering of model clones: An automotive industrial experience | |
CN110704252B (zh) | 一种基于云端动态管理的自动测试装置和测试方法 | |
JP2014164385A (ja) | 要件検出装置及び要件検出プログラム | |
JP6715705B2 (ja) | 不良原因探索システム、及び不良要因探索方法 | |
CN115905023A (zh) | 集成测试平台、测试方法和测试终端、存储介质及设备 | |
JP4312799B2 (ja) | 信頼性評価プログラムおよび信頼性評価装置 | |
JP6290147B2 (ja) | 制御機器プログラムコードを作成するコンピュータ実装方法および関連するメッセージ管理システム | |
CN109388385B (zh) | 用于应用开发的方法和装置 | |
Rucco et al. | CAD assembly retrieval and browsing | |
US10521332B1 (en) | Parametrization of a simulation model | |
Chinkatham et al. | An Approach to identify the readiness level of a Solution Concept in The Inventive Design Method | |
CN116663338B (zh) | 一种基于相似算例的仿真分析方法、装置、设备及介质 | |
Duggan et al. | Model testing | |
JP6330490B2 (ja) | テストケース生成プログラム、テストケース生成装置、及びテストケース生成方法 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20131114 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20140516 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20140624 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20140707 |
|
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: 20140729 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20140811 |
|
R151 | Written notification of patent or utility model registration |
Ref document number: 5605397 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R151 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
LAPS | Cancellation because of no payment of annual fees |