模型检测在软件测试中的应用研究

以测试为基础的模型或规格是产生测试用例的一种很有潜力技术。在这种方法中，先要建立一个系统的规格或模型，再由规格或模型产生测试用例。文章对结合模型检测来进行测试的方法进行了研究，从整体上对测试进行考虑，不仅包含了对系统所希望具有的功能进行测试，还包括了对系统不应具有的功能进行测试。通过这种方法，我们可以进一步保证系统的正确性和可靠，大大降低人力和资源的开销，为进一步优化测试奠定了基础。

An Investigation into the Application Model Checking to Software Testing

Model based or specification based testing is a promising technique to generate test cases.In this approach a specification or a model of the system is created.Test cases are derived from this specification or model.We study on how to use model checkers to test software.The method considers testing of not only the desirable system behavior,but also the undesirable one.Such an approach should reduce both the enormous cost and the significant time and human effort,which give base for the future research.