安全性和正确性折中的软件系统开发方法  

Compromise Method of System Accuracy andSecurity for Software Development

作　　者：万春[1] 袁建红 刘维先[3] 

机构地区：[1]集美大学现代教育技术中心,福建厦门361021 [2]厦门市工业学校,福建厦门361006 [3]河南工业职业技术学院,河南南阳473009

出　　处：《集美大学学报（自然科学版）》2003年第1期37-41,共5页Journal of Jimei University：Natural Science

基　　金：集美大学科研基金资助项目(f06274)

摘　　要：主要分析和研究如何在软件当前的现实下寻求功能正确性和安全性的折中策略,来解决商业软件长期以来带有"bug"和安全性问题.对功能正确性和安全性的折中方案,亦有详细的分析,最后还提出将软件开发的折中技术融入软件工程以取得实际的效果.Commercial software chronically has bugs,many with security vulnerability implications.The thesis analyses and researches on compromise method of system functionality accuracy and security for software development. In the end of the thesis,in authors opinion,software functionality bugs and security bugs tolerance should be necessary parts of software engineering.

关 键 词：软件工程 软件开发 软件系统开发方法 安全性 正确性 折中策略 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]