适合性能评价的虚拟机仿真程序

IBM 公司的 VM/370控制程序为扩充虚拟机环境除了模拟机器现有功能外还包括记时模拟。虚拟机仿真程序就是此控制程序的改进版本。用选择处理机和 I/O设备记时特性的方法,用户能够对广泛的370兼容系统的性能进行评价,这些系统比硬件样机更灵活和价格更低。提供验证数据表明,仿真程序是一个具有模拟开销低的精确性能预测程序。     

调试数据作为证明程序正确性的一种辅助手段

迄今为止,人们验证程序是否正确,无非是采用二种途径:证明和调试。程序正确性证明,理论上虽完美,但由于本身所具有的复杂性,对大型程序很难实现;程序调试做起来并不复杂,但由于调试实例的局限性,不能保证程序正确性。本文提出用调试数据帮助证明程序正确性,这对程序验证理论无疑是有意义的。     

软件可靠性测量的进展

本文概括了过去一年中在软件可靠性的执行时间理论[1]应用方面取得的进展。还对 Littlewood 模型[2]和作者的执行时间理论进行了相互比较的评论。     

软件可靠性的现状和展望

原提要——对高要求的实时控制应用(如核电厂安全控制系统)中的数字计算机系统的可靠性进行评价是非常重要的,这包括不仅要评价硬件可靠性,而且要评价这个硬件/软件组合系统的设计正确性。本文评述适用于计算机程序的系统设计正确性的一些方法。自动程序证明方法对实际程序仍然是不实用的,而手工证明冗长、使人腻烦、且容易出错。软件可靠性提供了对软件运行正确性置信度的一种度量。自从七十年代初期以来,已提出了若干软件可靠性模型。我们使用残留错误尺寸和所用的测试过程的概念,分门别类讨论这些可靠性模型。我们还讨论估计程序正确性的方法和评价所使用的测试实例集是否适当的方法。这些方法可直接用于评价整个综合的硬件/软件系统的设计正确性,这种系统最终有可能包括一些大而复杂的分布式处理系统。     

计算机程序设计的逻辑学(续)

由数理逻辑引伸出来的方法有可能为构造、调试和优化计算机程序提供一种不同于常规的方法学。归根结底,这些方法是用来导致程序设计过程许多方面的自动化。本文提供各种逻辑方法的一个统一的指导性的解释,并举例说明。评价每种方法作为实际程序设计辅助手段的效果及局限性,并讨论在试验系统中实现这些方法的努力。     

离散算法分析技术述评

本述评介绍问题复杂性概念,求复杂性界的算法分析、平均情况的性状以及近似算法。评论了算法分析所用的主要技术,并举出了使用这些方法的实例。此外还概述了 P 和 NP 问题类以及 NP 完全问题类。     

计算机程序设计的逻辑学

由数理逻辑引伸出来的方法有可能为构造、调试和优化计算机程序提供一种不同于常规的方法学。归根结底。这些方法是用来导致程序设计过程许多方面的自动化。本文提供各种逻辑方法的一个统一的指导性的解释,并举例说明。评价每种方法作为实际程序设计辅助手段的效果及局限性,并讨论在试验系统中实现这些方法的努力。