In this thesis,it aims at the indeterminacy of software test case,through at the building of fault model,makes use of the principle of FTA,designs test case for fault model adjudging software.

• 软件测试是提高软件质量的有效手段之一,软件测试的目的是为了保证软件产品的最终质量,在软件开发的过程中,对软件产品进行质量控制。