论文部分内容阅读
基于Hoare逻辑,给出了概率拟Hoare逻辑,用于刻画程序执行的正确度,定量地描述理论与程序（或软件）实际执行之间的差距,反映理论被程序实现的程度,从而量化理论上正确的程序在实际执行时出错的可能性,以及解释正确度很高的两个程序串行复合之后的整体正确度可能并不高等问题。
概率拟Hoare逻辑
【摘 要】
：
基于Hoare逻辑,给出了概率拟Hoare逻辑,用于刻画程序执行的正确度,定量地描述理论与程序（或软件）实际执行之间的差距,反映理论被程序实现的程度,从而量化理论上正确的程序在实
【机 构】
：
上海电子信息职业技术学院计算机应用系,华东师范大学教育部软硬件协同设计技术与应用工程研究中心
【出 处】
：
计算机科学
【发表日期】
：
2016年4期
其他文献
特征模型是一种描述软件产品线中共性和可变性特征的通用形式。特征模型象征着所有可能的应用程序配置空间,是实现个性化产品定制的基础。随着软件产品线的规模和复杂程度的
MIDAS是Delphi为开发多层应用系统提供的透明中介引擎,在对MIDAS技术进行分析和研究后,将其应用到了机动车安全性能测控分布式管理系统中.利用MIDAS将该系统设计成三层的结构
网络应用的飞速发展使得网络服务器过载的情况变得日益突出,过载情况下服务器性能的测试对于服务器性能研究具有十分重要的意义,然而常用的测试方法却无法产生实验所需要的ht
综合电子调节器是发动机控制系统的核心部件,它与外部传感器、执行机构、控制软件等一起完成对发动机的全权限控制.文章研究了虚拟仪器技术在该复杂测控系统中的应用 .介绍了
人工气候实验室是农业、生物科学研究的重要基础设施,过去采用酒精温度计、干湿球等原始观测工具,测试参数片面,自动化程度低,不能满足现代科技发展的需要.研究了集温度、湿