计算力学的可信性问题及其量化模型研究(项目编号10872146)

摘要

可信性是计算机软件产品的一个重要质量指标，已经成为国内外研究者关注的新兴课题。软件的可信性一般指软件的可靠性、可用性、安全性、可维护性、可生存性等指标。软件可信性的理论研究相对滞后，至今无论在国内还是国外，软件可信性没有一个统一的定义，更没有公认的可信计算理论模型。计算力学软件已是现代工程设计必要的工具，