计算机科学 ›› 2007, Vol. 34 ›› Issue (5): 243-246.

• 计算机网络与信息安全 • 上一篇    下一篇

软件构件的可信保证研究

郭树行 兰雨晴 金茂忠   

  1. 北京航空航天大学软件工程研究所,北京100083
  • 出版日期:2018-11-16 发布日期:2018-11-16

GUO Shu-Hang, LAN Yu-Qing ,JIN Mao-Zhong (Software Engineering Institute, Beinang University, Beijing 100083)   

  • Online:2018-11-16 Published:2018-11-16

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

关键词: 可信构件 可信构件质量模型 构件验证 形式化开发

Abstract: 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 componen

Key words: Trusted component, Quality model of trusted component, Components certification, Formal development

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!