扩展有穷状态机相关硕士博士期刊学术论文 - 搜论网

扩展有穷状态机相关论文

抽象精化和可满足性结合的EFSM模型测试用例优化生成

基于模型的测试是测试自动化的重要手段,通常采用模型检验技术从系统模型自动生成测试用例集,但生成的测试用例集往往存在冗余,这......

期刊

测试用例约简扩展有穷状态机公式簇抽象反例引导的精化可满足性 test case reduction extended finite state ma

基于EFSM模型的测试用例优化生成及实例化

信息技术的飞速发展，使软件产品应用到社会的各个领域，软件产品的质量自然成为人们共同关注的焦点。软件测试在整个软件开发的过程中......

学位

扩展有穷状态机测试用例约简可满足性反例制导的抽象精化测试数据生成路径可行性分析

看过本文同时还关注