排序方式: 共有5条查询结果,搜索用时 6 毫秒
1
1.
2.
3.
循环优化测试对保证现代编译器质量有着重要作用.传统手工构造测试用例方法面临着效率低的问题,而目前的自动构造方法对循环优化的针对性不足.提出并实现了一种基于参数化分支时序逻辑(pCTL)的循环优化测试用例自动生成方法.并用生成的测试用例对GCC-4.1.1进行覆盖率测试,结果表明该方法可以生成具有很高针对性的循环优化测试用例,并且很少的测试用例即可达到较高的覆盖程度. 相似文献
4.
余侠 《Canadian Metallurgical Quarterly》2011,(16)
大学公共英语承载着语言技能加强和人文信息导入的任务,而实际教学中却由于种种因素而"重语言、轻文化".本文从大学新生的英语现状出发,论述了如何灵活地阶段性适度导入文化,并提倡在具体语言教学中相应拓展对西方文化内涵的领悟环节.从而让学生客观认识文化差异,树立文化平等观念,提高跨文化交际能力. 相似文献
5.
Internet上免费化学化工资源检索 总被引:2,自引:0,他引:2
介绍了Internet上免费化学化工资源的导航系统、免费化学数据库、免费化学化工软件、免费化学化工期刊及可免费查询的世界各国专利。 相似文献
1