JP4957521B2 - ソフトウェア部分テストシステム、それに用いる方法およびプログラム - Google Patents
ソフトウェア部分テストシステム、それに用いる方法およびプログラム Download PDFInfo
- Publication number
- JP4957521B2 JP4957521B2 JP2007302460A JP2007302460A JP4957521B2 JP 4957521 B2 JP4957521 B2 JP 4957521B2 JP 2007302460 A JP2007302460 A JP 2007302460A JP 2007302460 A JP2007302460 A JP 2007302460A JP 4957521 B2 JP4957521 B2 JP 4957521B2
- Authority
- JP
- Japan
- Prior art keywords
- input
- output value
- procedure
- module
- behavior
- 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
Images
Landscapes
- Debugging And Monitoring (AREA)
Description
21 入出力値テーブル保持手段
22 表明情報保持手段
31 正当性検査手段
32 網羅性検査手段
101 テストドライバ実行部
102 テスト対象モジュール実行部
103 依存モジュール実行部
104 テーブル駆動型スタブ実行部
105 参照エラー検出部
106 入出力値エラー検出部
Claims (14)
- 計算機ソフトウェアの一部分をテストするソフトウェア部分テストシステムであって、
テスト対象となっているモジュール群から呼び出されるサブモジュールである依存モジュールが行う手続きについて、少なくともテストケースに応じた手続き呼び出しの入力値に対応づけてその手続き呼び出しの出力値を規定する入出力値テーブルを保持する入出力値テーブル保持手段と、
前記依存モジュールに対する手続き呼び出しを受け付けて、前記入出力値テーブルに規定されている入力値と出力値との対応づけに基づいて、前記依存モジュールが行う手続きの振る舞いを代行するテーブル駆動型振る舞い模擬手段と、
前記依存モジュールが行う手続きの満たすべき性質を事前条件と事後条件とによって規定する表明情報を保持する表明情報保持手段と、
前記表明情報に基づき、前記入出力値テーブルから、前記テーブル駆動型振る舞い模擬手段が代行する振る舞いの正当性に関する反例を検出する正当性検査手段とを備えた
ことを特徴とするソフトウェア部分テストシステム。 - 計算機ソフトウェアの一部分をテストするソフトウェア部分テストシステムであって、
テスト対象となっているモジュール群から呼び出されるサブモジュールである依存モジュールが行う手続きについて、少なくともテストケースに応じた手続き呼び出しの入力値に対応づけてその手続き呼び出しの出力値を規定する入出力値テーブルを保持する入出力値テーブル保持手段と、
前記依存モジュールに対する手続き呼び出しを受け付けて、前記入出力値テーブルに規定されている入力値と出力値との対応づけに基づいて、前記依存モジュールが行う手続きの振る舞いを代行するテーブル駆動型振る舞い模擬手段と、
前記テーブル駆動型振る舞い模擬手段が受け付けた前記依存モジュールに対する手続き呼び出しの入力値に基づき、前記入出力値テーブルから、前記テーブル駆動型振る舞い模擬手段が代行する振る舞いの網羅性に関する反例を検出する網羅性検査手段とを備えた
ことを特徴とするソフトウェア部分テストシステム。 - テスト対象となっているモジュール群から呼び出されるサブモジュールである依存モジュールが行う手続きについて、少なくともテストケースに応じた手続き呼び出しの入力値に対応づけてその手続き呼び出しの出力値を規定する入出力値テーブルを保持する入出力値テーブル保持手段と、
前記依存モジュールに対する手続き呼び出しを受け付けて、前記入出力値テーブルに規定されている入力値と出力値との対応づけに基づいて、前記依存モジュールが行う手続きの振る舞いを代行するテーブル駆動型振る舞い模擬手段と、
前記依存モジュールが行う手続きの満たすべき性質を事前条件と事後条件とによって規定する表明情報を保持する表明情報保持手段と、
前記テーブル駆動型振る舞い模擬手段が受け付けた前記依存モジュールに対する手続き呼び出しの入力値に基づき、前記入出力値テーブルから、前記テーブル駆動型振る舞い模擬手段が代行する振る舞いの網羅性に関する反例を検出する網羅性検査手段と、
前記表明情報に基づき、前記入出力値テーブルから、前記テーブル駆動型振る舞い模擬手段が代行する振る舞いの正当性に関する反例を検出する正当性検査手段とを備えた
請求項1または請求項2に記載のソフトウェア部分テストシステム。 - 表明情報保持手段は、依存モジュールが行う手続きについて、その手続きの満たすべき性質を示す表明情報として、事前条件を示す論理式と、事後条件を示す論理式とを対応づけて保持し、
正当性検査手段は、前記表明情報として定義されている事前条件の論理式と事後条件の論理式の組み合わせに対して、入出力値テーブルに登録されている入力値と出力値の組み合わせを代入した結果、事前条件が真で事後条件が偽となる場合に、当該入力値と出力値の組み合わせを正当性に関する反例として検出する
請求項1または請求項3に記載のソフトウェア部分テストシステム。 - 正当性検査手段は、モジュールテストを実行する前に、入出力値テーブルに登録されている入力値と出力値の組み合わせ全てについて、その手続きの表明情報として定義されている事前条件を示す論理式と事後条件を示す論理式とに代入して、事前条件が真で事後条件が偽となる入力値と出力値の組み合わせがあるか否かを判断することによって、正当性に関する反例を検出する
請求項4に記載のソフトウェア部分テストシステム。 - 正当性検査手段は、テーブル駆動型振る舞い模擬手段が入出力値テーブルに規定されている入力値と出力値との対応づけに基づいて依存モジュールの振る舞いを代行した際に、その手続き呼び出しの際の入力値と出力値との組み合わせについて、その手続きの表明情報として定義されている事前条件を示す論理式と事後条件を示す論理式とに代入し、事前条件が真で事後条件が偽となる場合に、当該入力値と出力値の組み合わせを正当性に関する反例として検出する
請求項4に記載のソフトウェア部分テストシステム。 - 網羅性検査手段は、テーブル駆動型振る舞い模擬手段が受け付けた依存モジュールに対する手続き呼び出しの入力値が、入出力値テーブルに登録されていない場合に、その入力値を網羅性に関する反例として検出する
請求項2または請求項3に記載のソフトウェア部分テストシステム。 - 網羅性検査手段は、テーブル駆動型振る舞い模擬手段が依存モジュールに対する手続き呼び出しを受け付けたときに、その手続き呼び出しの入力値が、入出力値テーブルに登録されているか否かを判断することによって、網羅性に関する反例を検出する
請求項7に記載のソフトウェア部分テストシステム。 - 入出力値テーブル保持手段、表明情報保持手段、テーブル駆動型振る舞い模擬手段および正当性検査手段を備えるソフトウェア部分テストシステムにおいて、計算機ソフトウェアの一部分をテストするためのソフトウェア部分テスト方法であって、
記憶装置によって実現される前記入出力値テーブル保持手段が、テスト対象となっているモジュール群から呼び出されるサブモジュールである依存モジュールが行う手続きについて、少なくともテストケースに応じた手続き呼び出しの入力値に対応づけてその手続き呼び出しの出力値を規定する入出力値テーブルを保持し、
記憶装置によって実現される前記表明情報保持手段が、前記依存モジュールが行う手続きの満たすべき性質を事前条件と事後条件とによって規定する表明情報を保持し、
情報処理装置によって実現される前記テーブル駆動型振る舞い模擬手段が、前記入出力値テーブルに規定されている入力値と出力値との対応づけに基づいて、前記依存モジュールが行う手続きの振る舞いを代行する過程で、
情報処理装置によって実現される前記正当性検査手段が、前記表明情報に基づき、前記入出力値テーブルから、前記代行する振る舞いの正当性に関する反例を検出する
ことを特徴とするソフトウェア部分テスト方法。 - 入出力値テーブル保持手段、テーブル駆動型振る舞い模擬手段および網羅性検査手段を備えるソフトウェア部分テストシステムにおいて、計算機ソフトウェアの一部分をテストするためのソフトウェア部分テスト方法であって、
記憶装置によって実現される前記入出力値テーブル保持手段が、テスト対象となっているモジュール群から呼び出されるサブモジュールである依存モジュールが行う手続きについて、少なくともテストケースに応じた手続き呼び出しの入力値に対応づけてその手続き呼び出しの出力値を規定する入出力値テーブルを保持し、
情報処理装置によって実現される前記テーブル駆動型振る舞い模擬手段が、前記入出力値テーブルに規定されている入力値と出力値との対応づけに基づいて、前記依存モジュールが行う手続きの振る舞いを代行する過程で、
情報処理装置によって実現される前記網羅性検査手段が、前記依存モジュールに対する手続き呼び出しの入力値に基づき、前記入出力値テーブルから、前記代行する振る舞いの網羅性に関する反例を検出する
ことを特徴とするソフトウェア部分テスト方法。 - 入出力値テーブル保持手段、表明情報保持手段、テーブル駆動型振る舞い模擬手段、網羅性検査手段および正当性検査手段を備えるソフトウェア部分テストシステムにおいて、計算機ソフトウェアの一部分をテストするためのソフトウェア部分テスト方法であって、
記憶装置によって実現される前記入出力値テーブル保持手段が、テスト対象となっているモジュール群から呼び出されるサブモジュールである依存モジュールが行う手続きについて、少なくともテストケースに応じた手続き呼び出しの入力値に対応づけてその手続き呼び出しの出力値を規定する入出力値テーブルを保持し、
記憶装置によって実現される前記表明情報保持手段が、前記依存モジュールが行う手続きの満たすべき性質を事前条件と事後条件とによって規定する表明情報を保持し、
情報処理装置によって実現される前記テーブル駆動型振る舞い模擬手段が、前記入出力値テーブルに規定されている入力値と出力値との対応づけに基づいて、前記依存モジュールが行う手続きの振る舞いを代行する過程で、
情報処理装置によって実現される前記正当性検査手段が、前記表明情報に基づき、前記入出力値テーブルから、前記代行する振る舞いの正当性に関する反例を検出するとともに、
情報処理装置によって実現される前記網羅性検査手段が、前記依存モジュールに対する手続き呼び出しの入力値に基づき、前記入出力値テーブルから、前記代行する振る舞いの網羅性に関する反例を検出する
請求項9または請求項10に記載のソフトウェア部分テスト方法。 - 入出力値テーブル保持手段、表明情報保持手段、テーブル駆動型振る舞い模擬手段および正当性検査手段を備えるソフトウェア部分テストシステムにおいて、計算機ソフトウェアの一部分をテストするためのソフトウェア部分テスト用プログラムであって、
記憶装置によって実現され、テスト対象となっているモジュール群から呼び出されるサブモジュールである依存モジュールが行う手続きについて、少なくともテストケースに応じた手続き呼び出しの入力値に対応づけてその手続き呼び出しの出力値を規定する入出力値テーブルを保持する前記入出力値テーブル保持手段と、記憶装置によって実現され、前記依存モジュールが行う手続きの満たすべき性質を事前条件と事後条件とによって規定する表明情報を保持する前記表明情報保持手段とを備えたコンピュータの情報処理装置に、
前記テーブル駆動型振る舞い模擬手段として、前記依存モジュールに対する手続き呼び出しを受け付けて、前記入出力値テーブルに規定されている入力値と出力値との対応づけに基づいて、前記依存モジュールが行う手続きの振る舞いを代行する処理、および
前記正当性検査手段として、前記表明情報に基づき、前記入出力値テーブルから、前記代行する振る舞いの正当性に関する反例を検出する処理
を実行させるためのソフトウェア部分テスト用プログラム。 - 入出力値テーブル保持手段、テーブル駆動型振る舞い模擬手段および網羅性検査手段を備えるソフトウェア部分テストシステムにおいて、計算機ソフトウェアの一部分をテストするためのソフトウェア部分テスト用プログラムであって、
記憶装置によって実現され、テスト対象となっているモジュール群から呼び出されるサブモジュールである依存モジュールが行う手続きについて、少なくともテストケースに応じた手続き呼び出しの入力値に対応づけてその手続き呼び出しの出力値を規定する入出力値テーブルを保持する前記入出力値テーブル保持手段を備えたコンピュータの情報処理装置に、
前記テーブル駆動型振る舞い模擬手段として、前記依存モジュールに対する手続き呼び出しを受け付けて、前記入出力値テーブルに規定されている入力値と出力値との対応づけに基づいて、前記依存モジュールが行う手続きの振る舞いを代行する処理、および
前記網羅性検査手段として、受け付けた前記依存モジュールに対する手続き呼び出しの入力値に基づき、前記入出力値テーブルから、前記代行する振る舞いの網羅性に関する反例を検出する処理
を実行させるためのソフトウェア部分テスト用プログラム。 - 入出力値テーブル保持手段、表明情報保持手段、テーブル駆動型振る舞い模擬手段、網羅性検査手段および正当性検査手段を備えるソフトウェア部分テストシステムにおいて、計算機ソフトウェアの一部分をテストするためのソフトウェア部分テスト用プログラムであって、
記憶装置によって実現され、テスト対象となっているモジュール群から呼び出されるサブモジュールである依存モジュールが行う手続きについて、少なくともテストケースに応じた手続き呼び出しの入力値に対応づけてその手続き呼び出しの出力値を規定する入出力値テーブルを保持する前記入出力値テーブル保持手段と、記憶装置によって実現され、前記依存モジュールが行う手続きの満たすべき性質を事前条件と事後条件とによって規定する表明情報を保持する前記表明情報保持手段とを備えたコンピュータの情報処理装置に、
前記テーブル駆動型振る舞い模擬手段として、前記依存モジュールに対する手続き呼び出しを受け付けて、前記入出力値テーブルに規定されている入力値と出力値との対応づけに基づいて、前記依存モジュールが行う手続きの振る舞いを代行する処理、
前記正当性検査手段として、前記表明情報に基づき、前記入出力値テーブルから、前記代行する振る舞いの正当性に関する反例を検出する処理、および
前記網羅性検査手段として、受け付けた前記依存モジュールに対する手続き呼び出しの入力値に基づき、前記入出力値テーブルから、前記代行する振る舞いの網羅性に関する反例を検出する処理
を実行させる請求項12または請求項13に記載のソフトウェア部分テスト用プログラム。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2007302460A JP4957521B2 (ja) | 2007-11-22 | 2007-11-22 | ソフトウェア部分テストシステム、それに用いる方法およびプログラム |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2007302460A JP4957521B2 (ja) | 2007-11-22 | 2007-11-22 | ソフトウェア部分テストシステム、それに用いる方法およびプログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2009129132A JP2009129132A (ja) | 2009-06-11 |
JP4957521B2 true JP4957521B2 (ja) | 2012-06-20 |
Family
ID=40819995
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2007302460A Active JP4957521B2 (ja) | 2007-11-22 | 2007-11-22 | ソフトウェア部分テストシステム、それに用いる方法およびプログラム |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP4957521B2 (ja) |
Families Citing this family (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP5545133B2 (ja) * | 2010-08-30 | 2014-07-09 | 日本電気株式会社 | 静的解析処理システム、方法、およびプログラム |
JP6503724B2 (ja) * | 2014-12-15 | 2019-04-24 | 富士通株式会社 | スタブ化方法、プログラム及び装置 |
CN106528434A (zh) * | 2016-12-16 | 2017-03-22 | 上海携程国际旅行社有限公司 | 自动化测试的关键字前置的处理方法及系统 |
Family Cites Families (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH07265414A (ja) * | 1994-03-31 | 1995-10-17 | Kanegafuchi Chem Ind Co Ltd | 血漿交換装置 |
JPH09265414A (ja) * | 1996-03-28 | 1997-10-07 | Hitachi Ltd | テスト環境構築支援システム |
JP2000020349A (ja) * | 1998-07-06 | 2000-01-21 | Toshiba Corp | プログラム開発支援装置、プログラム開発支援方法及びプログラム開発支援用プログラムを記録した媒体 |
JP2000132425A (ja) * | 1998-10-26 | 2000-05-12 | Hitachi Ltd | ソフトウェアテスト方法 |
JP2001229044A (ja) * | 2000-02-16 | 2001-08-24 | Hitachi Ltd | デバッグ方法 |
JP2005038076A (ja) * | 2003-07-17 | 2005-02-10 | Fujitsu Ltd | プログラムテスト用会話型スタブ装置およびスタブプログラム記憶媒体 |
JP2006091944A (ja) * | 2004-09-21 | 2006-04-06 | Fuji Xerox Co Ltd | ソフトウェアコンポーネントテストシステム及びソフトウェアコンポーネントテスト方法 |
JP2006301983A (ja) * | 2005-04-21 | 2006-11-02 | Hitachi Ltd | 情報処理装置およびプログラムのテスト方法 |
-
2007
- 2007-11-22 JP JP2007302460A patent/JP4957521B2/ja active Active
Also Published As
Publication number | Publication date |
---|---|
JP2009129132A (ja) | 2009-06-11 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US10552301B2 (en) | Completing functional testing | |
US8156475B2 (en) | Device and method for testing embedded software using emulator | |
KR100916329B1 (ko) | 소프트웨어 취약점 점검 장치 및 방법 | |
US20080126867A1 (en) | Method and system for selective regression testing | |
US7882495B2 (en) | Bounded program failure analysis and correction | |
US7681180B2 (en) | Parameterized test driven development | |
US8621441B2 (en) | System and method for software immunization based on static and dynamic analysis | |
US20050223362A1 (en) | Methods and systems for performing unit testing across multiple virtual machines | |
US10049031B2 (en) | Correlation of violating change sets in regression testing of computer software | |
CN103049371A (zh) | Android应用程序测试方法和测试装置 | |
KR102537875B1 (ko) | 차량 ecu 소프트웨어 검증을 위한 동적 결함 주입 방법 및 장치 | |
US9274930B2 (en) | Debugging system using static analysis | |
US7895575B2 (en) | Apparatus and method for generating test driver | |
JP2000222244A (ja) | コンピュ―タプログラムの微細でない変異のフィルタリングによる強化された機能テスト | |
US6102959A (en) | Verification tool computation reduction | |
Koeman et al. | Automating failure detection in cognitive agent programs | |
CA2811617C (en) | Commit sensitive tests | |
US11275860B2 (en) | System and method for software verification | |
CN112925524A (zh) | 一种检测驱动程序中不安全直接存储器访问的方法及装置 | |
JP4957521B2 (ja) | ソフトウェア部分テストシステム、それに用いる方法およびプログラム | |
US10579761B1 (en) | Method and system for reconstructing a graph presentation of a previously executed verification test | |
Thooriqoh et al. | Selenium Framework for Web Automation Testing: A Systematic Literature Review | |
US20150007139A1 (en) | Optimizing error parsing in an integrated development environment | |
JP2009104490A (ja) | プログラムのテスト装置 | |
CN113868140A (zh) | 一种自动化测试的方法及存储介质 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20101012 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20111110 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20111206 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20120201 |
|
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: 20120221 |
|
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: 20120305 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20150330 Year of fee payment: 3 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 4957521 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 Free format text: JAPANESE INTERMEDIATE CODE: R150 |