【摘 要】
：
Compilers are widely-used infrastructures in accelerating the software development,and expected to be trustworthy.In the literature,various testing technologies
【机 构】
：
School of Software, Dalian University of Technology, Dalian 116024, China“,”Key Laboratory for Ubiqu
论文部分内容阅读
Compilers are widely-used infrastructures in accelerating the software development,and expected to be trustworthy.In the literature,various testing technologies have been proposed to guarantee the quality of compilers.However,there remains an obstacle to comprehensively characterize and understand compiler testing.To overcome this obstacle,we propose a literature analysis framework to gain insights into the compiler testing area.First,we perform an extensive search to construct a dataset related to compiler testing papers.Then,we conduct a bibliometric analysis to analyze the productive authors,the influential papers,and the frequently tested compilers based on our dataset.Finally,we utilize association rules and collaboration networks to mine the authorships and the communities of interests among researchers and keywords.Some valuable results are reported.We find that the USA is the leading country that contains the most influential researchers and institutions.The most active keyword is random testing.We also find that most researchers have broad interests within small-scale collaborators in the compiler testing area.
其他文献
历史的引力 高中最后一年，已经积累了不少志愿者经验的我，想要尝试一些与众不同的志愿者项目。在眼花缭乱的众多选择中，Projects Abroad的秘鲁印加及瓦里文明考古项目让我眼前一亮。古老的历史，如同一块磁铁，强烈吸引着我这颗年轻的心。当然，父亲一直在家乡的博物馆做志愿者，这也是令我产生学习考古并成为一名历史学家的冲动的原因之一。 于是，秘鲁，这个承载着瓦里文明和印加文明昔日荣光的南美
摘 要： 数学离不开生活，生活中处处有数学。因此在数学教学中，教师要以教材为蓝本，与生活建立链接，创设轻松愉快的教学情境，激发学生的学习动机和兴趣，从而为学生学习职业知识和形成职业技能打好基础。 关键词： 中职数学课堂教学 激趣 生活链接 近年来，中等职业学校生源的文化基础素质不断下降，数学学科尤其严重，不少一线老师经常抱怨上课几乎没有同学主动回答问题，在课堂上时常出现吵闹或睡觉的现象，导致“
数学课堂是教师传播数学知识的中心环节，是学生获取数学知识的重要方式。课堂是面对学生的，当学生乐于接受并喜欢的授课方式，对课堂活动感兴趣，这时自然容易接受领悟课堂知识。因此，在教学过程应用一些小技术，或者设置不同的教学技术，都会使学生感兴趣，优化课堂教学效果。所以在教学中设计好、发挥好、利用好课堂教学，才能更有效地引导学生，实现教学对学生的服务。 一、提问的技巧 在数学教学中，教师要善于提问，引
Model is usually necessary for the design of a control loop. Due to simplification and unknown dynamics, model plant mismatch is inevitable in the control loop.
目的:为提高急性心梗患者的生活质量,实现我院护理质量的持续改进,探讨PDCA循环法(P(Plan,计划)、D(Do,执行)、C(Check,检查)、A(Act,行动))在急性心梗护理工作中的应用效果.
电动挖掘机（WK-4）横轴也叫大三节轴或中间轴,是行走机构的关键部件。横轴由左右2个滑动轴承支承,其中间安装有圆锥齿轮,用以承受二顺轴传来的转矩（其装配如图1所示）。该部件包括
摘 要： 课堂提问是教师用来激发学生学习兴趣，启发学生深入思考，检验学生学习效果的主要手段，也是教学活动的有机组成部分，更是沟通教师、教材、学生三者的主要渠道。而“问题是数学的心脏”，问题又是思维的起点和创造的起点，初中数学课堂提问中存在着提问流于形式、提问问题过难、提问没有针对性等现象，故研究课堂教学的有效提问，对优化教学过程、提高教学效率十分重要。 关键词： 数学教学 课堂提问 原则 方法
摘 要： 在素质教育改革的背景下，高中数学课堂教学要想提高质量和效率，教师就要结合自身的特点和教学方式，采用高效的教学策略吸引学生的注意力，尝试构建起高中数学课堂高质量的教学模式，让学生能够在一节课的时间内吸收更多的知识点，让学生不再惧怕高中数学，甚至能够从容面对高中数学的各项知识点，为之后学习高数打下坚实的基础。 关键词： 高中数学课堂教学 有效策略 教学质量 所谓的要让高中数学课堂教学更有
摘 要： 数学在人的一生发展中有着非常重要的地位，也在实际生活中起着十分重要的作用。数学知识变得越来越重要，但由于学生的学习负担重，而数学相对比较繁杂而抽象，学生学习起来比较吃力，学习积极性难以提高，因而如何有效提高数学课堂教学效率是数学教师必须共同面对的课题。作者就如何提高高中数学课堂教学效率做了阐述。 关键词： 高中数学课堂教学 教学目标 教学设计 知识体系 教学手段 一、有明确的教学目标
摘 要： 数学是一门公共基础课，在中等职业学校也是学习专业课知识的重要工具。所以中职数学教学目的是教会学生如何将所学数学知识应用于专业理论课中。如何结合专业理论课的需要进行数学教学，是中职数学教师需要研究的问题。本文结合目前中职机电专业数学教学实践活动，对数学教学怎样为专业课服务进行研究。 关键词： 中职数学教学 机电专业课 服务 一、中职数学教学为专业课服务的必要性 1.人才培养的需要。