C/ATLAS是全系统公共/简明测试语言（Common / Abbreviated Test Language for All Systems的缩写，它是一种功能十分强大的全系统标准......

随着互联网技术的不断发展,网络安全事件不断增多,网络攻击手段和网络安全威胁也在不断升级。电子邮件作为目前企业的常用沟通工具......

大多数的组织机构都清楚意识到制定战略性的数据驱动型策略对于保持竞争力和可持续性起到至关重要的作用，但是不少组织机构，特别是传......

摘要：从减少软件开发成本和缩短软件开发周期的角度考虑，尽可能的在软件编码时期发现软件缺陷无疑是最佳选择，但软件运行时错误是所有......

课堂提问是课堂教学的重要组成部分,是师生交流、对话,共同发现、理解知识的重要途径和必备手段。但是,在认识到课堂提问重要性的......

人工智能领域中的语义分析技术近年来发展迅猛,已经在自动驾驶、影像识别等多个领域取得了突破性进展。我们开创性地将语义分析技......

基于嵌入式软件的测试经验,针对嵌入式软件特点,研究了基于PolySpace的嵌入式软件内存测试方法,分析了PolySpace使用的语义分析技......