| 高可靠软件研究:向信息技术的未来投资 |
| |
| 引用本文： | 林惠民.高可靠软件研究:向信息技术的未来投资[J].中国科学院院刊,2002,17(6):404-406. |
| |
| 作者姓名： | 林惠民 |
| |
| 作者单位： | 软件研究所计算机科学重点实验室,北京,100080 |
| |
| 摘 要： | 随着社会对信息技术的依赖性日益增长,如何提高处于信息技术核心的计算机软件的可靠性成为一个紧迫的问题。测试仍然是目前工业界广泛采用的确认软件是否正确可靠的主要手段,而形式化方法被认为是非常有希望的新途径。高可靠软件的研究将直接影响到下一代软件技术的形成。
|
| 关 键 词： | 信息技术 高可靠软件 测试 形式化方法 |
| 修稿时间： | 2002年10月11 |
Research on High Reliability Software: Investing into the Future of Information Technology |
| |
| Lin Huimin.Research on High Reliability Software: Investing into the Future of Information Technology[J].Bulletin of the Chinese Academy of Sciences,2002,17(6):404-406. |
| |
| Authors: | Lin Huimin |
| |
| Institution: | Laboratory for Computer Science, Institute of Software, CAS, 100080 Beijing |
| |
| Abstract: | society more and more relies on information technology, it is an urgent issue to enhance the reliability of computer software which lies at the heart of information technology. While testing is still currently the most widely used validation technique in the software industry, formal methods are regarded a new promising approach. Research on high reliability software is shaping the future of software technology. |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《中国科学院院刊》浏览原始摘要信息 |
| 点击此处可从《中国科学院院刊》下载免费的PDF全文 |
