%0 Journal Article
%T 软件构件的可信保证研究
%A 郭树行 兰雨晴 金茂忠？
%J 计算机科学
%D 2007
%X 近年来，可信构件的研究逐渐引起软件工程领域的重视。可信构件研究与应用的目标是为了给基于构件的软件工程（cⅸ汇）提供坚实的基础，而方法就是通过扩展与完善可信重用的软件构件（可信构件）库。构件的可信来源于可信保障技术的应用，如：契约设计的使用、正确性的数学证明、软件测试、详细的代码走查、基于度量的评估、实际项目的验证、严格的变更管理等。本文通过分析可信构件研究的若干领域，总结出构件可信性的3个角度，探讨了可信构件研究的不足之处，并分析其原因。作为总结，给出了可信构件领域研究需要解决的若干问题。
%K 可信构件可信构件质量模型构件验证形式化开发
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=24412299&flag=1