ISO/IEC/IEEE 29119-4:2015 ソフトウェアおよびシステムエンジニアリング—ソフトウェアテスト—パート4:テスト手法 | ページ 6

※一部、英文及び仏文を自動翻訳した日本語訳を使用しています。

4 用語と定義

このドキュメントの目的のために、ISO/IEC/IEEE 24765 に記載されている用語と定義、および以下が適用されます。

注記ISO/IEC/IEEE 29119 のこの部分での用語の使用は、参照を容易にするためのものであり、規格への適合のために必須ではありません。次の用語と定義は、ISO/IEC/IEEE 29119 のこの部分の理解と読みやすさを支援するために提供されています。ISO/IEC/IEEE 29119 のこの部分の理解に重要な用語のみが含まれています。この条項は、テスト用語の完全なリストを提供することを意図したものではありません。この節で定義されていない用語については、システムおよびソフトウェア エンジニアリングの語彙 ISO/IEC/IEEE 24765 を参照できます。

4.1

Backus-Naur フォーム

テキスト形式で言語の構文を定義するために使用される正式なメタ言語

4.2

ベースの選択

基準値を参照

4.3

基準値

パラメータの代表値または典型的な値に基づいて通常選択される、「ベース選択テスト」で使用される入力パラメータ値。ベースチョイスともいう

4.4

c-ユー​​ス

計算データの使用を参照してください

4.5

計算データ利用

任意のタイプのステートメントでの変数の値の使用

4.6

調子

ブール演算子を含まないブール式

例:

「A < B」は条件ですが、「A and B」は条件ではありません。

4.7

制御フロー

テスト項目の実行中に操作が実行される順序

4.8

制御フロー サブパス

テスト項目内の一連の実行可能なステートメント

4.9

データ定義

変数に値が代入されるステートメント。変数定義ともいう

4.10

データ定義 c-use ペア

データ定義とそれに続く計算データの使用。データ使用はデータ定義で定義された値を使用します。

4.11

データ定義 p-use ペア

データ定義と後続の述語データ使用。データ使用はデータ定義で定義された値を使用します。

4.12

データ定義用ペア

データ定義とその後のデータ使用。データ使用はデータ定義で定義された値を使用します。

4.13

データ使用

変数の値にアクセスする実行文

4.14

決定結果

決定の結果 (したがって、実行される制御フローの代替が決定されます)

4.15

決定規則

デシジョンテーブルテストと因果グラフで特定の結果を生み出す条件 (原因とも呼ばれます) とアクション (効果とも呼ばれます) の組み合わせ

4.16

定義用ペア

データ定義とそれに続く述語または計算データの使用。データ使用はデータ定義で定義された値を使用します。

4.17

定義用パス

変数定義からその変数の述語使用 (p-use) または計算使用 (c-use) への制御フロー サブパス

4.18

エントリーポイント

テスト項目の実行を開始できるテスト項目内のポイント

注記 1エントリ ポイントは、テスト項目を通る 1 つまたは複数のパスの開始点として外部プロセスによって選択される、テスト項目内の実行可能なステートメントです。最も一般的には、テスト項目内の最初の実行ステートメントです。

4.19

実行文

コンパイル時にオブジェクト コードに変換されるステートメント。テスト項目の実行中に手続き的に実行され、プログラム データに対してアクションを実行する場合があります。

4.20

出口点

テスト項目内の最後の実行ステートメント

注記 1出口点は、テスト項目を通過するパスの終点であり、テスト項目を終了するか、外部プロセスに制御を戻す、テスト項目内の実行可能なステートメントです。これは通常、テスト項目内の最後の実行ステートメントです。

4.21

p-use

述語データの使用を参照してください

4.22

PVペア

テスト項目パラメーターとそのパラメーターに割り当てられた値の組み合わせ。組み合わせテスト設計手法でテスト条件およびカバレッジ項目として使用されます。

4.23

テスト項目の実行可能なステートメントのシーケンス

4.24

述語

TRUE または FALSE に評価される論理式で、通常はコード内の実行パスを指定します。

4.25

述語データの使用

決定ステートメントの述語部分の決定結果に関連するデータ使用

4.26

サブパス

より大きなパスの一部であるパス

4.27

テストモデル

テスト ケースの設計プロセスで使用されるテスト項目の表現

4.28

変数定義

データ定義を参照

参考文献

[1]Bath G, McKay J ソフトウェア テスト エンジニアのハンドブック。オライリー メディア社、2008 年
[2]Beizer B. ブラック ボックス テスト。ソフトウェアとシステムの機能テストのテクニック。ジョン・ワイリー&サンズ社、1995年
[3]非機能テスト。 British Computer Society Special Interest Group in Software Testing, [2011 年 9 月 7 日閲覧 http://www.testingstandards.co.uk/non_functional_testing_techniques.htm から入手可能
[4]BRITISH STANDARDS INSTITUTE, 1998 年。BS 7925-2:1998, ソフトウェア テスト - ソフトウェア コンポーネント テスト。入手先: http://shop.bsigroup.com/
[5]Burnstein I. 実用的なソフトウェア テスト: プロセス指向のアプローチ。スプリンガー出版社、2003
[6]Copeland L. ソフトウェア テスト設計の実践者向けガイド。アーテックハウス、2004年
[7]Cho CK, クオリティ プログラミング。ワイリー、1987
[8]Chow TS, 1978 年。有限状態マシンによってモデル化されたソフトウェア設計のテスト。中:ソフトウェア エンジニアリングに関する IEEE トランザクション、Vol. SE-4 (3)
[9]Craig R, Jaskiel S, 体系的なソフトウェア テスト。アーテックハウス株式会社、2002
[10]Desikan S, Ramesh G ソフトウェア テスト: 原則と実践。ピアソン教育、2007
[11]Grindal M, Offutt J, Andler S 2005. 組み合わせテスト戦略: 調査。中: Software Testing, Verification and Reliability 、John Wiley & Sons Ltd.、 15 、pp. 167-19
[12]GROCHTMANN, M. and GRIMM, Grimm, K., 1993. パーティション テストの分類ツリー。 In: Software Testing, Verification & Reliability , Wiley, 3 (2), pp. 63 - 82.
[13]Jonassen Hass AM 著、高度なソフトウェア テストのガイド。アーテックハウス、2008年
[14]国際標準化機構/国際電気技術委員会、2005 年。ISO/IEC TR 19759, ソフトウェア エンジニアリング -- ソフトウェア エンジニアリング知識体系 (SWEBOK) へのガイド。 http://www.iso.org/ から入手可能
[15]国際標準化機構/国際電気技術委員会、2011 年。入手先: http://www.iso.org
[16]国際標準化機構/国際電気技術委員会、2007 年。ISO/IEC 25030, ソフトウェア工学 – ソフトウェア製品の品質要件と評価 (SQuaRE) – 品質要件入手先: http://www.iso.org
[17]Kaner C. コンピューター ソフトウェアのテスト。 TABブックス、1998年
[18]Kernighan BW, Richie DM, C プログラミング言語。 Prentice-Hall ソフトウェア シリーズ、1998 年
[19]Kit E 現実世界でのソフトウェア テスト: プロセスの改善。 ACMプレス、1995
[20]Mandl R.、Orthogonal Latin Squares: コンパイラ テストへの実験設計の適用。コミュニティAC 1985, 28 (10) pp. 1054-1058
[21]G Myers 著、ソフトウェア テストの芸術。ジョン・ワイリー&サンズ社、1979年
[22]Nursimulu K, Probert RL, 1995 年。因果関係グラフによる分析と要件の検証。 CASCON'1995 の議事録
[23]RTCA/DO-178C, 空中システムおよび機器認証におけるソフトウェアの考慮事項。 RTCA, Inc. 2011.
[24]Reid S.、1996 年。モジュール テストにおける一般的な誤解。ワシントン DCのソフトウェア テスト会議 (STC) の議事録

4 Terms and Definitions

For the purposes of this document, the terms and definitions given in ISO/IEC/IEEE 24765 and the following apply.

NOTE Use of the terminology in this part of ISO/IEC/IEEE 29119 is for ease of reference and is not mandatory for conformance with the standard. The following terms and definitions are provided to assist with the understanding and readability of this part of ISO/IEC/IEEE 29119. Only terms critical to the understanding of this part of ISO/IEC/IEEE 29119 are included. This clause is not intended to provide a complete list of testing terms. The systems and software engineering vocabulary ISO/IEC/IEEE 24765 can be referenced for terms not defined in this clause.

4.1

Backus-Naur Form

formal meta-language used for defining the syntax of a language in a textual format

4.2

base choice

see base value

4.3

base value

input parameter value used in ‘base choice testing’ that is normally selected based on being a representative or typical value for the parameter. Also called base choice

4.4

c-use

see computation data use

4.5

computation data use

use of the value of a variable in any type of statement

4.6

condition

Boolean expression containing no Boolean operators

EXAMPLE:

“A < B” is a condition but “A and B” is not.

4.7

control flow

sequence in which operations are performed during the execution of a test item

4.8

control flow sub-path

sequence of executable statements within a test item

4.9

data definition

statement where a variable is assigned a value. Also called variable definition

4.10

data definition c-use pair

data definition and subsequent computation data use, where the data use uses the value defined in the data definition

4.11

data definition p-use pair

data definition and subsequent predicate data use, where the data use uses the value defined in the data definition

4.12

data definition-use pair

data definition and subsequent data use, where the data use uses the value defined in the data definition

4.13

data use

executable statement where the value of a variable is accessed

4.14

decision outcome

result of a decision (which therefore determines the control flow alternative taken)

4.15

decision rule

combination of conditions (also known as causes) and actions (also known as effects) that produce a specific outcome in decision table testing and cause-effect graphing

4.16

definition-use pair

data definition and subsequent predicate or computational data use, where the data use uses the value defined in the data definition

4.17

definition-use path

control flow sub-path from a variable definition to a predicate-use (p-use) or computational-use (c-use) of that variable

4.18

entry point

point in a test item at which execution of the test item can begin

Note 1 to entry: An entry point is an executable statement within a test item that may be selected by an external process as the starting point for one or more paths through the test item. It is most commonly the first executable statement within the test item.

4.19

executable statement

statement which, when compiled, is translated into object code, which will be executed procedurally when the test item is running and may perform an action on program data

4.20

exit point

last executable statement within a test item

Note 1 to entry: An exit point is a terminal point of a path through a test item, being an executable statement within the test item which either terminates the test item, or returns control to an external process. This is most commonly the last executable statement within the test item.

4.21

p-use

see predicate data use

4.22

P-V pair

combination of a test item parameter with a value assigned to that parameter, used as a test condition and coverage item in combinatorial test design techniques

4.23

path

sequence of executable statements of a test item

4.24

predicate

logical expression which evaluates to TRUE or FALSE, normally to direct the execution path in code

4.25

predicate data use

data use associated with the decision outcome of the predicate portion of a decision statement

4.26

sub-path

path that is part of a larger path

4.27

test model

representation of a test item that is used during the test case design process

4.28

variable definition

see data definition

Bibliography

[1]Bath G., McKay J., The Software Test Engineer’s Handbook. O’Reilly Media, Inc, 2008
[2]Beizer B., Black Box Testing. Techniques for Functional Testing of Software and Systems. John Wiley & Sons Inc, 1995
[3]Non-Functional Testing. British Computer Society Special Interest Group in Software Testing, [viewed 7 September 2011]. Available from http://www.testingstandards.co.uk/non_functional_testing_techniques.htm
[4]BRITISH STANDARDS INSTITUTE, 1998. BS 7925-2:1998, Software testing – Software component testing. Available from: http://shop.bsigroup.com/
[5]Burnstein I., Practical Software Testing: A Process-Oriented Approach. Springer-Verlag, 2003
[6]Copeland L., A Practitioner's Guide to Software Test Design. Artech House, Inc, 2004
[7]Cho C.K., Quality Programming. Wiley, 1987
[8]Chow T.S., 1978. Testing Software Design Modelled by Finite-State Machines. In: IEEE Transactions on Software Engineering, Vol. SE-4 (3).
[9]Craig R., Jaskiel S., Systematic Software Testing. Artech House Inc, 2002
[10]Desikan S., Ramesh G., Software Testing: Principles and Practices. Pearson Education, 2007
[11]Grindal M., Offutt J., Andler S., 2005. Combination Testing Strategies: A Survey. In: Software Testing, Verification and Reliability, John Wiley & Sons Ltd., 15 , pp. 167-199.
[12]GROCHTMANN, M. and GRIMM, Grimm, K., 1993. Classification Trees for Partition Testing. In: Software Testing, Verification & Reliability, Wiley, 3 (2), pp. 63 - 82.
[13]Jonassen Hass A.M., Guide to Advanced Software Testing. Artech House, 2008
[14]INTERNATIONAL ORGANIZATION FOR STANDARDISATION/INTERNATIONAL ELECTROTECHNICAL COMMITTEE, 2005. ISO/IEC TR 19759, Software Engineering -- Guide to the Software Engineering Body of Knowledge (SWEBOK). Available from, http://www.iso.org/
[15]INTERNATIONAL ORGANIZATION FOR STANDARDISATION/INTERNATIONAL ELECTROTECHNICAL COMMITTEE, 2011. ISO/IEC 25010, Systems and software engineering – System and software product Quality Requirements and Evaluation (SQuaRE) – System and software quality models. Available from: http://www.iso.org
[16]INTERNATIONAL ORGANIZATION FOR STANDARDISATION/INTERNATIONAL ELECTROTECHNICAL COMMITTEE, 2007. ISO/IEC 25030, Software engineering – Software product Quality Requirements and Evaluation (SQuaRE) – Quality requirements. Available from: http://www.iso.org
[17]Kaner C., Testing Computer Software. TAB Books Inc, 1998
[18]Kernighan B.W., Richie D.M., The C Programming Language. Prentice-Hall Software Series, 1998
[19]Kit E., Software Testing in the Real World: Improving the Process. ACM Press, 1995
[20]Mandl R., Orthogonal Latin Squares: An Application of Experiment Design to Compiler Testing. Commun. ACM. 1985, 28 (10) pp. 1054–1058
[21]Myers G., The Art of Software Testing. John Wiley & Sons Inc, 1979
[22]Nursimulu K., Probert R.L., 1995. Cause-Effect Graphing Analysis and Validation of Requirements. In Proceedings of CASCON'1995.
[23]RTCA/DO-178C, Software Considerations in Airborne Systems and Equipment Certification. RTCA, Inc. 2011.
[24]Reid S., 1996. Popular Misconceptions in Module Testing. In Proceedings of the Software Testing Conference (STC), Washington DC.