本文已被：浏览 2806次 下载 3151次
中文摘要: 随着社会对信息技术的依赖性日益增长,如何提高处于信息技术核心的计算机软件的可靠性成为一个紧迫的问题。测试仍然是目前工业界广泛采用的确认软件是否正确可靠的主要手段,而形式化方法被认为是非常有希望的新途径。高可靠软件的研究将直接影响到下一代软件技术的形成。
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:
文章编号： 中图分类号：TP311.52 文献标志码：
基金项目:
| Author Name | Affiliation |
| Lin Huimin | Laboratory for Computer Science, Institute of Software, CAS, 100080 Beijing |
引用文本：
林惠民.高可靠软件研究:向信息技术的未来投资[J].中国科学院院刊,2002,(6):404-406.
Lin Huimin.Research on High Reliability Software: Investing into the Future of Information Technology[J].Bulletin of Chinese Academy of Sciences,2002,(6):404-406.
林惠民.高可靠软件研究:向信息技术的未来投资[J].中国科学院院刊,2002,(6):404-406.
Lin Huimin.Research on High Reliability Software: Investing into the Future of Information Technology[J].Bulletin of Chinese Academy of Sciences,2002,(6):404-406.
