562015-03-24 , 法政大学大学院理工学・工学研究科
In this study, we focus on the incomplete software testing environment in software development processes. In such an environment, software faults are not removed appropriately by human errors of the test persons for example. Also such software can not satisfy the expected function and may cause fatal accidents due to the software faults. Therefore we use \two stage testing by two teams" as the special testing technique. The process of the human error detection and remediation of human errors was modeled by this testing technique. By utilizing this model, we can estimate the software reliability under the incomplete testing environment. We propose several stochastic models in this study. In particular, we apply hidden-Markov modeling to describe the incomplete test environment and debugging process by two test teams.