检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]后勤科学研究所,北京100071 [2]国防科学技术大学计算机学院,长沙410073 [3]海军作战应用软件管理中心,北京100083
出 处:《计算机应用研究》2009年第5期1743-1745,共3页Application Research of Computers
基 金:国家“863”计划资助项目(2007AA01030);国家“973”计划资助项目(2005CB321804)
摘 要:随着软件规模和复杂度的增加,软件失效和故障问题日益加剧。如何在开发阶段利用开发环境为实现软件可信性提供有效支撑,从而确保软件运行行为与预期保持一致,具有重要的研究价值。借助面向方面的设计思想,把可信性作为一种方面融入软件的开发环境,研究实现了可信软件开发平台TSCE。该平台能够在软件研制过程中,一体化地提供可信性需求定制、可信代码自动生成、可信代码自动织入等辅助开发手段。利用该平台,开发人员不用额外编写可信性实现的相关代码,便可在部署运行阶段使软件具有一定的可信性判断能力和故障预警与修复能力。Nowadays, the problems of software failure and invalidation become more serious. How to improve the credibility of software in developing stage to make the software runtime behavior coincide with pepote' s expectation has become a hot issue. This paper regarded the credibility as an aspect and applied AOP thought in the research and implementation of trusted software constitution environment (TSCE). Making use of TSCE in developing stage, the software can have monitor and control abilities automatically without producing any codes by manual work.
分 类 号:TP339[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.23.60.252