著者

湯本 剛 植月 啓次 松尾谷 徹 津田 和彦

出版者

一般社団法人 電気学会

雑誌

電気学会論文誌C(電子・情報・システム部門誌) (ISSN:03854221)

巻号頁・発行日

vol.137, no.7, pp.987-994, 2017-07-01 (Released:2017-07-01)

参考文献数

21

被引用文献数

1

---

Along with a rapid increase in the size and complexity of software today, the number of required test cases is also increasing. Although a lot of approaches to derive test cases are proposed, in case of deriving test cases for combination of state transition, N-switch coverage using state transition testing is only one approach. This approach cannot manage increasing test cases. In this paper, a practical knowledge to derive high priority procedural combination test cases in test cases from 1-switch coverage using state transition testing is formalized. Procedural combinations between tasks to be tested which is derived from data design documents are defined as rules. It is confirmed that the expected procedural combination test cases can be derived using this approach from a concrete instance of an IT system.

著者

植月 啓次

巻号頁・発行日

2013

---

筑波大学博士 (工学) 学位論文・平成25年3月25日授与 (甲第6435号)