论文部分内容阅读
由于测试过程主要依赖于测试人员的经验和直觉，其中的花费较大，而且现有的测试工具并不能满足测试的要求。在如何保证系统正确性和可靠性问题上，模型检测（model checking）以其简洁明了和较高的自动化程度而引人注目。如何将模型检测应用于测试是有待解决的一个问题，本文对如何将模型检测应用于测试的方法进行了研究，并对目前的方法进行了分析，并对该方法今后的发展方向进行了总结。