1) examination software
检测软件
1.
A general model of packing quality vision examination software;
一种包装质量视觉检测软件的通用模型
2) Software testing
软件检测
1.
Based on the analysis of the characteristic of software and software testing, the applicability of CNASCLOI: 2006 (Accreditation Criteria for the Competence of Testing and Calibration Laboratories) in the field of software testing is researched in this paper.
基于软件及软件检测的特点。
3) software model checking
软件模型检测
1.
Aiming at the state explosion problem existed in the software model checking,a scheme of applying program conditioning to reduce the state space of programs was proposed.
针对软件模型检测中的状态爆炸问题,提出将程序条件化技术用于软件状态空间缩减的方案。
2.
C program model checking based on LTS is studied and a methodology for parallel software model checking is presented.
该文研究了基于标号迁移系统的C程序模型检测,提出一种软件模型检测并行化的方法。
3.
In order to cope with the problem,that is,the currently available software model checker can hardly deal with large-scale software,it is proposed to use the technique of program restructuring to pre-process the source code,so as to enhance the efficiency of software model checking.
针对软件模型检测目前很难处理大型程序的问题,提出用程序重构技术对待检的源代码进行预处理,以提高模型检测算法的效率。
4) Inspection software tool
检测软件工具
补充资料：针对CAXA系列软件加密狗检测不到的解决方案
【现象】
一些用户在初次安装caxa系列软件后，出现系统提示“没有检测到加密锁”“序列号不正确系统处于演示”。
【答案】
如果遇到此类问我们可以通过问题“查排法”一步一步找到问题的原因。具体方法如下：
检查软件安装时输入的序号是否正确、软件是否安装在根目录下
ª 遇到此类问题首先应该检查软件在安装时输入的序列号是否是正确的。在输入序列号时要注意输入法必须是“半角”，因为“—”符号在“半角”和“全角”中是有很大区别的，如果序号输入错误，可以通过修改注册表来更改软件的序列号。具体方法是：
（1）单击“开始”－“运行”－在对话框中键入REGEDIT单击“确定”，启动注册表编辑器，进入注册表编辑器，找到HKEY_LOCAL_MACHIE――SOFTWARE――BEIHANGHAIER――相应的软件名称（单击此文件夹）――Serial（双击此文件修改其键值，将正确的序号填入）――对于CAXA_EB和CAXA_WEDM请双击此文件夹再选中3.0文件夹，在此文件夹内有Serial文件修改键值。
（2）重新启动计算机后即可解决该序列号不正确的问题。
ª 其次，应该检查软件在安装目录，建议用户不要将软件安装在磁盘的根目录下。
ª 如果前两种方法试过后软件还是检测不到加密狗，那么请将软件安装目录下的data\eb2000.cfg文件删除，然后重新运行软件。
修改并口设置、检查并口后面的外部设备
如果以上操作试过之后，软件还是找不到加密狗，建议用户从计算机的并口设置和并口后的外部设备入手来解决此问题。
第一，由于计算机的并口工作不稳定造成加密狗不能正常使用。建议用户修改计算机的并口模式，将并口模式设置为“SPP”或“NORMAL”模式。具体方法如下：
（1） 重新起动计算机，并在进入WINDOWS98画面之前按“Del”键进入CMOS界面。
（2） 找到“INTEGRATED PERIPHERALS”（由于主板的品牌不一样相应的并口设置选项会在不同的BIOS CMOS设定组中，例如有的主板并口设置会在“CHIPSET FEATURES SETUP”设定组中，因此在修改并口设置时最好先阅读主板的说明书然后在进行操作）并进入。
（3） 选择“Parallel port Mode”选项
（4） 通过“pageUP”和“pageDOWN”把并口模式改为“SPP”或“NORMAL”模式
（5） 退出到主菜单，选择“SAVE&EXIT SETUP”，输入“Y”存盘并退出。
第二，由于加密狗后接有打印机造成加密狗工作不正常。当计算机上接有打印机时，一般应将打印机电源打开，否则可能测不到打印机前的硬件设备。还有些打印机使用上较特殊，需在启动windows时即将打印机电源打开，这样才能测到加密锁。试过之后还是检测不到加密狗，最后只能将打印机的数据线拔掉（切断电源的状态）然后启动软件看系统能不能检测到加密狗。如果可以检测到加密狗，那么只能建议用户购买一个“手动共享器”来解决此问题。
一些用户在初次安装caxa系列软件后，出现系统提示“没有检测到加密锁”“序列号不正确系统处于演示”。
【答案】
如果遇到此类问我们可以通过问题“查排法”一步一步找到问题的原因。具体方法如下：
检查软件安装时输入的序号是否正确、软件是否安装在根目录下
ª 遇到此类问题首先应该检查软件在安装时输入的序列号是否是正确的。在输入序列号时要注意输入法必须是“半角”，因为“—”符号在“半角”和“全角”中是有很大区别的，如果序号输入错误，可以通过修改注册表来更改软件的序列号。具体方法是：
（1）单击“开始”－“运行”－在对话框中键入REGEDIT单击“确定”，启动注册表编辑器，进入注册表编辑器，找到HKEY_LOCAL_MACHIE――SOFTWARE――BEIHANGHAIER――相应的软件名称（单击此文件夹）――Serial（双击此文件修改其键值，将正确的序号填入）――对于CAXA_EB和CAXA_WEDM请双击此文件夹再选中3.0文件夹，在此文件夹内有Serial文件修改键值。
（2）重新启动计算机后即可解决该序列号不正确的问题。
ª 其次，应该检查软件在安装目录，建议用户不要将软件安装在磁盘的根目录下。
ª 如果前两种方法试过后软件还是检测不到加密狗，那么请将软件安装目录下的data\eb2000.cfg文件删除，然后重新运行软件。
修改并口设置、检查并口后面的外部设备
如果以上操作试过之后，软件还是找不到加密狗，建议用户从计算机的并口设置和并口后的外部设备入手来解决此问题。
第一，由于计算机的并口工作不稳定造成加密狗不能正常使用。建议用户修改计算机的并口模式，将并口模式设置为“SPP”或“NORMAL”模式。具体方法如下：
（1） 重新起动计算机，并在进入WINDOWS98画面之前按“Del”键进入CMOS界面。
（2） 找到“INTEGRATED PERIPHERALS”（由于主板的品牌不一样相应的并口设置选项会在不同的BIOS CMOS设定组中，例如有的主板并口设置会在“CHIPSET FEATURES SETUP”设定组中，因此在修改并口设置时最好先阅读主板的说明书然后在进行操作）并进入。
（3） 选择“Parallel port Mode”选项
（4） 通过“pageUP”和“pageDOWN”把并口模式改为“SPP”或“NORMAL”模式
（5） 退出到主菜单，选择“SAVE&EXIT SETUP”，输入“Y”存盘并退出。
第二，由于加密狗后接有打印机造成加密狗工作不正常。当计算机上接有打印机时，一般应将打印机电源打开，否则可能测不到打印机前的硬件设备。还有些打印机使用上较特殊，需在启动windows时即将打印机电源打开，这样才能测到加密锁。试过之后还是检测不到加密狗，最后只能将打印机的数据线拔掉（切断电源的状态）然后启动软件看系统能不能检测到加密狗。如果可以检测到加密狗，那么只能建议用户购买一个“手动共享器”来解决此问题。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条