1975 vol. 1 Issue No. 01 - March

这期的主题貌似主要是formal specification:

(1)强调人的interactive,(2)推测程序的本意是否和specification符合,(3)将formal的关键是abstract级别的选取并分析了下data的abstract,(4)自动补充assert来帮忙验证,(5)do while的验证转移到loop,for loop的验证。(6)将系统用图理论构建起来一个structure,对系统定义一堆allowable executions,扰动图的执行路径跟allowable的比,不在allowable里的便是error(关注在concurrent errors上)。那这个allowable set本身定义起来也很麻烦啊,也存在路径爆炸问题吧?(7)DB中的rollback与recovery,error出现时load checkpoing,然后重新将操作来一遍,但文章目的说determining optimal checkpoint time是啥东西?(8)开发基于Fortran的PFortran,machine independent I/O, data compression/decompression, virtual data arrays, variable precision arithmetic, and a programmer-controlled data unit. (9)浅谈如何避免large complex system涉及的error,跟small程序比较,好像还挺有意思。

【以下三个感觉有点意思,备注全文读一读】

印象深刻的是在这一期基本就提到说formal specification在large complex系统的不适应强调了Automated testing技术的前景。原来testing这个作为保护程序正确手段的作用在这么早就开始提出来了:Testing large software with automated software evaluation systems

有一个讲自动往程序里补assert语句的,觉得有点意思:

A synthesizer of inductive assertions

如何更好的设计reliable的large-scale software:Some experience with automated aids to the design of large-scale reliable software

你可能感兴趣的:(1975 vol. 1 Issue No. 01 - March)