程序测试

摘要： 随着计算机系统在工业和生活中越来越广泛的应用,软件和硬件的可靠性受到越来越多的关注.定理证明方法将程序和系统的正确性表达为数学命题,然后使用逻辑推导的方式证明正确性.不同于基于程序测试的技术,定理证明方法能保证覆盖所有边缘情况,完全排除一些特定类型的错误.而基于逻辑推导的交互式定理证明技术还能不受系统状态空间大小和复杂性的限制,验证非常复杂的系统和性质.因此,定理证明技术不仅是形式化方法领域,也是众多其他应用领域国内外学者的关注焦点和研究新热点.

摘要： 根据电子天平的功能需求和性能指标,结合国内外电子天平软件所具有的功能和特点,采用模块化的设计思想,设计了电子天平系统的整体软件结构,并对各功能模块进行单独设计,完成电子天平的CPU控制、A/D数据采集与处理、液晶数据显示、按键处理等功能软件设计,并利用现有的电磁力平衡传感器系统,搭建了MSP430最小系统和A/D数据采集电路,对所设计的电子天平的软件程序进行了测试。测试结果显示,软件设计能够有效提高电子天平的测试精度和智能化水平。

摘要： 本文通过对冰箱新品开发过程中三项重要而非常规的试验方法(即电控冰箱程序测试方法、电子式定时器对温控器参数的测定方法和遇水变色油墨对风冷冰箱密封改进的试验方法)进行阐述,说明这些试验方法不仅具有及时发现产品质量问题,直观记录产品问题的作用,而且能够提高工作效率,缩短产品开发周期,减少测试人员工作量,为大家在新品开发时提供一些借鉴。

摘要： 汽车制造商表示有兴趣在下一个油品规格推出之前解决目前北美最新乘用车机油规格中存在的一些问题。他们的愿望清单中包括一项新的程序测试,以确保机油在整个换油周期内都具有预防低速早燃的性能,还希望新增两个低黏度等级油品。关于新测试:随着机油老化,一些通过新机油低速早燃测试的润滑剂,在整个机油换油期内的使用后期可能不会继续防止低速早燃。

摘要： 本文针对ARM M0 CPU芯片,提出了一种在仿真器上实现代码覆盖率统计功能的设计方法.通过增加KIT区实现寄存器的配置、统计数据的存储,通过MDK的DLL设计人机交互界面,实现统计信息的导出与导入,统计功能的使能与关闭,使用上位机软件分析,就可以得到代码执行覆盖率.本设计可以很快定位测试程序或被测程序的问题,提高程序开发测试效率.

摘要： 随着市场需求水平的提高及输送机设备的发展,实践中需要自动化程度更高输送机设备以提高效率,这促使相应的控制程序也更为复杂.本文的内容主要是在此背景之下,基于现场总线程序的测试模拟系统设备的研究,本人以自身实践的角度对此设备进行了创新,以此来测试输送机设备控制程序的可行性,希望通过本文的研究能够让此测试模拟系统设备的信息对输送机控制技术领域的发展有所助益.同时,也体现了对输送机设备应用的生产领域提供的现实意义.

摘要： 2019年1月美国化学协会(ACC)提议了一项计划,可使ILSACGF-6规格油品最早在2020年7月1日认证,但几项台架测试的限值较汽车生产商提出的目标值更为宽松。若该提议获批,添加剂公司有信心在2019年7月1日前完成技术验证,考虑到技术验证期后还有1年的等待期,则ILSACGF-6规格认证有可能在2020年7月1日进行油品授权,若可将1年的等待期缩短至9个月,则ILSACGF-6规格认证时间可提前至2020年4月1日(ILSAC原计划时间)。

摘要： 提出一种基于云模型的程序时间性能评价方法.利用云模型在不确定性处理中的优势,对程序时间性能进行定量评价与定性评价之间的转化,改善传统的程序时间性能评价方法在复杂运行环境中和程序规模较大时存在的不足,能够很好地适用于各类程序的时间性能评价.使用LeNet和Sharpness等程序进行测试和实例验证,实验结果表明,所提方法充分利用了云模型的特性,能够高效、准确地对程序的时间性能进行评价.%A method for evaluating program running time performance based on cloud model was proposed.The superiorities of cloud model processing uncertainty were utilized to complete a conversion between quantitative and qualitative evaluation and disadvantages of the traditional program timing evaluation methods were made up,especially when running environments were complicated and the scales of the programs were enormous.The method proposed can be well applied to timing performance evaluation of any programs.The method was empirically validated with programs like LeNet and Sharpness.Experimental results show that the proposed method based on cloud model takes full advantage of cloud model.It can evaluate program timing performance effectively and accurately.

摘要： 随着并行编程越来越普及,并行程序的测试也变得越来越重要.本文面向共享内存的并行程序,研究一种新的并行程序测试技术,设计了工具CPTester,采用冗余分析方法避免重复的结果.和已有工作不同的是CPTester能够自动生成每一个并行bug的上下文信息,对程序员理解并修复一个并行bug具有重要意义.将CPTester在一些真实的并行程序上进行实验评测,结果显示CPTester能够有效地检测到程序中的并行bug,且每一个并行bug都有相应的上下文信息来描述该bug触发的根本原因.

摘要： The Tiangong 1 target vehicle,which had been working in orbit for 1,630days,ceased operation,so formally terminating its data service after exceeding an additional period of service of two and a half years.Since it was launched into orbit on September 29,2011,Tiangong 1 has completed three docking and rendezvous missions with Shenzhou 8,9 and 10 spaceships and completed

摘要： PLC程序的可靠性是工控系统安全的一个重要因素.传统的PLC编程系统对程序仿真缺乏足够的支持.为了弥补这一缺陷,开发了一个基于软件仿真的PLC程序测试系统.这一系统在国际上是独一无二的.借助这一系统,发现了大量的PLC程序错误.本文详细描述了在这个系统的支持下对几个PLC程序的缺陷发现过程.这些PLC程序是:抢答器程序,音乐喷泉控制程序,电梯程序.同其他PLC测试手段相比,这一测试技术有多个优点，如无需PLC和硬件设备支持,测试代价小;能够模拟实际应用中罕见的情景.自动批处理可重放,提高测试效率;自动检查输出结果的正确性;支持时序控制的测试,并具有时序加速能力;独立于厂商的测试能力.这些特性可以使这一系统发展成为一个通用的PLC编程系统.

摘要： 基于LabVIEW 7 express设计和编制了电流-电压特性测试程序,用该程序对纯电阻进行测试,实验结果与线性拟合结果之间误差小于0.3％,表明程序测试具有良好的实时性和准确性.制备了ITO/PEDOT:PSS/MEH-PPV:PCBM(1:4)/Al光伏器件,在91mW/cm2的白光照射下,用编制的程序测得器件短路电流为4.48mA/cm2,开路电压为0.65V,填充因子为0.35,能量转换效率为1.12％.

摘要： 本文讨论了JAVA程序的软件测试工具Junit及Cactus的结构组成及使用方法,研究了利用IAVA对测试实例脚本化的方法,并对它们的适用性进行了评述;阐述了基于WEB的答疑系统的测试方法.

摘要： 软件分析是软件生命周期中许多活动(分析、设计、实现、测试、维护等)的基础,也是软件领域长期稳定的研究内容.本文首先对软件分析进行概述,然后结合近5～10年来发表的学术文章,分别介绍了软件分析技术的主要进展、软件分析技术应用方面的进展,以及软件分析的相关技术发展趋势.

摘要： 软件分析是软件生命周期中许多活动(分析、设计、实现、测试、维护等)的基础,也是软件领域长期稳定的研究内容.本文首先对软件分析进行概述,然后结合近5～10年来发表的学术文章,分别介绍了软件分析技术的主要进展、软件分析技术应用方面的进展,以及软件分析的相关技术发展趋势.

摘要： 软件分析是软件生命周期中许多活动(分析、设计、实现、测试、维护等)的基础,也是软件领域长期稳定的研究内容.本文首先对软件分析进行概述,然后结合近5～10年来发表的学术文章,分别介绍了软件分析技术的主要进展、软件分析技术应用方面的进展,以及软件分析的相关技术发展趋势.

摘要： 软件分析是软件生命周期中许多活动(分析、设计、实现、测试、维护等)的基础,也是软件领域长期稳定的研究内容.本文首先对软件分析进行概述,然后结合近5～10年来发表的学术文章,分别介绍了软件分析技术的主要进展、软件分析技术应用方面的进展,以及软件分析的相关技术发展趋势.

摘要： 软件分析是软件生命周期中许多活动(分析、设计、实现、测试、维护等)的基础,也是软件领域长期稳定的研究内容.本文首先对软件分析进行概述,然后结合近5～10年来发表的学术文章,分别介绍了软件分析技术的主要进展、软件分析技术应用方面的进展,以及软件分析的相关技术发展趋势.

摘要： 以高速宽带电流反馈型放大器THS3001和可变增益宽带放大器AD603为核心，通过单片机选择控制，实现0～10MHz宽带直流放大器的手动连续增益调节和增益预置控制功能。采用三级放大实现0～60dB增益范围的选择与调节，并用电压跟随器解决放大器级间阻抗引起的增益起伏。

摘要： 以高速宽带电流反馈型放大器THS3001和可变增益宽带放大器AD603为核心，通过单片机选择控制，实现0～10MHz宽带直流放大器的手动连续增益调节和增益预置控制功能。采用三级放大实现0～60dB增益范围的选择与调节，并用电压跟随器解决放大器级间阻抗引起的增益起伏。

摘要： 本发明提供一种详细地掌握学生本人对每种学习内容的掌握程度来帮助进行有效的复习且制作最适合于学生本人对每种学习内容的掌握程度等的习题集的测试题制作服务器、结果表单制作服务器、习题集制作服务器以及问题管理服务器。将学习内容细分到小单元，将问题全部登记到数据库中，并以小单元进行分类且赋予难度，来将学生的学力细分到小单元，测定与问题的难度对应的学力，以历史记录的方式记录学力的变化，并且将学生解答存储在数据库中的问题得到的结果全部作为历史记录而进行记录。通过将以上的设计思想以数据库的形式具体实现，由此补习班服务器(102)实现制作用于按每个小单元掌握学生学力的学力掌握测试题的功能、根据学力掌握测试题的结果来制作以小单元为单位明确示出学生的学力的结果表单的功能、根据结果表单制作使学生的学力以小单元为单位提高的习题集的功能、根据学生的回答历史记录重新检验按每个小单元和按每个难度进行了分类的问题的难度并根据需要变更难度的功能。

摘要： 本发明公开了一种解析目标程序以生成测试程序的测试系统及其测试方法，其通过解析目标程序中的变数及函数产生解析结果后，依据解析结果生成测试程序的程序码，在测试程序执行以测试目标程序后，输出测试程序所产生的测试结果的技术手段，可以达成以同样的开发效率提供单元测试的技术功效。

摘要： 本公开涉及使用系统测试程序自动生成集成测试程序的方法和系统。该方法包括：针对多个系统模型中的每个系统模型生成系统测试用例。该方法还包括：自动生成包括多个系统模型中的一组交互系统模型的集成测试线束。来自一个或多个交互系统模型的输出信号是到一个或多个其他交互系统模型的输入信号。此外，该方法包括：针对集成测试线束中的每个系统模型自动生成集成测试用例，并且使用集成测试程序自动运行集成测试用例。该方法进一步包括：响应于运行集成测试用例而生成集成测试程序覆盖报告。

摘要： 本发明公开了一种基于iOS系统的应用程序内部测试程序生成及测试方法，该生成方法包括：开发登录验证代码模块，登录验证代码模块采用方法交互技术，在执行原启动代码的基础上载入登录验证代码；根据登录验证代码模块编译生成动态库；将动态库注入到应用程序的源包并重签名，作为内部测试程序包。通过实施本发明，开发的登录验证代码模块具备交换APP启动代码并载入自身调用的能力，并通过Xcode编译导出生成了动态库。该动态库能够注入到任何需要进行内测的APP，可以在其中加入权限弹窗功能，不需要在APP的源代码中加入硬代码，即插即用。同时，该生成的动态库具备良好的移植性，不依赖于其他APP，能够独立运行。

摘要： 本发明涉及一种测试应用程序的至少一个API的方法，包括基于配置文件在测试环境运行应用程序，以在日志文件中产生至少一个标记；基于至少一个标记，从日志文件中提取待分析语句集合；从待分析语句集合中查询一个或多个统一资源定位符；基于各API的相应标识在待分析语句集合中的出现频率，确定该API被调用的第一频率。本发明可提高API的测试效率，并消除各个API可能存在的调用冲突或者冗余调用的风险。

摘要： 本发明实施例公开了一种程序测试方法和程序测试装置。本发明实施例在接收到环境构建指令后，提取环境构建指令中的环境标签信息、程序构建信息和程序部署信息，并向预定的构建发布平台发送程序构建信息，以及向预定的服务托管平台发送程序部署信息，以使得构建发布平台基于基准测试环境以及程序构建信息、服务托管平台基于基准测试环境以及程序部署信息创建环境标签信息对应的测试环境。在本发明实施例中，程序测试人员只需要设置好待测试程序的环境标签信息、程序构建信息和程序部署信息，测试环境管理平台就可以通过与构建发布平台和服务托管平台交互的方式完成测试环境的创建，有效降低了创建测试环境的复杂度，提升了创建测试环境的效率。

摘要： 本发明实施例公开一种判断应用程序测试覆盖范围的方法及其设备，其中方法包括如下步骤：当对目标程序进行测试时，对所述目标程序中的目标函数进行预处理，并在预处理后生成所述目标函数对应的AST文本；基于所述AST文本获取所述目标函数的起始位置信息；按照所述起始位置信息对所述目标程序进行插桩测试。采用本发明，可以提升对程序的测试效果以及测试效率。

摘要： 本发明实施例提出了一种程序测试方法、程序测试装置、电子设备及存储介质。其中，程序测试方法具体是：获取区块生成节点随机算法程序，区块生成节点随机算法程序包括随机函数和随机种子；运行区块生成节点随机算法程序，得到第一测试结果；根据随机函数和随机种子生成测试程序，运行测试程序，得到第二测试结果；根据第一测试结果和第二测试结果确定区块生成节点随机算法程序的程序性能。通过本发明实施例所提供的程序测试方法，采用蜕变测试思想，引入自动化框架，自动挖掘区块链项目程序中的随机函数和随机种子，自动生成相应的测试程序，解决了区块生成节点选择算法随机性的测试预测问题，从而蜕变测试节点选择算法的随机性和可靠性。

摘要： 本申请公开了一种程序测试系统和程序测试方法、装置及电子设备，涉及金融科技领域，该程序测试系统包括：分支设置单元，用于为目标信息系统中每个接口运行的多个程序分支设置程序标签和设置每个程序分支的测试脚本，并将程序标签和每个程序分支的测试脚本传输至分支探测单元；分支输入单元，用于将目标接口的代码信息发送至分支探测单元，以确定目标接口运行的多个程序分支和每个程序分支的程序标签，分支探测单元，用于依据待测试的程序分支对应的程序标签，调用待测试的程序分支对应的测试脚本，生成待测试的程序分支对应的测试数据。通过本申请，解决了相关技术中测试准确率比较低的问题。

摘要： 本发明实施例公开了一种程序测试方法和程序测试装置。本发明实施例获取包括至少一个待测试服务的待测试程序后，通过线上录制的方式获取与待测试服务为不同版本的相同服务的目标服务的输入参数和返回参数，并基于各输入参数模拟各待测试服务的调用参数，进而基于各调用参数调用对应的待测试服务，获取各待测试服务对应的返回参数，从而根据各目标服务的返回参数与待测试服务的返回参数确定各待测试服务的测试结果，以对待测试程序进行测试。本发明实施例通过模拟真实数据的方式对待测试程序中发生更新的服务进行测试，从而提升程序的测试效率和测试的准确性。