共查询到20条相似文献,搜索用时 78 毫秒
1.
王敏张莉萍王平 《计算机与数字工程》2014,(2):346-350
为提高GUI软件测试的效率、降低软件成本,提出一种针对GUI软件的测试工具.该工具由测试配置设定模块、测试用例设计模块和测试用例执行模块组成.首先根据测试需求进行测试配置设定生成INI文件,然后根据INI文件内容将测试对象窗体中需要测试的控件及属性设定到测试用例设计界面中,在界面中进行测试用例设计,并将设计数据保存到XML文件中,测试用例执行模块通过读取XML文件中的数据完成测试用例的自动执行,同时进行测试结果判断,最后生成测试报告.测试人员只需输入数据,不用编写测试脚就能实现测试用例的自动执行,能减轻测试人员负担,提高软件测试效率. 相似文献
2.
在传统的VeriBest设计过程中,普遍采用的方法是先利用VeriBest软件进行设计,再在贴装机上进行试贴装,如此反复直至没有问题出现,才能投入批量制造.这造成了设计与制造之间衔接问题.针对由于VeriBest设计中可能存在未被发现的设计错误等造成反复调试,从而严重影响生产效率的问题,本文通过对VeriBest设计文件进行分析,提取关键参数,利用计算机三维仿真技术对VeriBest设计进行仿真检错.实现了以VeriBest设计文件为输入的虚拟制造系统.经测试表明,该系统极大地提高了产前准备的效率. 相似文献
3.
针对电子电路产品设计中调试文档编制存在的各种弊端,提出了一种智能复用EDA设计信息的调试文档自动生成技术。通过融合异构EDA设计数据,智能复用设计数据中的调试信息,利用多个调试文档库之间的关联性,自动、快速地生成各类调试文档。该技术实现的系统已经在电子电路设计中得到应用,结果表明,该技术不仅优化了调试流程,还提高了文档编制的自动性、快速性和规范性。 相似文献
4.
5.
6.
为提高自动测试系统对模拟电路故障诊断的效率和水平,研究定义一种模拟电路测试交换机制,为基于模拟仿真测试程序集(TPS)开发和数据的传递提供信息和数据格式;通过Spice对电路进行仿真,将仿真数据进行小波分析提取特征,并由BPN、SVM、AIS进行知识生成与评价,最终实现ATIF文件自动生成;实验将ATIF文件解析导入到后处理环境中由测试程序执行检测故障,验证了测试格式的有效性。 相似文献
7.
针对Revit模型三维视图不能显示房间名称及房间编号(ID)的问题,设计了自动标注Revit三维模型中房间信息的中间件.该方法采用面向对象的C#编程语言,借助Revit API扩展方式,首先识别出Revit模型各楼层平面图的建筑构件,提取房间坐标数据信息;结合SQL server,建立BIM数据库(Epplus库),存储提取的数据信息;最后,利用Visual Studio和Revit平台,采用坐标数据匹配方法,实现Revit三维模型房间信息的自动标注.实例仿真证明,该方法能够自动准确定位识别Revit模型中的房间,完成标注,提高了设计人员和审图人员工作效率. 相似文献
8.
9.
张彪 《电脑编程技巧与维护》2017,(6)
随着老资料处理任务的增多,资料处理前期针对SPS文件的数据整理和转换,往往会耗费处理人员大量工作时间,常规方法一般利用Excel内插和外推功能,手动操作、任务量大、操作复杂、容易出错.通过自主研发软件并在不同工区实际应用证实,利用软件能够迅速自动生成标准SPS文件,反响良好.实践表明,该方法能够极大方便资料处理SPS数据构建,并保证数据的正确性,显著提高生产效率,论证了SPS文件自动生成技术研究的可行性,介绍了利用Delphi开发平台研发SPS文件自动生成软件的过程以及实际应用效果. 相似文献
10.
MySql是一种快速的、功能强大的、价格低廉的网络数据库.针对在计划表生成过程中遇到的效率低、易发生错误的实际问题,在现有的网络办公设备基础上,设计出一组客户程序来实现数据分析、数据上传、项目配置和VBA代码文件自动生成等功能,并描述了其实现过程.经过实践检验,本方法可以有效地解决上述问题,提高工作效率. 相似文献
11.
机车空调逆变电源设计 总被引:1,自引:0,他引:1
本文讨论的是机车空调逆变电源系统的设计与研究。该电源系统主要是由DC/DC的BOOST升压部分和DC/AC三相逆变部分两部分组成。DC/DC部分所得直流电压通过DC/AC部分逆变成三相交流电,供给空调机组工作。同时,为使电源系统能更可靠的运行,也设计了相应的故障检测、保护等辅助电路。 相似文献
12.
13.
讨论了几种实用的计算机辅助课表编排技术及在实际编排中的应用。应用分析表明,采用分批与或图搜索和分批优化的匈牙利算法相结合的方法,在计算机辅助课表编排中是行之有效的。 相似文献
14.
介绍关于桥梁结构损坏状态评估专家系统,在讨论状态评估方法的基础上,重点介绍损坏状态评估因素关系树的建立及各因素状态的模糊表达式等,最后以桥面诊断过程为例介绍系统的构成及诊断流程图,知识表达方式,系统推理过程及工作流程。 相似文献
15.
The problem to find a 4-edge-coloring of a 3-regular graph is solvable in polynomial time but an analogous problem for 3-edge-coloring is NP-hard. To make the gap more precise, we study complexity of approximation algorithms for invariants measuring how far is a 3-regular graph from having a 3-edge-coloring. We show that it is an NP-hard problem to approximate such invariants with an error O(n1−ε), where n denotes the order of the graph and 0<ε<1 is a constant. 相似文献
16.
本文介绍了发热量测定仪的结构、工作原理、硬件系统功能,阐述了应用铂电阻进行高精度温度测量的方法,系统用AT89C52单片机作为处理和控制芯片,该发热量测定仪性能符合水泥企业应用要求。 相似文献
17.
对国网宁夏电力检修公司宁安运维站近2年来一次设备喷涂PRTV用量的统计数据进行分析整理,得出各类一次设备按照标准要求喷涂PRTV时的用量估算值,并针对现存作业中存在的问题,提出相应解决方案。 相似文献
18.
Floris Geerts 《Information Processing Letters》2004,89(1):31-35
We consider a number of decision problems, that appear in the dynamical systems and database literature, concerning the termination of iterates of real functions. These decision problems take a function as input and ask, for example, whether this function is mortal, nilpotent, terminating, or reaches a fixed point on a given point in . We associate topologies to functions and study some basic properties of these topologies. The contribution of this paper is a translation of the above mentioned decision problems into decision problems concerning well-known properties of topologies, e.g., connectivity. We also show that connectivity of topologies on is undecidable for n>1. 相似文献
19.