对信息技术的依赖使得软件确保成为国家信息安全的一个关键要素,为了确保国家信息基础设施的完整性,软件必须是可靠和安全的。探讨......

测试用例生成是软件测试的重要环节，是软件确保的重要组成部分，其中启发性算法是近年来测试用例自动生成研究领域的热点．对启发性测试......

对软件确保的概念进行了介绍,指出软件确保主要聚焦于软件的安全性(security)、保险性(safety)、可靠性(reliability)和生存性(sur......

2003年美国公布的《确保网络空间安全的国家战略》指出构成网各信息空间的基础设施——软件和硬件在其设计和开发过程中是全求化的......

随着大数据时代的到来，计算机承担着越来越多的数据处理和分析工作。互联网公司利用计算机软件处理通过网络收集到的各种数据，从而为......