高可靠软件研究:向信息技术的未来投资

Research on High Reliability Software: Investing into the Future of Information Technology

        林惠民(软件研究所计算机科学重点实验室 北京100080)

         信息技术;高可靠软件;测试;形式化方法

        随着社会对信息技术的依赖性日益增长,如何提高处于信息技术核心的计算机软件的可靠性成为一个紧迫的问题。测试仍然是目前工业界广泛采用的确认软件是否正确可靠的主要手段,而形式化方法被认为是非常有希望的新途径。高可靠软件的研究将直接影响到下一代软件技术的形成。

        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.