共查询到19条相似文献，搜索用时 343 毫秒
1.
Testing is a standard method for verification of software performance.Producing efficinet and appropriate test case is an important aspect in testing.Specification-based testing presents a method to derive test data from software specification.Because of the precision and concision of specification.the test data derived from specification can test the software efficiently and entirely.This paper demonstrates a test class framework(TCF) on a file reading case study,specifiec using Z notation,This class framework defines test case sets,providing structure to the testing process.Flexbility is preserved so that many testing strategies can be used. 相似文献
2.
占学德 《上海大学学报(英文版)》2006,10(5):469-470
Unified modeling language （UML） is a powerful graphical modeling language with intuitional meaning. It provides various diagrams to depict system characteristics and complex environment from different viewpoints and different application layers. UML-based software development and modeling environments have been widely accepted in industry, including areas in which safety is an important issue such as spaceflight, defense, automobile, etc. To ensure and improve software quality becomes a main concern in the field. As one of the key techniques for software quality, software testing can effectively detect system faults. UML based software testing based is an important research direction in software engineering. The key to software testing is the generation of test cases. This dissertation studies an approach to generating test cases from UML statecharts. 相似文献
3.
Zhanying Ren Shijie Liu 《美中教育评论》2005,2(11):27-30
According to the requirement of modem teaching theory and technology, based on software engineering, database theory, the technique of net information security and system integration, a net testing system on local network was designed and realized. The system benefits for dividing of testing ＆ teaching and settles the problems of random testing paper. In this paper, system structure and main function, database designing, database programming and system integration and maintenance were introduced. 相似文献
4.
PDM（product data management)is one kind of techniques based on software and database,which integrates information and process related to products.But it is not enough to perform the complication of PDM in enterprises.Then the mechanism to harmonize all kinds of information and process in needed.The paper introduces a novel approach to implement the intelligent monitor of PDM based on MAS(multi-0agent system).It carries out the management of information and process by MC( monitor Center).The paper first puts forward the architecture of the whole system,then defines the structure of MC and its interoperation mode. 相似文献
5.
It is difficult for teachers to track student learning on a daily basis. However, the Intemet and new technologies that students use every day can make this much easier and more accessible. This article intends to make evident that using student response systems, such as Socrative and a smartphone, teachers can get more control of their students＇ pace of learning and their progress. Socrative is a very useful tool that helps teachers track student learning in real time. Socrative software can be downloaded on students＇ smartphones, tablets, or laptops and can facilitate online testing with immediate feedback and access to test results. Students receive immediate feedback as soon as they finish answering test questions. It can also promote cooperative learning when students work in groups discussing coursework. Use of the software can increase motivation, self-esteem, and understanding of concepts discussed in class. 相似文献
6.
A study of the interference simulation based on robot welding of the radar pedestal was carried out by using the
KUKA Sim Pro simulation software and off-line program technology. Compared with the actual robot welding process, it was
found that the trajectory of the simulated robot welding process in line with that recorded in the actual welding process, and the
actual limit and interference appeared at the same place as the simulation process. There was no interference phenomenon on the
outside weld-seam; on the internal weld-seam, especially on the weld-joint of support plate connected to the cylinder, a
phenomenon of interference appeared. It was helpful to use the simulation method to guide the actual robot welding so as to
protect robot from impacting and reduce the weld defects. 相似文献
7.
The lifeti me maintenance of a bridge can comprise amuch greater portion of the total lifeti me cost than theoriginal cost of construction because of deterioration.An opti mal maintenance programis the key to makingappropriate decisions to mini mize cost and maintain anappropriate level of safety.Life-cycle cost is a usefulconcept in reducing the overall cost and achieving anappropriate maintenance plan[1,2].It is difficult tomake a reliable esti mate of thelifeti me costs whenthefuture of the… 相似文献
8.
A problem for a central crack in a plate subjected to plane strain conditions is investi-gated. Mode Ⅰ crack loading is created by a dynamic pressure pulse applied at a large distance from the crack. It was found that for a certain combination of amplitude and duration of the pulse applied, the energy transmitted to the sample has a strongly marked minimum, meaning that with the pulse amplitude or duration moving away from the optimal values, minimum energy required for initiation of crack growth increases rapidly. The results obtained indicate a possibility to optimise energy consumption of different industrial processes connected with fracture. Much could be gained in, for example, drilling or rock pounding where energy input accounts for the largest part of the process cost. Presumably further investigation of the effect observed can make it possible to predict optimal energy saving parameters, i.e. frequency and amplitude of impacts, for industrial devices, e.g. bores, grinding machines, and hence significantly reduce the process cost. The pre-diction can be given based on the parameters of the media fractured (material parameters, preva-lent crack length and orientation, etc.). 相似文献
9.
Jovani Castelan Daniel Fritzen 《美中教育评论》2014,(12):842-847
The propagation and full application of the three-dimensional （3D） computer-aided design （CAD） software by mechanical engineering and industrial design courses is a fact. However, many students find it difficult because they have not previously developed a spatial vision and do not understand the internal process of the software to build 3D models. This work aims at showing the image generation process on the computer screen, inducing the students to, mentally, generate 3D model projections, improving their spatial vision, and speeding up the process of interpreting orthogonal and isometric perspective views. 相似文献
10.
Software has been developed for digital control of WDW series testing machine and the measurement of fracture toughness by modularized design. Development of the software makes use of multi-thread and serial communication techniques, which can accurately control the testing machine and measure the fracture toughness in real-time. Three-point bending specimens were used in the measurement. The software operates stably and reliably, expanding the function of WDW series testing machine. 相似文献
11.
介绍了当前的几种常用Web测试生成技术,提出了基于爬虫的Web测试生成技术,设计并实现了Web测试生成系统,该系统可以自动化完成爬取目标Web应用、处理分析爬取结果、生成测试用例、执行测试用例的功能,并且系统执行过程中输出的分析结果和测试用例可以被其他相关系统如测试覆盖分析系统利用。 相似文献
12.
13.
自动组卷策略是利用计算机自动完成试卷生成的一种方案,整个过程的人工投入少,在很大程度上解放了教师,提高了工作效率。能否自动组出满足用户要求的试卷,与组卷使用的算法紧密相关。采用遗传算法,按照选择编码方式、产生初始种群、计算自适应函数、进行遗传操作、试卷生成的过程,可完成自动组卷操作。 相似文献
14.
叶自宁 《武汉职业技术学院学报》2011,10(5):66-69
VoIP系统已经成为商业应用中重要的一部分,为了促进VoIP应用的健壮性发展,需要一种可以有效检测其安全漏洞的自动安全测试工具。本文提出了一种基于模糊测试的框架,用于检测基于SIP的VoIP软电话安全漏洞。该框架可以自动与软电话用户界面进行交互,并且可以观察软电话的用户界面来检测错误信息。实验证明提出的框架可以检测出以前没有发现的一些漏洞。 相似文献
15.
针对UPS电源出厂前电气测试过程需人为操作,设计了UPS电源电气测试系统,采用S7—1200PLC作为系统的核心,以功率表作为测量元件,测试数据通过RS485通信方式送至S7—1200中,结合层次分析法、关联度分析法对其进行综合分析,利用组态王组态软件编制显示画面。在STEP7中对程序调试以及监控,与组态王组态软件连接,结果表明,该系统能够自动检测UPS电源电气测试数据并进行综合分析。 相似文献
16.
本文通过分析英国剑桥评价提出的问题解答过程模型,探讨引入认知加工模型对考试设计的作用。笔者认为,运用认知加工模型有利于提高试题的质量,控制和调整试题的难度,加强考试的诊断功能,确保考试的效度。在考试设计中强化认知加工模型的理念,将成为教育考试设计的有效框架之一。 相似文献
17.
为推进工程实践教学,培养学生创新能力,在教学实践过程中设计了一种测量太阳能光伏发电板实时参数教学实验平台,本实验平台解决现有技术中测量实验过程太阳能光伏发电板相关参数的仪器功能单一,不能自动记录下实时参数和绘制精确的趋势图等问题。该实验平台既可作为教师教学研究太阳能光伏发电相关特性设备,让学生加深太阳能利用相关知识;同时又可作为商业太阳能光伏检测设备,在高等学校实验室以及光伏发电企业中具有较高推广价值。 相似文献
18.
在数据驱动测试框架基础上,引入基于模型的测试思想,提出了一种支持软件测试全过程的测试自动化框架(GSTAF4SEI)。将该框架应用于项目CQMIS中,证明该框架的可行性。 相似文献
19.
测试用例的数量和质量决定软件测试的成本和有效性。在G算法和H算法的基础上,引入测试用例-测试需求映射关系重要性度的概念,本文提出了一种测试用例集最小化生成算法。该算法用于简化三角形分类程序的测试用例集,简化后的测试用例集是最小的测试用例集。实例分析证明该算法是有正确、有效的。 相似文献