著者

高木 智彦 古川 善吾

出版者

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

雑誌

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

巻号頁・発行日

vol.2002, no.23, pp.79-86, 2002-03-07

被引用文献数

1

---

ソフトウェアの信頼性や開発時の生産性が低下する原因として,テスト工程と仕様化工程が十分に連携していないことが挙げられる.そこで本報告では,仕様化工程で作成されるUML状態図上のパス(初期状態から終了状態に至る状態の列)を用いて統計的テストのためのテストケースを作成する方法を確立する.すなわち,ユーザの使用状況を遷移確率付き状態図(利用モデル)として記述する.そして利用モデル上の遷移確率を満たすパスをテストケースとして作成する.また,本手法に基づいてテストケースを作成するシステムを試作した.利用モデルの作成は,統計的テストのためのテストケース作成だけでなく,開発計画の判断材料としての可能性がある.Weak relationships between specifications and testing causes lower reliability of software and lower productivity in software development. This paper proposes a testcase generation method for statistical testing using a UML state diagram, which specifies usage of software and is added probability of transition by the users as usage for it. The testcases are sequences of states in the diagram from a beginning one to an end one according to probability of transition from a state. The prototype system of testcases generation is constructed.