化学新课程教学中的归纳法

归纳法是一种科学的教学方法,在教学中应用归纳法应进行优化的选择。归纳法教学的主要方式有:分类归纳法、列表归纳法、提纲归纳法、题型归纳法4种等。     

归纳证明在类型理论中的应用研究

通过类型理论使得程序语言在静态可以检查是否出错,这给程序语言带来许多优势。类型理论中的重要性质包括:弱化规则、删除规则、强化规则等。首先给出了结构归纳法、良基归纳法、规则归纳法和余归纳法的形式化定义。在给出PA4WS进程代数的语法、语义的基础上给出了其类型定义。在此基础上给出了归纳法在PA4WS类型理论性质证明的应用。     

基于扩展WSDL的测试用例自动生成

提出了一种基于扩展WSDL文档自动生成Web服务测试用例的方法,生成的测试用例包括测试数据和操作序列两部分：测试数据通过数据类型及刻面约束产生,并在产生过程中,通过子元素的权重调整生成策略,在保证有效性的同时减少了测试数据的数量;操作序列通过分析扩展WSDL的操作依赖关系产生,结合测试数据,能够有效地测试复杂的操作流程．     

数学归纳法的历史

对数学归纳法的产生与发展进行了综合研究。     

突破少数民族预科数学归纳法教学难点的探讨

数学归纳法是证明与正整数有关的等式、整除、不等式、二项式定理、数列等命题的一种重要方法．结合少数民族预科数学教学实践,针对学生学习数学归纳法的难点,分析其突破方法,导出用数学归纳法证明命题缺一不可的两个步骤．进而深化了对数学归纳法的认识,突破了数学归纳法的教学难点．     

“亲子体育”在构建和谐社会中的地位和作用

文章通过文献研究法和逻辑归纳法,研究了＂亲子体育＂产生的背景、概念及其在构建和谐社会中的地位和作用,研究结果显示：＂亲子体育＂有利于促进全社会成员的健康;有利于社会稳定与和谐;有利于促进体育人口结构合理化、减轻社会医疗负担和促进体育产业的发展。     

归纳法在探索物理规律中的应用

归纳法是由个别或特殊推到一般的方法,可分为完全归纳法和不完全归纳法,在探索物理规律中,常用的是后者。通过列举出某类物理事物的对象具有某种性质或规律,并分析出制约此性质或规律的根本原因,从而推出这一类物理事物具有这种性质或规律的结论。归纳法在探索物理规律中有很重要的地位。文章通过举例对归纳法在探索物理规律中的应用进行试探性的研究,并总结一般应用的步骤。     

挂机空调噪声源研究

为准确定位壁挂式空调的噪声源,介绍了某品牌空调室内挂机的声学特性测试方法,并通过测试数据进行分析,从而得出空调室内挂机主要噪声源是由贯流风扇转动引起的气动旋转噪声、涡流噪声及由交电磁场激励产生的结构振动噪声.给出的测试和分析方法以及结论对空调室内机噪声的识别有重要意义.     

数学归纳法琐谈

中学里对数学归纳法的教学仅限于第一数学归纳法,而师范院校数学专业的必修课中也没有系统介绍数学归纳法的专门章节,所以较多的中学教师对数学归纳法的了解是有一定局限的。然而,数学归纳法是数学中一个基本的证明方法和推理模型,有关广泛的应用,它是培养思维能力、推理能力、概括能力和探索能力的极好课题。基于这些想法,本文试图综合一些散见材料和笔者浅见,介绍一些数学归纳法常识。十七世纪,法国数学家巴斯卡(Pascal,1623—1662)对“杨辉三角形”作了精细研     

基于静力测量参数的结构损伤状况评估理论

在对结构进行检测测试后,通过对测试数据的分析,判断结构单元特性,可以识别出结构损伤的位置和程度。本文依据结构的刚度变化和位移测试数据,介绍了一种基于静力实验结果的损伤状况评价方法,为进一步补强加固提供了理论依据。     

测试用例自动生成中约束求解策略的选择

在软件测试中,构造测试用例是非常重要的一环.传统的测试用例生成方法都由测试人员手动完成,这种生成方式效率低下成本高昂,同时生成的测试用例非常有限,覆盖率较低.首先探讨了通过约束求解的方法,通过分析程序路径中所有的约束表达式,逆推得到测试用例的过程;然后调查了不同类型的C语言工程的待测源码的统计结果,同时针对其特征,引入了不同的约束求解算法策略;最后通过各种策略的组合与配置,给出了一种具有普遍性的测试用例自动生成的约束求解方法.     

一种基于形式化描述的测试案例生成方法

基于形式化描述的验证测试是高安全系统的有效评估方法,而如何生成测试案例是基于形式化测试中的关键问题.针对形式化方法生成测试案例的不足,在分析形式化描述语言Z结构特点的基础上,提出了一种基于形式化描述的测试案例生成方法.从分析Z语言描述的输入空间、前置条件和后置条件出发,对前置条件适当重写,然后根据前置条件利用更改的判定条件覆盖准则来生成测试案例集,该方法引入了控制流覆盖准则,克服了经验方法输入空间划分不完整的缺点,降低了形式化描述的难度,并可以使测试案例生成过程自动化.     

UML 2.0通信图的一种测试用例生成方法

提出了一种UML2.0通信图生成测试用例的方法.首先根据通信图构建一棵通信树,利用后序遍历了所构造的树,从通信图中选择条件断言,然后转换条件断言并通过求解函数最小值的方法来生成测试用例.该测试用例满足消息路径覆盖和边界覆盖.     

基于损失函数的单元测试用例自动化生成算法研究与实现

软件测试是软件开发过程中最为耗时的阶段之一.通过自动执行大量的测试用例,可以高效、及时地发现软件程序中潜在的错误,这是提高大中型软件开发质量的重要技术发展趋势.目前较多的元启发式优化算法已经能够实现测试用例的自动生成,但测试效率较低且开销较大,所以如何使得生成的测试用例在数量较少的情况下覆盖尽可能多的目标,就成为自动化测试用例生成中的核心技术问题.本文提出一种基于损失函数的单元测试用例自动化生成算法(LFGA),在遗传算法的执行过程中,根据测试用例种群的路径覆盖情况,动态改变后续种群的分布,保证整体数据分布的平衡性.并利用分支信息优化自适应交叉变异算子,自动生成规模尽可能小且高覆盖的有效测试用例集.实验结果表明,相比于已有的自动生成测试用例方法,较好地解决了传统模型中初值依赖、收敛早熟、局部寻优能力滞后等缺陷,保证了生成的测试用例平均覆盖率达到95%,提升了搜索效率及数据使用效率.     

面向SCOTEM模型的软件测试数据生成方法研究

如何从UML模型生成测试用例为面向对象软件测试带来了新的挑战.为测试用例提供测试数据是其中的关键环节.Shaukat Ali等人在UML基础上提出SCOTEM模型,但是此模型的测试数据需要人工生成.针对SCOTEM模型进行了改进使其适于灰盒测试,以OCL约束测试数据的生成和运行结果的验证,并提出了一种为基于粒子群算法的改进SCOTEM模型自动生成测试数据的方法.针对不同的覆盖标准,实验证明该方法能够以更高的效率生成高质量的测试数据.     

一种改进的自动规划GUI测试用例生成方法

在分析使用AI规划方法生成GUI测试用例方法的基础上,提出了一种基于权重的AI规划生成GUI测试用例方法。通过利用权重区分GUI事件序列重要程度,在此基础上将事件划分成不同子集,以决定测试用例的生成次序,使生成的测试用例更合理,从而提高GUI测试效率。实验结果表明,应用此方法在相同的测试用例数下能发现更多的错误。     

基于遗传算法的组合测试用例生成研究

对遗传算法的种群规模、选择策略、迭代策略等环节进行了研究,设计实现了一种实用的基于遗传算法的组合测试用例生成算法,具有用例生成速度快、用例集最小化的特点.     

一种改进的自动规划GUI测试用例生成方法

在分析使用AI规划方法生成GUI测试用例方法的基础上,提出了一种基于权重的AI规划生成GUI测试用例方法。通过利用权重区分GUI事件序列重要程度,在此基础上将事件划分成不同子集,以决定测试用例的生成次序,使生成的测试用例更合理．从而提高GUI测试效率。实验结果表明,应用此方法在相同的测试用例数下能发现更多的错误。     

基于测试剖面的软件可靠性测试数据生成技术

为了生成自动飞行控制系统软件可靠性测试数据，建立了软件可靠性的测试剖面、环境剖面等概念，提出了基于任务剖面的测试剖面生成技术和由测试剖面生成测试数据的方法，即将输入数据分为系统模式数据和环境数据，并在任务剖面下分别形成系统模式剖面和环境剖面，最后将两种剖面合成为测试剖面；将环境数据分解为控制分量和随机分量，再利用仿真的方法生成控制分量，从而生成复杂关联的测试用环境数据．通过对飞机执行任务的软件测试表明，所提方法能更为准确地描述软件的实际使用情况，其描述方式与硬件可靠性试验较为类似，可作软硬件系统综合的可靠性试验的基础．     

一种基于模型检验的类测试用例生成方法

提出一种新的自动生成类测试用例的方法.使用符号执行从类源代码抽取对象的状态和行为,以一个四元组抽象描述类,并转化成等价的Kripke结构.使用CTL公式描述测试覆盖标准,然后把这组CTL公式和描述类状态行为的Kripke结构输入模型检验工具,并利用模型检验工具自动生成相应的证据路径,最后将路径转化成满足相应覆盖标准的类测试用例.该方法直接从源代码生成测试用例,并使用贪心法约减冗余用例以降低测试成本.实验表明该方法生成的测试用例具有较高的覆盖率.