1975 vol. 1 Issue No. 02 - June

读着读着怎么感觉这一期的主题是reliability+PL？

阅读时主要关注（1）-（3）吧。

（1）分析OS级别的bug及起因，感觉会比较有意思。

An analysis of errors and their causes in system programs

（2）Quantitative aspects of software validation这个没大看明白摘要，但感觉好像应该挺重要。记录下。

（3）Toward a theory of test data selection 关于衡量test的reliable的

（4）software validation工具介绍及对比进展

（5）Language design for programming reliability 所用语言对程序的reliability是有影响的，提了些涉及规则

（6）An assessment of the programming language pascal Pascal语言的reliability评估，并指出其中一些问题the concept of data type, the sequential file structure, and the type union. （7）接下来一篇就扩展了Pascal让其支持concurrent了。

（8）将程序抽象话，在abstract的logi层面data structure上操作而不用考虑到底层实现。

（9）Reliable hardware/software architecture the paper focuses on the design philosophy which aims at keeping the system operational even though the underlying hardware may be malfunctioning