软件构件的可信保证研究

摘要：

近年来,可信构件的研究逐渐引起软件工程领域的重视.可信构件研究与应用的目标是为了给基于构件的软件工程(CBSE)提供坚实的基础,而方法就是通过扩展与完善可信重用的软件构件(可信构件)库.构件的可信来源于可信保障技术的应用,如:契约设计的使用、正确性的数学证明、软件测试、详细的代码走查、基于度量的评估、实际项目的验证、严格的变更管理等.本文通过分析可信构件研究的若干领域,总结出构件可信性的3个角度,探讨了可信构件研究的不足之处,并分析其原因.作为总结,给出了可信构件领域研究需要解决的若干问题.

关键词：可信构件、可信构件质量模型、构件验证、形式化开发

所属期刊栏目：34

分类号：TP3(计算技术、计算机技术)

在线出版日期：2007-07-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：243-246