测试生成效率相关论文
对于可扩展有限状态机(EFSM)规格说明,影响路径测试数据生成成本的因素很多,它们之间可能存在着相互关联,对测试数据生成成本的影......
针对多线程并发程序生成覆盖同步语句的线程调度序列(TSS)效率低问题,提出了一种基于全同步对覆盖(APSC)准则的TSS生成(TGBA)方法......
