| 高可信软件工程技术 |
| |
| 引用本文： | 陈火旺,王戟,董威. 高可信软件工程技术[J]. 电子学报, 2003, 31(Z1): 1933-1938 |
| |
| 作者姓名： | 陈火旺 王戟 董威 |
| |
| 作者单位： | 国防科技大学计算机学院, 湖南, 长沙, 410073 |
| |
| 基金项目： | 国家自然科学基金，国家高技术研究发展计划(863计划)，教育部霍英东教育基金会高等院校青年教师基金，90104007,60233020,60303013，2001AA113202，71064，，， |
| |
| 摘 要： | 随着软件在信息社会中发挥日益重要的作用,人们对软件可靠性、可靠安全性和保密安全性等可信性质的要求也愈来愈高.本文讨论了高可信软件工程技术的现状和面临的主要挑战,给出了基于形式化方法的高可信软件技术的发展趋势和突破点.
|
| 关 键 词： | 软件工程 软件可信性 软件保证 |
| 文章编号： | 0372-2112(2003)12A-1933-06 |
| 收稿时间： | 2003-09-30 |
| 修稿时间： | 2003-09-30 |
High Confidence Software Engineering Technologies |
| |
| CHEN Huo-wang,WANG Ji,Dong Wei. High Confidence Software Engineering Technologies[J]. Acta Electronica Sinica, 2003, 31(Z1): 1933-1938 |
| |
| Authors: | CHEN Huo-wang WANG Ji Dong Wei |
| |
| Affiliation: | School of Computer, National University of Defense Technology, Changsha, Hunan 410073, China |
| |
| 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. |
| |
| Keywords: | software engineering high confidence software software assurance |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《电子学报》浏览原始摘要信息 |
|
点击此处可从《电子学报》下载免费的PDF全文 |
|
