机译:基于覆盖标准的测试序列生成的改进算法
Beijing Engineering Research Centre of High Volume Language Information Processing & Cloud Computing Applications, Beijing Key Laboratory of Intelligent Information Technology, School of Computer Science, Beijing Institute of Technology, Beijing 100081, China,School of Computer Science and Technology, Shandong University of Technology, Zibo 255049, China;
Department of Computer and Information Technology, Nanyang Normal University Nanyang 473061, China;
Beijing Engineering Research Centre of High Volume Language Information Processing & Cloud Computing Applications, Beijing Key Laboratory of Intelligent Information Technology, School of Computer Science, Beijing Institute of Technology, Beijing 100081, China;
School of Computer Science and Technology, Shandong University of Technology, Zibo 255049, China;
reachability algorithm; extended state machine models (efsm); test case generation; coverage criteria;
机译:基于ASM的测试:覆盖标准和自动测试顺序
机译:关于状态转换测试和基于模型检查器的测试用例生成的覆盖标准
机译:关于状态转换测试和基于模型检查器的测试用例生成的覆盖标准
机译:使用改进的启发式算法,通过基于多个标准覆盖率的测试案例优先级提高测试效率
机译:验证基于SDL的体系结构设计模型:自动生成测试和新的覆盖标准
机译:用于软件测试案例生成的改进蚂蚁算法
机译:基于搜索的算法用于功能测试中的测试序列生成