【摘 要】
：
该文涉及的C编译器仿真自动测试的主要思想是在自动生成C编译器测试用例的设计中引入随机的思想和算法.一方面,用"任何测试点都可能测到"的思想代替"每个测试点都 必须测到"
论文部分内容阅读
该文涉及的C编译器仿真自动测试的主要思想是在自动生成C编译器测试用例的设计中引入随机的思想和算法.一方面,用"任何测试点都可能测到"的思想代替"每个测试点都 必须测到"的思想,从而在测试用例的数量达到一定规模时,在满足应用的条件下实现对编 译器产品的正确性评估;另一方面,完全排除了人为因素对测试的影响.其另一关键思想是 引入一个实践证明的成熟编译器作为参考编译器,让被测编译器和参考编译器在同样环境下运行同一组测试用例,然后对比运行结果,如有不同,即证明被测编译器有错
其他文献
通过对于目前网络环境下提供的处理AutoCAD图形文件的各种技术的比较,选择Flash插件作为AutoCAD图形文件显示的基础进行研究分析,提出了一种实现在Web页面上在线显示AutoCAD
随着社会的不断进步,建筑行业的发展也发生了很大的变化,这不仅仅体现在建筑工程施工项目的数量增多,在建筑工程项目的规模上也有所体现。但由于建筑工程施工大多处于露天作
目的:介绍临床药师在参与临床抗感染治疗中开展药学服务的经验。方法:对4例药师参与抗感染治疗典型案例进行总结分析。结果:临床药师参与抗感染治疗方案制定取得明显的效果。
随着经济社会发展、城市化进程加快,我国对农业现代化及农业人才提出了新的要求。农村劳动力减少、城镇化对粮食的需要增加、乡村振兴等都促使新型职业农民的发展成为必要。
目的建立一种准确快速检测复方制剂二甲双胍格列吡嗪片中有关物质的高效液相色谱法。方法以十八烷基硅烷键合硅胶为填充剂;以磷酸二氢铵溶液(称取0.575g磷酸二氢铵和4.32g辛
基于解决国家电网渭南供电局在调度自动化系统升级改造工作过程中,遇到的不同厂家不同系统之间的连接和数据信息共享的问题。经过讨论研究,其采用调度数据网部分设备作为硬件
在构建国际关系理论的中国学派的研究中,学者们无可非议地都认为,中国传统思想是中国特色理论产生的一个来源,所以近几年国内学者对传统思想的研究在愈益深化。学者们在挖掘
在伦纳德·迈尔和格罗斯文纳·库伯的眼里 ,节奏被看成是模式 ,它的基本单位是由一个强拍加上一两个弱拍而组成的 ,在实践中 ,这些弱拍同强拍相结合 ,导致出 5种不同类型的节