针对智能化软件

针对智能化软件系统结构复杂性和行为非确定性，建立融合逻辑确定性与概率近似性的系统质量框架理论基础，提出以驾驭非确定性为核心的软件可信性理论与技术，实现系统质量的动态自治管理，形成可验证、可持续、全生命周期的软件质量保障方法体系。