电子学报 ›› 2003, Vol. 31 ›› Issue (S1): 1933-1938.

• 综合评述 •    下一篇

高可信软件工程技术

陈火旺, 王戟, 董威   

  1. 国防科技大学计算机学院, 湖南, 长沙, 410073
  • 收稿日期:2003-09-30 修回日期:2003-12-10 出版日期:2003-12-25 发布日期:2003-12-25
  • 作者简介:陈火旺 男,1936年生于福建安溪,中国工程院院士,教授,博士生导师,主要从事软件工程、系统软件和人工智能基础等方面的研究 王戟 男,1969年生于上海,教授,博士生导师,主要从事高可信软件技术、软件工程、语义Web等方面的研究 董威 男,1976年生于陕西咸阳,讲师,博士,主要从事高可信软件技术、软件工程等方面的研究.
  • 基金资助:

    国家自然科学基金项目(No.90104007,No.60233020,No.60303013);国家863项目(No.2001AA113202);霍英东青年教师基金(No.71064)

High Confidence Software Engineering Technologies

CHEN Huo-wang, WANG Ji, Dong Wei   

  1. School of Computer, National University of Defense Technology, Changsha, Hunan 410073, China
  • Received:2003-09-30 Revised:2003-12-10 Online:2003-12-25 Published:2003-12-25

摘要: 随着软件在信息社会中发挥日益重要的作用,人们对软件可靠性、可靠安全性和保密安全性等可信性质的要求也愈来愈高.本文讨论了高可信软件工程技术的现状和面临的主要挑战,给出了基于形式化方法的高可信软件技术的发展趋势和突破点.

关键词: 软件工程, 软件可信性, 软件保证

Abstract: As the software plays more and more important roles in today's information society,the software reliabitity,safety and security are strongly required.The state of art of its engineering technologies for this high confidence software and the challenges it faced are descirbed in this paper.Based on the formal methods,this confidence software developing trends and its key technical points are also discussed.

Key words: software engineering, high confidence software, software assurance

中图分类号: