CAJ | 학술논문

为了解决软件测试时高可靠性安全性要求，测试用例设计的充分性和有效性不足的问题，软件故障树分析结合等价类原则解决了测试用例设计的充分性和有效性问题。通过对软件的故障模式进行分析，在建立软件故障树的基础上获得了软件故障树的最小割集。以最小割集为模型，结合等价类划分方法实现了测试用例设计，并根据该方法开发了测试用例自动生成工具。通过测试项目实际应用表明，采用该方法进行测试用例设计可以满足测试的充分性和有效性要求。
위료해결연건측시시고가고성안전성요구，측시용례설계적충분성화유효성불족적문제，연건고장수분석결합등개류원칙해결료측시용례설계적충분성화유효성문제。통과대연건적고장모식진행분석，재건립연건고장수적기출상획득료연건고장수적최소할집。이최소할집위모형，결합등개류화분방법실현료측시용례설계，병근거해방법개발료측시용례자동생성공구。통과측시항목실제응용표명，채용해방법진행측시용례설계가이만족측시적충분성화유효성요구。
Aiming at the problem of insufficient adequacy and effectiveness in test case design when high reliability and se-curity of the software testing is required,the software fault tree analysis and equivalence class principle were adopted to improve the adequacy and effectiveness in test case design. By analyzing the fault mode of the software,the minimal cut sets of the soft-ware fault tree are obtained based on the establishment of software fault tree. In combination with the equivalence class,the test case design was realized by using the minimal cut sets as a model. An automatic test case generation tool was developed based on this method. The practical application shows that this test cases design method can meet the adequacy and effectiveness re-quirements.