质量需求驱动的软件演化管理和故障侦探方法.docVIP

项目名称：质量需求驱动的软件演化管理和故障侦探方法 项目完成人：李必信，黄志球，聂长海，梁金能(Hareton Leung)，姜炜(Jacky Keung)，孙小兵，柯昌博软件质量保障是软件生命周期中一个永恒主题，几乎每个国家都有为数不少的软件质量评测机构，绝大多数软件开发公司都有自己的质量保障部门。显然，现有的软件质量保障理论方法和技术手段发挥了不可替代的作用；然而，每年由于软件故障导致的各类安全事故频发，软件质量问题依然是各类安全关键和事务关键领域的重灾区。如何保障软件的质量？这是个被学术界和工业界讨论了几十年的问题，但仍然还有很多问题亟待解决。但从软件质量保障做得比较成功的美国、加拿大和印度来看：软件管理（包括项目管理、人员管理、过程管理和产品管理）和各种故障检测和质量保障手段的使用是关键所在。 项目组主要成员从20世纪90年代开始从事软件质量问题研究，围绕软件演化管理和故障侦探等方面研究解决软件质量问题的各种方法，从早期的可行性分析和需求分析阶段，到后期的软件维护阶段，探索了各种软件故障检测、演化管理、风险控制等质量保障方法，取得了一系列创新性的研究成果 （1）提出基于的变更影响分析方法从分析多种因素诱导的软件演化出发，揭示软件演化本质特性，提出基于形式概念分析的软件变更分析方法（CIA），解决了从类层次的修改集得到更加细粒度层次的影响集难以实现的问题《Software Testing, Verification and Reliablity》、《Information and Software Technology》《》 （2）提出基于最小故障模式的组合测试方法从分析参数的交互行为以及参数值的各种组合出发，揭示了组合测试内在机理，提出了组合测试中的“最小故障模式”概念, 证明了它的存在性，研究了其相关特性，并在此基础上把组合测试的应用场景、建模、测试用例的设计、执行和分析等统一起来，构建了一个完整的组合测试方法学。在这个方法学的体系下可以解释组合测试中的各种问题，包括组合测试的原理、组合测试的优缺点等问题《ACM Transaction on Software Engineering and Methodology》、《ACM Computing Survery》（）提出基于需求监控和验证方法从分析需求模型和设计模型出发，揭示了建模过程故障，提出了基于属性序列图的需求监控和验证方法，解决了软件早期阶段质量保证的有关问题。《IEEE Transactions on 》Journal of Ssystem and Software》Knowledge Based Systems》（2012）等国际期刊以及ASE、ICWS等国际会议上。 （）在软件度量方面：提出基于设计度量的软件故障严重程度预测方法。从分析面向对象设计度量出发，揭示设计度量和故障的严重程度之间的内在联系，通过使用NASA公开的数据集进行实验、发现主要的设计度量（例如CK 度量）通过结合预测模型和机器学习的方法是可以用来预测故障的严重程度。 （）提出基于风险依赖分析的风险管理方法从分析项目的风险依赖关系出发，揭示了某些项目之间确实存在着风险依赖问题，提出了有针对性的问题解决方案，取得了明显效果，并得到了广泛应用《IEEE Transactions on Software Engineering》 围绕项目相关成果发表高水平论文300余篇其中余篇发表在CCF推荐的国际期刊国际会议上论文被EI检索篇，SCI检索5篇他引累计超过300篇次，SCI 他引200余篇次。相关成果还申报中国发明专利项（其中项已获授权，其它2项公示），完成软件著作权登记1项，并出版专著部。