《表1 西门子程序集信息：基于路径关键状态变量的测试用例约简》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《基于路径关键状态变量的测试用例约简》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

西门子测试用例集中4个程序的程序集信息如见表1。schedule2是优先级调度器；tcas是防止航空器空中相撞系统[8]；print＿tokens和print＿tokens2主要用于词法分析。