软件与信息产业的发展•软件质量和面临的挑战?•我们的研究工作–面向过程的软件质量分析与评估技术(SQE)–软件的分析与审查技术(SAI)–模型驱动的软件测试技术(MDT)面向过程的软件质量分析与评估技术(SQE)•软件的分析与审查技术(SAI)•模型驱动的软件测试技术(MDT)面向过程的软件质量分析与评估技术(SQE)•基于可信证据,研究测试可信性度量模型和估计方法–软件测试的非确定性及其可信度–软件测试的可信性度量模型及其可信性证据–软件演化过程中的缺陷发现技术及其评估方法•软件开发过程的非确定性影响因素–软件故障的随机性和不可预见性导致测试的盲目性和非确定性–需求的易变性–测试能力(人员