%0 Journal Article
%T Some Issues about Trusted Components Research<br>软件构件的可信保证研究
%A GUO Shu-Hang
%A LAN Yu-Qing
%A JIN Mao-Zhong
%A <br>郭树行
%A 兰雨晴
%A 金茂忠
%J 计算机科学
%D 2007
%I 
%X 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.
%K Trusted component
%K Quality model of trusted component
%K Components certification
%K Formal development<br>可信构件
%K 可信构件质量模型
%K 构件验证
%K 形式化开发
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=5C78BA1DBA89E591EED5EA8535D95A5E&yid=A732AF04DDA03BB3&vid=339D79302DF62549&iid=94C357A881DFC066&sid=B78CD622C1934236&eid=28F9D9CF04F424FF&journal_id=1002-137X&journal_name=计算机科学&referenced_num=4&reference_num=35