例如,可信软件理论与方法元级框架的提出,实现了从传统正确性向开放、动态、多变环境下的软件可信性跨越;标准化科学化的可信计算环境构造与评估体系的建立,实现了从部分环节可信计算向全栈化可信计算跨越;软件过程和制品的可信性度量体系的建立,实现了从分散的可信侧面度量向系统化度量跨越;网络软件监控与演化的一体化设计体系的提出,实现了从静态补丁式演化向动态模型驱动体系结构的跨越。 ...
-2020系统与软件工程 软件测试 第2部分:测试过程2020-11-0189GB/T 38634.3-2020系统与软件工程 软件测试 第3部分:测试文档2020-11-0190GB/T 38634.4-2020系统与软件工程 软件测试 第4部分:测试技术2020-11-0191GB/T 38635.1-2020信息安全技术 SM9标识密码算法 第1部分:总则2020-11-0192GB/T 38635.2...
186GB/T 38633-2020信息技术 大数据 系统运维和管理功能要求2020/11/187GB/T 38634.1-2020系统与软件工程 软件测试 第1部分:概念和定义2020/11/188GB/T 38634.2-2020系统与软件工程 软件测试 第2部分:测试过程2020/11/189GB/T 38634.3-2020系统与软件工程 软件测试 第3部分:测试文档2020/11/190GB...
Copyright ©2007-2022 ANTPEDIA, All Rights Reserved
京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证:京ICP证110310号