摘要:静态测试工具直接对代码进行分析,不需要运行代码,也不需要对代码编译链接、生成可执行文件,评审软件文档或程序,度量程序静态复杂度,检查软件是否符合编程标准,借以发现编写的程序的不足之处,减少错误出现的概率[阅读全文:]
摘要:白盒测试工具一般是针对代码进行测试,对软件的过程性细节做细致的检查,它允许测试人员利用程序内部的逻辑结构及有关信息,设计或选择测试用例,对程序所有逻辑路径进行测试。通过在不同点检查程序状态,确定实际状态[阅读全文:]
摘要:安全操作系统用于给系统中的关键服务器提供安全运行平台,构成安全WWW服务、安全FTP服务、安全SMTP服务等,确保安全产品的自身安全。[阅读全文:]
摘要:电子签证机构(CA)作为通信的第三方,为各种服务提供可信任的认证服务。CA 可向用户发行电子签证证书,为用户提供成员身份验证和密钥管理等功能。[阅读全文:]
摘要:蜜罐系统是‘个安全资源,通过网络管理员的周密布置,故意引诱黑客前来攻击,它的价值在于被探测、攻击和损害,同时隐藏真实的服务器地址。蜜罐系统看似漏洞百出,但它收集的入侵数据十分有价值,可以了解黑客所用的种[阅读全文:]
摘要:划分版本的原则为从顶向下,并不是说必须等上层模块全部实现完毕才能实现下层模块,而是根据实施计划把系统分为若干个版本(Version),系统的首版常常只是反映系统的轮廓或骨架,实现部分主要功能的版本,它仅[阅读全文:]
摘要:一个大的信息系统可能会有上千个模块,首先实现哪些模块为好呢?至少存在自上而下和自下而上两种实现方法。若采用自下而上方法,各个下级模块容易单独实现并调试通过,而联调时却很难通过,并容易出现相互推诿责任的现[阅读全文:]
摘要:目前,基于密度泛函理论的第一性原理计算已经广泛应用于金属氧化物基(TiO2、HfO2、ZrO2、NiO等)的阻变存储器中。第一性原理计算主要基于分子的电子密度特性,计算时主要应用超软赝势和波函数的平面波[阅读全文:]