软件构件的可信保证研究

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

Some Issues about Trusted Components Research

Trusted component is emerging as one of the key research areas in software engineering recently.The research and application aimed at providing a solid foundation for the software industry through extensive libraries of trusted reusable software components,where trust is built from a combination of approaches:use of Design by Contract;mathematical proofs of correctness;testing;wide public scrutiny;evaluation through metrics;exhaustive validation in practical projects;rigorous change management.The concept of trusted component is brought up based on analyzing and comparing the several quality model definitions about software component.Based on summing up the activities about trusted components,two categories of study about it are extracted out,and the advancements of researches of it are subsequently introduced from three aspects.Additionally,some disadvantages of study on it are discussed,and the causes are explained at the same time.Finally,it is concluded with some significantly promising problems about research on trusted component.