首页>
外国专利>
Test case generation algorithm for a model checker
Test case generation algorithm for a model checker
展开▼
机译:用于模型检查器的测试用例生成算法
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method is provided for generating test cases automatically using an abstract system description in combination with a model-checking tool. The abstract system description can be used to design hardware/software systems and the generated test cases can be reused to verify the correctness of the implementation.
展开▼