That's one of the things done by FSCK, the filesystem consistency checking program.
这是文件系统一致性检查程序fsck所做的事情之一。
Use your computer's spell-checking program or have someone proofread the letter before you send it.
在你发信之前用电脑差错程序检查,或者让其他人检查阅读。
Developing a checking program for the data quality of CAD model to conduct an accurate, quantitative evaluation and management on the data quality of the model.
开发CAD模型质量检查程序,对模型数据质量进行准确的、量化的评估和管理。
Lastly, the methods of software redundancy, setting present output state register unit, and setting self checking program to solve the problem of control state being out of order.
对于控制状态失常问题采用软件冗余、设置当前输出状态寄存单元和设置自检程序等对策。
RESULTS &CONCLUSION:Connecting "bar code checking program"to hospital information system in the drug dispensing and adding machine judgment procedures can reduce the occurrence of error …
结果与结论:将“条形码校验程序”与医院信息系统连接并应用于药品调配过程,增加计算机判断步骤,有利于减少差错,提高药品调配质量。
Chapter 6 describes the drive software of data acquisition and control board. It discusses the design of self checking program, data acquisition and control program, data read and processing program.
第六章介绍了数据采集与控制板的驱动软件的设计,详细阐述了自检程序、数据采集与控制程序以及数据读取与处理程序的设计。
So, the version of GCC used with those tools was dutifully modified to call an external program for license checking.
所以,这些工具使用的GCC版本被合理地修改成调用一个外部的许可检查程序。
In other words, the compiler generates pretty much the same code you would have written by hand without generics, casts and all, after checking the type-safety of your program.
换句话说,编译器生成的代码与您手工编写的不用泛型、检查程序的类型安全后进行强制类型转换所得到的代码基本相同。
The example program would benefit from such enhancements as keeping the buffers synchronized or checking if the complete buffer must be redrawn when contents are lost.
示例程序将受益于一些增强功能:如使缓冲区保持同步,或者检查当内容丢失时是否必须重新绘制整个缓冲区。
This program begins by first checking a boundary condition -- whether or not the list is empty.
这个程序首先检查边界条件 ——列表是否为空。
Checking incoming E-mail and routing it to the right processing program: procmail.
检查收到的电子邮件,并发送给正确的处理程序:procmail。
Now, run the program with assertion checking enabled.
现在,请带有启用断言检查运行该程序。
Traverses the abstract syntax tree (AST) one or more times, collecting information and checking that the input program makes sense.
遍历抽象语法树(abstract syntax tree,AST)一次或多次,收集信息并检查输入程序makessense。
Jester determines if the tests succeed by checking what's been printed, so program output to System.err often confuses it.
Jester要通过检查打印的内容来判断测试是否成功,所以对System .err的程序输出会把Jester弄混。
The programmer just has to perform local syntax checking for the program before submitting a mainframe compilation, and the errors will be listed in the WebSphere Developer for zSeries Problems view.
程序员只需在提交大型机编译前对程序执行本地语法检查,错误就将在WebSphereDeveloperfor zSeries Problems 视图中列出。
You should consider checking our your schools lunch program.
你应该考虑核算一下您的学校午餐计划。
Note that after each host is entered, the DB2 installation program does validation checking to ensure everything is configured properly for the new host, as shown in figure 15.
注意在每一个主机输入后,DB 2安装程序会进行有效性验证,以保证新主机的所有配置正确,如图15所示。
After the FETCH, the program does "before and after" checking to see if anything on the row was changed by a different user while our user was staring at the screen display.
FETCH之后,程序进行“前后”检查,来查看在进行屏幕显示时,是否有不同用户对该行做了改动。
This SQL is better than simply reading all the data without the WHERE clause and then checking each row to see if the SALARY is greater than 50000.00 in your program.
与只读取所有数据而不使用WHERE 子句,然后在程序中检查SALARY是否大于 50000.00的做法相比,该SQL更好。
Model checking is then used to check whether a program has a given property.
然后使用模型检查来检验一个程序是否有某个给定特性。
Running the program with assertion checking enabled produces the following error report
带启用断言检查运行程序产生下面的错误报告
In addition, it's important to know that Purify only does error checking on parts of your program that run during testing.
此外,很重要得一点是,Purify只在运行测试的过程中对部分的程序进行错误的检验。
Now we have started our main program loop, the part of our program which will repeat over and over checking for updates to the game.
现在开始我们程序的主循环,这一部分将反复的更新信息和检查按钮状态等。
Loosely speaking, model checking is a way to check for the existence of a finite state machine (specification) in another finite state machine (program).
不严格地说,模型检查是在一个有限状态机器(程序)中检验另一个有限状态机器(清单)存在性的一个方法。
A test oracle in software testing is a mechanism for checking whether the program under test behaves correctly for any execution.
在软件测试中,测试预言是一种用于检查程序在测试中是否正常运行的机制。
This checking module can correctly find syntax errors and some simple logical errors of the diagram program, which provides guidance for the further development.
该检查模块能够正确找出已编写程序的语法和一些简单的逻辑错误,对后续开发具有指导意义。
Realization idea and algorithm of ladder diagram program checking would be introduced mainly.
主要介绍一下对梯形图程序检查的实现思路和具体的实现算法。
Model checking, a technique for verifying the existence or non-existence of certain temporal properties in a program is also a static analysis.
模型检查,是验证一程序中是否存在某些暂时性特性的一种技术,它也是静态分析。
Model checking, a technique for verifying the existence or non-existence of certain temporal properties in a program is also a static analysis.
模型检查,是验证一程序中是否存在某些暂时性特性的一种技术,它也是静态分析。
应用推荐