To prevent a malicious user from hijacking html static contents in a web page , the framework applies a server - side validation technique 为了防止恶意用户劫持web页中的html静态内容，这个框架使用了服务器端验证技术。
This tutorial will guide you through the process of evaluating what rational manual tester can provide to your manual testing projects 它克服了关于以高投入低回报的方式确保最优测试和缺陷发现的手动验证技术的特征。
Verification technologies are cataloged into dynamic verification technology , which must run duv , and static verification technology , which need n ' t run duv 本文考察了动态验证技术和静态验证技术的最新发展，并积累了实践应用经验。
During the last decade , model checking has proven its efficacy and power in circuit design , network protocol analysis and bug hunting 在过去十几年的时间内， model checking作为一种自动化验证技术在电路设计，网络安全协议分析以及找bug方面显示出有效性。
The traditional idea of converting sounds into words is of very limited use in communications . the utterance - verification technology is helpful in addressing the above sounds 而传统的把语音转换成文字的想法在通信中用处非常有限，发音验证技术有助于处理上述声音。
With the rapid development recent years the static verification can offer relative faster speed and shorter time than dynamic one can do in the growing field of large scale chip 静态验证技术在近几年内有着飞速的发展。静态验证技术可以克服芯片规模增大时动态验证时间耗费巨大的缺点。
This article will outline translation verification techniques and classic errors , and will provide a tool that you can download to help your translation testers work more efficiently and effectively 本文将概述翻译验证技术和经典错误，并提供了一个工具，您可以下载它来帮助您的翻译测试员更有效率、更有成效地工作。
With the typical circuit fault model and conventional bit testing method , this paper researches into the validation technique of bit and smart fault detection which enhance the test effect of bit 本文结合数控系统典型电路故障模式和常规bit检测方法,研究bit的验证技术,并开展智能故障检测方法的研究,以提高bit的检测水平。
The main idea of this paper is about the research of the technology of the requirement analysis modelling and model verification . the word " analysis model " refers to the semi - formaliztion of the requirement specification 本文的主旨是关于需求分析建模和模型验证技术的研究，文中的“分析模型”是需求规格说明的半形式化表示。
Under the support of jiangsu province key scientific and technological project , this dissertation does research on nc code preprocess and solid - based verification simulation in noncircular surface nc grinding 本文以江苏省科技攻关项目为依托,着重对非圆曲面数控磨削加工仿真中的数控代码预处理技术和基于实体的仿真验证技术开展了研究。
