论文部分内容阅读
该文以关系代数为工具，介绍了几种证明程序正确性的技术。程序正确性是指程序相对于其说明（Specification）是正确的。这几种方法分别是“Mills”方法、“Hoare”方法及“道路覆盖”方法（Passcoverage）。此几种方法为作者在软件测试中提供了一种逻辑性较强的工具。（本刊录）
软件测试方法学——程序正确性：工具和技术
【摘 要】
：
该文以关系代数为工具，介绍了几种证明程序正确性的技术。程序正确性是指程序相对于其说明（Specification）是正确的。这几种方法分别是“Mills”方法、“Hoare”方法及“道路覆
【机 构】
：
上海计算机软件实验室
【出 处】
：
全国软件理论与计算理论第三次学术会
【发表日期】
：
1987年期
其他文献
本文利用程序微量四球法,在不同条件下对硫化异丁烯(SO)进行摩擦磨损试验,并通过凝胶色谱(GPC)和等离子发射光谱(ICP)对摩擦产物进行定位分析,利用X-光电子能谱(XPS)对试验后
其实早在非智能手机时代，电池充不上或充不满电的问题就已经频频上演。在智能机普及的现在，与充电相关的问题更是大有蔓延的趋势。如果你的手机也出现了类似问题，不妨从本文提供的线索分析并解决。 最易忽视的天气因素 智能手机是打发碎片化时间的最佳“武器”，因此无论严寒酷热、街头巷尾，到处都可看到边玩手机边走路的用户。问题是，智能手机所用的锂电池大都设置了低温保护机制，比如在冬季我们刚从室外回到家中，或在