随着信息技术应用范围的不断扩大和应用层次的持续深入,相关软件系统变得越来越复杂,使得本来就棘手的软件质量问题雪上加霜。与此同时,由软件失效引起的飞行器坠毁、Internet瘫痪和通讯系统失灵等时有发生。有关研究表明,增强软件的可信性可提高软件质量,进而可以减轻或避免软件失效带来的损失。在此情况下,软件可信性保障很快就成为软件理论与技术的一个重要研究方向。因此,研究软件可信性及其度量方法和技术不仅具有可以预见的实际应用价值,而且也具有重要的理论意义。 现有工作分别从某一侧面研究了软件可信性问题,缺乏统一的理论基础,具有一定的局限性。拟开展项目旨在将理论研究和实证研究有机地结合起来,研究软件可信性度量体系,探索以软件缺陷预测为基础、能综合多种证据的软件可信性度量方法(包括软件缺陷预测方法、软件行为安全性度量方法、软件防御安全性度量方法以及软件可靠性度量方法),以有效地解决软件可信性度量问题。
英文主题词Software trustworthness; Software defect prediction; Software safety; Software security