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.
J-STAGEがリニューアルされました! https://www.jstage.jst.go.jp/browse/-char/ja/
