著者

古川 善吾 野木 兼六 徳永 健司

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.25, no.5, pp.736-744, 1984-09-15

---

ソフトウェアの機能テストのためのテスト項目を系統的に作成するAGENT技法を提案した.AGENT技法は 機能図式(Function Diagram)という形式的な記法によってソフトウェアの機能仕様を表現した後 機械的にテスト項目を作成する技法である.機能図式は 入力や出力の順序に依存した対応関係を表す状態遷移(状態遷移図で記述する)と 状態遷移の各状態での入力データと出力データや遷移先状態との対応関係を表す論理関係(原因結果グラフあるいは決定表で記述する)とから成っている.AGENT技法では この機能図式から 通過すべき状態の列と各状態での入出力データの条件の組合せとして 以下の条件を満たすテスト項目を機械的に作成する.?各状態での入出力データの条件を確認するのに十分である.?状態遷移を構造化した構造化状態遷移の各遷移を少なくとも1回は辿る.?構造化状態遷移の繰返しは0回と1回の2通りを実現する.このテスト項目作成を自動的に行うためにAGENTプログラムを開発した.本論文では テスト項目作成の考え方 AGENTプログラムの概要について述べた.

著者

古川 善吾 野木 兼六 徳永 健司

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.25, no.5, pp.736-744, 1984-09-15

被引用文献数

4

---

ソフトウェアの機能テストのためのテスト項目を系統的に作成するAGENT技法を提案した.AGENT技法は 機能図式(Function Diagram)という形式的な記法によってソフトウェアの機能仕様を表現した後 機械的にテスト項目を作成する技法である.機能図式は 入力や出力の順序に依存した対応関係を表す状態遷移(状態遷移図で記述する)と 状態遷移の各状態での入力データと出力データや遷移先状態との対応関係を表す論理関係(原因結果グラフあるいは決定表で記述する)とから成っている.AGENT技法では この機能図式から 通過すべき状態の列と各状態での入出力データの条件の組合せとして 以下の条件を満たすテスト項目を機械的に作成する.?各状態での入出力データの条件を確認するのに十分である.?状態遷移を構造化した構造化状態遷移の各遷移を少なくとも1回は辿る.?構造化状態遷移の繰返しは0回と1回の2通りを実現する.このテスト項目作成を自動的に行うためにAGENTプログラムを開発した.本論文では テスト項目作成の考え方 AGENTプログラムの概要について述べた.

著者

古川善吾 車谷博之 野木兼六 徳永健司

雑誌

情報処理学会研究報告ソフトウェア工学(SE)

巻号頁・発行日

vol.1982, no.57(1982-SE-028), pp.43-48, 1983-02-09