-
题名移动分布式环境下的可信构件模型
被引量：1
- 1
-
-
作者
姚振宇
吴卿
-
机构
杭州电子科技大学计算机应用研究所
-
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第20期78-80,共3页
-
基金
杭州电子科技大学科研启动基金资助项目
-
文摘
讨论当前构件模型在移动分布式环境中的缺陷,在此基础上,将反射技术与软件契约式设计思想相结合,提出一种在移动分布式环境下具有上下文感知功能的可信构件模型——MDETCM,并对其进行描述。给出该模型的具体实例,并对其进行性能测试,结果表明,构件执行任务的成功率得到提高。
-
关键词
移动分布式环境
可信构件模型
反射
-
Keywords
mobile distributed environment
trusted component model
reflection
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名软件构件的可信保证研究
被引量：13
- 2
-
-
作者
郭树行
兰雨晴
金茂忠
-
机构
北京航空航天大学软件工程研究所
-
出处
《计算机科学》
CSCD
北大核心
2007年第5期243-246,共4页
-
文摘
近年来,可信构件的研究逐渐引起软件工程领域的重视。可信构件研究与应用的目标是为了给基于构件的软件工程(CBSE)提供坚实的基础,而方法就是通过扩展与完善可信重用的软件构件(可信构件)库。构件的可信来源于可信保障技术的应用,如:契约设计的使用、正确性的数学证明、软件测试、详细的代码走查、基于度量的评估、实际项目的验证、严格的变更管理等。本文通过分析可信构件研究的若干领域,总结出构件可信性的3个角度,探讨了可信构件研究的不足之处,并分析其原因。作为总结,给出了可信构件领域研究需要解决的若干问题。
-
关键词
可信构件
可信构件质量模型
构件验证
形式化开发
-
Keywords
Trusted component, Quality model of trusted component, Components certification, Formal development
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
