单元测试

摘要： 在民机软件验证过程中,开展低层需求测试活动时,需要选择高效的方法,既能满足实际项目的工程需要,又能满足适航标准的要求。针对这些要求提出了一种低层需求测试方法,该方法基于TBrun工具,在设计测试用例时补充其满足适航要求的基本元素,并在目标机自动化执行测试用例,针对测试输出物进行人工评审。该方法能在满足适航要求的同时提高测试效率,可作为通用的民机软件低层测试方法加以推广使用。

摘要： 单元测试,是指对软件中的最小可测试单元进行检查和验证。车辆运行参数监测系统软件与列车信号控制设备息息相关,也发挥着监测其运行逻辑的作用,为了确保地铁列车安全运行以及旅客的安全,保证其功能正常十分重要。为保证城市轨道交通运行安全、提高运行效率,阐述了基于多功能车辆(Multifunction Vehicle Bus,简称“MVB”)标准的网络控制系统单元测试的基本要求和方法步骤,提出了一套完整的单元测试方法,可有效避免监测系统错误的产生,从而保证轨道交通信号软件的稳定性与可靠性。

摘要： 2020年10月25日对我来说是一个黑暗的日子。那天午饭后,由于要先去区中医院拿体检报告,然后再去学校上课,我早早就装好备课本和已批改好的数学单元测试卷,和先生驱车前往医院。到得医院,我让先生在路边停车等候,自己登楼到了取报告窗口。报上姓名后,医生面色有些凝重地说:"这个报告叫你家人来取吧!"

摘要： 生本教育课堂教学要全面规范进行各类教学内容的实践,严格按照五种类型进行学习,即感知课、新授课、练习课、复习课、评研课。各类课程是按照教学顺序和教学内容侧重点不同区分的。一般情况下,教学活动中应先上感知课,再上新授课,然后进行练习课,单元结束或周末进行系统复习课,最后再进行以单元测试为主的评研课为基本流程。感知课能从整体把握单元的主要内容;新授课内容开放、形式多样;练习课对所学的内容进行梳理整合;复习课进一步明晰知识结构和脉络;评研课多角度多元化测试,独具特色。每一堂课精彩纷呈,处处闪耀着生本教育的思想和灵魂。

摘要： 刘志远,文学硕士。河南省郑州市上街区“B类”人才、市“名师”、省“骨干”、“学科技术带头人”、第七届“河南省语文十大年度人物”、河南大学文学院“国培计划”特邀专家、《画重点》系列书的封面人物。在《中学语文教学》《中学语文教学参考》《中国青年报》等发表多篇文章。现担任《语文月刊》和金太阳·100所名校单元测试示范卷特约撰稿人。多次、多地、多形式举行讲座。多年被评为高考语文“优秀评卷员”。

摘要： 由于面向对象程序具有多态性等复杂特性,在软件单元测试中仅凭静态分析难以判断指针和引用指向对象的具体类型,为了解决这一问题,对类的抽象内存模型进行研究,并提出类的操作语义模拟算法;在路径分析时,通过构建和更新抽象内存模型,从而对变量所属类的范围进行限定;对于单元测试,对基于输入域的随机测试进行优化,提出基于路径的随机测试方法,得到输入变量的类型集合;实验表明,类的抽象内存模型结合操作语义模拟算法能够有效提取出路径中类相关的约束,基于路径的随机测试方法比起基于输入域的随机测试方法能够明显提高测试效率。

摘要： 为了解决自动化单元测试工具在测试大规模C++工程时经常发生内存溢出故障且耗时较长这一问题,在测试流程中引入了缓存优化技术,并提出了一种面向不同测试方式的缓存优化方法;当用户直接对整个工程进行测试时,系统将采用缓存预取的方式,通过设计的缓存预取模型,在缓存出现读缺失之前为其提供数据块;当用户对单个文件进行测试时,系统将采用改进的GDSF替换算法进行缓存替换;实验表明,该方法能够有效地避免此类单元测试工具发生内存溢出故障并减少了测试的时间,使其支持的被测工程规模由5000行左右增加至十几万行,大大提升了系统的性能。

摘要： 文章对单元测试的特点、方法论、一般流程做了介绍,并在此基础上,对Jest单元测试框架的特点、使用流程做了介绍,最后对Jest单元测试框架使用的几种场景做了举例说明。

摘要： 现有的移动应用开发模式为产品经理确定功能需求后,研发人员按照需求文档进行项目开发。测试人员在开发完成后根据用例测试应用是否满足功能需求。该模式下,产品经理、研发人员和测试人员对应用需求的理解以各自视角为基准。研发人员在模块开发时只有通用的代码规范标准,而无与具体功能需求相关联的约束,导致代码实现上功能划分不合理、接口职责不单一以及数据和状态组织不明确等问题。由此,本文提出了一种基于行为描述的移动应用开发模式。行为的发生可以用指定状态下特定数据值(或多个值的组合)来表示,即利用数据和状态描述行为。实践表明,本文提出的移动应用开发方法灵活、高效、扩展性强,具有较高实际应用价值。

摘要： 案例描述女孩小Z(化名),三年级升四年级分班时,进入笔者所带的班级。她长得美丽,穿着讲究,但各科学习成绩不太理想。每周一早上收作业,小Z都面不改色地翻书包许久,然后很委屈地对老师说:“我忘记带了,作业放在家里……”因疫情原因,笔者不便联系家长送作业。发现这个情况后,她的周末作业更是经常性“零”上交了。每次单元测试回家后,她要么谎报分数,要么把老师的要求“过滤”,试卷也是“有去无回”。

摘要： 随着雷达技术的飞速发展，雷达对嵌入式系统的要求越来越高，对于军用嵌入式产品而言，安全性和稳定性是产品设计的第一准则。随着开发对象复杂度的提高，软件设计在雷达系统设计中所占比例越来越大，软件的可靠性直接影响到整个雷达系统的可靠性。论述软件测试工具Testbed在嵌入式软件单元测试中的应用方法.单元测试过程包括静态测试和动态测试。静态测试，主要进行静态分析和代码审查，检查代码是否符合规范;动态测试，执行单元测试用例，记录测试用例的执行过程和结果，深入检查代码的正确性，容错性和边界值等。通过多次使用Testbed工具对雷达软件进行单元测试，并形成静态分析报告和覆盖率测试报告，发现Testbed工具反映出的情况清晰明了，为评估软件设计和软件的测试提供了可靠数据，也给软件维护带来很大方便。软件测试工具Testbed为测试人员的单元测试提供了有力的支持，工具与人工的结合提高了测试效率，使得项目软件单元设计和编码过程中的问题和缺陷得以尽早的暴露，从而缩短了软件开发周期，减少了项目的后期维修服务，提高了软件质量和可靠性。

摘要： 程序在运行过程中出现非预期的行为或者结果,说明该程序中存在软件故障,如何快速准确的定位软件故障是提高软件可靠性的一个重要方面.本文介绍一种单元测试中基于路径分析的故障定位方法,根据测试用例的执行结果,分析对应的执行路径,通过统计程序控制流图上每条边分别被通过和失败的测试用例执行的次数计算该条边的可疑度,然后由边的可疑度计算得到节点可疑度,并将节点按照可疑度进行排序,帮助程序员快速准确的定位到故障位置.最后通过实验,验证了该方法的有效性.

摘要： 软件测试是软件质量保证的重要步骤,在软件开发生命周期中受到关注最多的就是测试.在大部分软件开发活动中,测试被认为是基础,它对软件的成功至关重要.核电厂类的软件有高安全性和高稳定性的特殊要求,使得其测试的重要性尤其突出.本文描述核电厂控制系统软件单元测试中应用MC/DC(修改的条件/判定覆盖)技术.首先,论述了航空领域软件的等级划分,核电仪控行业对于单元测试结构覆盖等级的要求.接着,论述了国外单元测试的法规、标准要求、MC/DC基本概念、优势和标准化流程.最后,结合工程实例,提供了适用于核电厂控制系统的软件单元测试标准化流程测试方法.

摘要： 在上海宝信软件股份有限公司的高性能实时数据库软件平台开发中,由于使用C++语言实现大量内核外围的服务应用模块,各种应用逻辑复杂多样,所以依赖开发人员个人技能识别逻辑异常场景较难.而实时数据库平台对可靠性要求很高,因此本文研究了C++程序提高代码可靠性的多种途径,包括单元测试、代码静态分析、内存动态检测等,并在项目开发中进行了有效实践,提高了代码可靠性,提升了产品质量.

摘要： 软件调试是软件开发的重要环节.统计错误定位技术通过分析程序执行频谱来估计程序中错误所在的位置.针对不同类型的程序频谱,此类技术建立不同的启发式模型描述程序行为.已有研究表明,其准确度同目标错误和程序类型相关,且不存在某种普遍有效的技术.本文从单元测试的特性出发,探讨预测错误类型的可行性,并采用马尔可夫过程对错误类型进行预测,从错误定位技术备选集中选择适合的技术来实施.实验表明能够更快地定位到程序错误.

摘要： 测试用例的自动生成可以极大地节省人力，提高程序质量可信度。rn 由于测试用例输入空间的无界性和程序逻辑的复杂性，基于结构覆盖的测试用例自动生成问题一直没有很好的解决。本文介绍了一种单元测试用例自动生成方法，简称作MCSE。它将模型检验和符号演算相结合，将程序中的变量符号化，探测程序可能的执行路径，并收集每条路径执行必须满足的条件，再通过求解路径条件集从而得出每条路径的测试用例。本方法以函数为单元测试粒度，针对Java语言实现了基于Java虚拟机的用例生成框架。以二叉查找树为例，生成了188个无重复路径的测试用例，对该方法的有效性进行了验证。

摘要： 为了使有限元线法在温度场单元划分中更具有灵活性，本文通过已经提出的各种有限元单元进行研究，引入了有限元线法单元搭接。通过坐标变换将不规则单元映射为规则单元，从而很方便对温度泛函一阶变分进行处理。最后利用COLSYS对所得常微分方程进行求解，完成了对任意几何形状温度场的求解。

摘要： 为了使有限元线法在温度场单元划分中更具有灵活性，本文通过已经提出的各种有限元单元进行研究，引入了有限元线法单元搭接。通过坐标变换将不规则单元映射为规则单元，从而很方便对温度泛函一阶变分进行处理。最后利用COLSYS对所得常微分方程进行求解，完成了对任意几何形状温度场的求解。

摘要： 为了使有限元线法在温度场单元划分中更具有灵活性，本文通过已经提出的各种有限元单元进行研究，引入了有限元线法单元搭接。通过坐标变换将不规则单元映射为规则单元，从而很方便对温度泛函一阶变分进行处理。最后利用COLSYS对所得常微分方程进行求解，完成了对任意几何形状温度场的求解。

摘要： 为了使有限元线法在温度场单元划分中更具有灵活性，本文通过已经提出的各种有限元单元进行研究，引入了有限元线法单元搭接。通过坐标变换将不规则单元映射为规则单元，从而很方便对温度泛函一阶变分进行处理。最后利用COLSYS对所得常微分方程进行求解，完成了对任意几何形状温度场的求解。

摘要： 本申请公开了一种测试用数据的生成方法、单元测试方法以及单元测试系统，所述测试用数据的生成方法包括：获取数据对象的类型，利用JAVA反射机制获取所述数据对象的属性信息；根据所述数据对象的类型和属性信息，按照设定的规则生成用于进行插入测试或/和更新测试的测试用数据。所述单元测试方法包括：利用生成的用于进行插入测试的数据执行插入测试；当插入测试结果正确时，利用生成的用于进行更新测试的数据执行更新测试；当更新测试结果正确时，进行删除测试，并当删除测试结果正确时返回测试正确响应。通过本申请，可以提高生成测试用数据的效率，进而提高单元测试的效率。

摘要： 一种标准单元测试电路版图及其优化方法、标准单元测试结构，标准单元测试电路版图包括：第一待测单元电路；第一待测单元电路包括：若干级第一标准单元；若干级第一标准单元排列成Y1行*X1列的阵列。若干级第一标准单元的连接关系采用鱼骨形的方式进行连接，节省了电路版图面积。其次，实际测试的第一标准单元的延时特性的精确度提高。综上，提高了标准单元测试电路版图的性能。

摘要： 本发明涉及一种RRAM单元测试系统切换器及一种RRAM单元测试系统，该切换器主要由双联继电器构成，双联继电器的线圈通过光电耦合器与控制信号端口连接，由其带动相应的两个双掷开关实现信号同路的选择，该切换器与两种不同的信号源及主控计算机等构成了RRAM单元测试系统，实现了对RRAM单元测试过程中两种信号源的瞬时切换，更方便、更精确地实现对RRAM单元的电学和存储性能的测试。

摘要： 本申请公开了一种测试用数据的生成方法、单元测试方法以及单元测试系统，所述测试用数据的生成方法包括：获取数据对象的类型，利用JAVA反射机制获取所述数据对象的属性信息；根据所述数据对象的类型和属性信息，按照设定的规则生成用于进行插入测试或/和更新测试的测试用数据。所述单元测试方法包括：利用生成的用于进行插入测试的数据执行插入测试；当插入测试结果正确时，利用生成的用于进行更新测试的数据执行更新测试；当更新测试结果正确时，进行删除测试，并当删除测试结果正确时返回测试正确响应。通过本申请，可以提高生成测试用数据的效率，进而提高单元测试的效率。

摘要： 本公开实施例公开了一种单元测试环境容器的生成方法及装置、单元测试方法及装置、计算机可读存储介质、电子设备及计算机程序产品，其中，该单元测试环境容器的生成方法包括：获取待在模拟图形渲染环境下进行单元测试的工程数据；设置用于运行图形渲染程序的操作系统，并在操作系统中创建基础容器；基于预设的用于建立单元测试环境的数据包，在基础容器中设置用于进行单元测试的测试环境；将工程数据设置在基础容器中，得到单元测试环境容器。本公开实施例可以在单元测试环境容器中模拟图形渲染环境，不需要依赖浏览器即可运行图形渲染测试用例，提高了单元测试的可移植性。

摘要： 本申请提供单元测试代码的生成方法、单元测试方法和装置，从待测试项目中读取目标测试源码；通过源码解析器对所述目标测试源码进行解析，获得源码特征信息；获取单元测试模板文件，所述单元测试模板文件包含用于生成单元测试代码的基础信息；将所述源码特征信息注入所述单元测试模板文件中，并根据所述源码特征信息和所述单元测试模板文件中定义的用于生成单元测试代码的基础信息生成针对所述目标测试源码的单元测试代码。

摘要： 一种标准单元测试电路版图及其优化方法、标准单元测试结构，标准单元测试电路版图包括：第一待测单元电路；第一待测单元电路包括：若干级第一标准单元；若干级第一标准单元排列成Y

摘要： 本发明提供了一种单元测试数据生成方法和一种单元测试数据生成系统，其中，单元测试数据生成方法包括：根据预设单元测试标准，解析被测试数据的源代码结构；确定测试所需的单元测试数据的参数类型，并进行参数构造；在完成所述参数构造之后，根据所述参数类型和所述参数构造的结果，生成所述单元测试数据。通过本发明的技术方案，可以自动生成单元测试数据，以直接应用于测试方法，使测试人员省去了繁琐的测试用例数据准备工作，不再需要测试人员去完成分析代码结构、准备测试数据、分析测试用例等工作，将手工准备方式变为自动化生成方法，大量节约了开发时间和开发成本，提高了测试效率。

摘要： 本发明涉及一种RRAM单元测试系统切换器及一种RRAM单元测试系统，该切换器主要由双联继电器构成，双联继电器的线圈通过光电耦合器与控制信号端口连接，由其带动相应的两个双掷开关实现信号同路的选择，该切换器与两种不同的信号源及主控计算机等构成了RRAM单元测试系统，实现了对RRAM单元测试过程中两种信号源的瞬时切换，更方便、更精确地实现对RRAM单元的电学和存储性能的测试。

摘要： 本发明提供一种非易失性存储单元的差分单元测试电路，包括第一、二存储单元；CMUX电路，CMUX电路包括第一、二输入端以及第一、二输出端；信号输出单元，其包括第三、四输入端以及信号输出端，第三输入端与第一输出端连接，且设有第一开关；第四输入端与第二输出端连接，且两者间设有第二开关；Reference参考电流单元，其包括第一、二电流输出支路，第一电流输出支路的输出端与第三输入端连接，且两者间设有第三开关；第二电流输出支路的输出端与第四输入端连接，且两者间设有第四开关。本发明通过在差分单元测试电路增加几个开关管，用电流表征SONOS差分单元裕度，能快速方便筛选出差分单元的读取裕度。