论文部分内容阅读
本文首先介绍了软件测试的基本方法，并对这些方法各自的优势进行了比较。其次，对软件测试中常见的软件错误进行了分析和分类。再次，基于软件控制论的思想，应用受控马尔可夫链方法，对授权及失效管理子系统进行了测试，详细分析了测试的方法，并针对测试中的问题提出了改进的测试方案。最后，我们对受控马尔可夫链方法的局限性经行了分析，对其中存在的一些问题进行了具体的阐述，为进一步研究软件控制论在软件测试中的应用打下了基础。