组件化软件系统的可信度量模型
|
摘要
软件可信性是保证软件质量的重要因素.文章以研究组件化软件系统的可信性为目的,以组件自身的属性作为出发点,结合组件的权重和不同组合模式,建立相应的软件系统可信度量模型.根据组件自身的各种属性,建立单个组件的可信性度量.结合组件的权重和组件的各种组合方式,分别建立相应系统的可信性度量模型.通过理论验证,这些模型满足单调性、非负性、凝聚性、敏感性和替代性等代数性质,更有利于开发人员及用户对软件可信性进行分析和度量.列举相关案例对可信性度量模型进行验证.
Software trustworthiness is an important factor to ensure software quality.The component design method has great influence on software trustworthiness and software quality.In this paper,based on the attributes of the components,and combining the weight and different combination modes of components,the software system trustworthiness measurement models were established.First,according to the various attributes of the component,the trustworthiness of a single component was computed.Then,combining the weight of component and various combinations of components,the trustworthiness measurement models of the system were proposed.It is proved that these models meet the algebraic properties of monotonicity,non-negativity,acceleration,sensitivity,and substitution,which are more conducive to the developers and users to analyze and measure the trustworthiness of the software.Finally,some cases are listed to verify the reasonability of trustworthiness measurement model.
Software trustworthiness is an important factor to ensure software quality.The component design method has great influence on software trustworthiness and software quality.In this paper,based on the attributes of the components,and combining the weight and different combination modes of components,the software system trustworthiness measurement models were established.First,according to the various attributes of the component,the trustworthiness of a single component was computed.Then,combining the weight of component and various combinations of components,the trustworthiness measurement models of the system were proposed.It is proved that these models meet the algebraic properties of monotonicity,non-negativity,acceleration,sensitivity,and substitution,which are more conducive to the developers and users to analyze and measure the trustworthiness of the software.Finally,some cases are listed to verify the reasonability of trustworthiness measurement model.
引文
[1]郎波,刘旭东,王怀民,等.一种软件可信分级模型[J].计算机科学与探索,2010,4(3):231-239.
[2]刘克,单志广,王戟,等.“可信软件基础研究”重大研究计划综述[J].中国科学基金,2008,22(3):145-151.
[3]陶红伟.基于属性的软件可信性度量模型研究[D].上海:华东师范大学,2011.
[4]ALGIRDAS A,LAPRIE J C,BRIAN R,et al.Basic concepts and taxonomy of dependable and secure computing[J].IEEE Trans Dependable Secure,2004,1(1):11-33.
[5]丁滟,王怀民,史佩昌,等.可信云服务[J].计算机学报,2015,38(1):133-149.
[6]汤永新,刘增良.软件可信性度量模型研究进展[J].计算机工程与应用,2010,46(27):12-16.
[7]张俊.基于多维分层属性的软件可信性度量模型的研究与工具实现[D].上海:华东师范大学,2016.
[8]白川,张璇,王旭,等.可信软件非功能需求可满足性经济学方法分析[J].计算机工程与应用,2017,53(22):249-257.
[9]郑晓东.基于Petri网的组件化软件系统可靠性研究[D].苏州:苏州大学,2008.
[10]ELSHAAFI H,BOTVICH D.Trustworthiness Inference of multi-tenant component services in service compositions[C]//Proc Ftra International Conference on Computer Science and ITS Applications,2012(203):301-312.
[11]ELSHAAFI H,MCGIBNEY J,BOTVICH D.Aggregation and optimisation of trustworthiness of composite services[M].Secure and Trustworthy Service Composition.Springer International Publishing,2014:150-172.
[12]韩强,袁玉宇.构件化业务流程重组应用服务器可信性度量方法研究[J].通信学报,2014(3):47-57.
[13]梅琳.基于组件的软件可信性评价模型研究[D].南京:南京大学,2003.
[14]ISO/IEC 15408-1-2005.Information technology-security techniques-evaluation criteria for IT security,part 1:Introduction and general model[S]. 2005.
[15]Trusted Computing Group.TCG architecture overview specification revision 1.2,28 April 2004.
[16]SCHNEIDER F.B.Trust in cyberspace[M]. National Academy Press,1998.
[17]HASSELBRING W,REUSSNER R.Toward trustworthy software systems[J]. Computer,2006,39(4):91-92.
[18]BECKER S,HASSELBRING W,PAUL A,et al.Trustworthy software systems:a discussion of basic concepts and terminology[J]. Acm Sigsoft Software Engineering Notes,2006,31(6):1-18.
[19]陆文,徐锋,吕建.一种开放环境下的软件可靠性评估方法[J].计算机学报,2010,33(3):452-462.
[2]刘克,单志广,王戟,等.“可信软件基础研究”重大研究计划综述[J].中国科学基金,2008,22(3):145-151.
[3]陶红伟.基于属性的软件可信性度量模型研究[D].上海:华东师范大学,2011.
[4]ALGIRDAS A,LAPRIE J C,BRIAN R,et al.Basic concepts and taxonomy of dependable and secure computing[J].IEEE Trans Dependable Secure,2004,1(1):11-33.
[5]丁滟,王怀民,史佩昌,等.可信云服务[J].计算机学报,2015,38(1):133-149.
[6]汤永新,刘增良.软件可信性度量模型研究进展[J].计算机工程与应用,2010,46(27):12-16.
[7]张俊.基于多维分层属性的软件可信性度量模型的研究与工具实现[D].上海:华东师范大学,2016.
[8]白川,张璇,王旭,等.可信软件非功能需求可满足性经济学方法分析[J].计算机工程与应用,2017,53(22):249-257.
[9]郑晓东.基于Petri网的组件化软件系统可靠性研究[D].苏州:苏州大学,2008.
[10]ELSHAAFI H,BOTVICH D.Trustworthiness Inference of multi-tenant component services in service compositions[C]//Proc Ftra International Conference on Computer Science and ITS Applications,2012(203):301-312.
[11]ELSHAAFI H,MCGIBNEY J,BOTVICH D.Aggregation and optimisation of trustworthiness of composite services[M].Secure and Trustworthy Service Composition.Springer International Publishing,2014:150-172.
[12]韩强,袁玉宇.构件化业务流程重组应用服务器可信性度量方法研究[J].通信学报,2014(3):47-57.
[13]梅琳.基于组件的软件可信性评价模型研究[D].南京:南京大学,2003.
[14]ISO/IEC 15408-1-2005.Information technology-security techniques-evaluation criteria for IT security,part 1:Introduction and general model[S]. 2005.
[15]Trusted Computing Group.TCG architecture overview specification revision 1.2,28 April 2004.
[16]SCHNEIDER F.B.Trust in cyberspace[M]. National Academy Press,1998.
[17]HASSELBRING W,REUSSNER R.Toward trustworthy software systems[J]. Computer,2006,39(4):91-92.
[18]BECKER S,HASSELBRING W,PAUL A,et al.Trustworthy software systems:a discussion of basic concepts and terminology[J]. Acm Sigsoft Software Engineering Notes,2006,31(6):1-18.
[19]陆文,徐锋,吕建.一种开放环境下的软件可靠性评估方法[J].计算机学报,2010,33(3):452-462.