论文部分内容阅读
本文提出了正则与非正则程序的概念,并证明:程序按此正则性分类是完备的。从而为软件在测试阶段的可靠性衡量提供了一个精确的尺度。
程序正则性：衡量软件可靠性的一个尺度
【摘 要】
：
本文提出了正则与非正则程序的概念,并证明:程序按此正则性分类是完备的。从而为软件在测试阶段的可靠性衡量提供了一个精确的尺度。
【机 构】
：
浙江大学
【出 处】
：
计算机应用与软件
【发表日期】
：
1989年01期
其他文献
杀虫剂是一把双刃剑：它们让农业的生产效率更高，但如果使用不当，会伤害野生动物和人类。如今，生态学家确认了发展中国家使用杀虫剂造成的一种新威胁。通过杀死蠕虫寄生的蜗牛的捕
12月4日，UMNet移动网络质量评估平台发布的“2012年10月份全国3G用户体验速率数据报告”显示，10月份我国平均3G感知速率为52．51KB／s，尚不到日韩等国家3G平均速率的十分之一。
本文详细讨论了软件开发的分层结构设计方法(HSD)。该方法保持了传统的结构设计(SD)方法的特点,同时又具有支持抽象、信息隐藏以及逐步求精等软件工程设计原则的功能。西北大
本文分析了以传统方法开发MIS 软件的困难。介绍了速成原型技术的类型、特点、对开发环境的要求以及运用速成原型技术开发MIS 的步骤。最后,还就当前对速成原型技术的一些看法作了讨论。
目的：分析桂枝茯苓胶囊与米非司酮联合治疗子宫肌塘的临床效果。方法：选取我院诊治的子宫肌塘患者74例，依照随机数字表法分成治疗组、对照组，每组各37例。对照组仅予以米非司酮药
结合“企业管理计算机程序的自动生成系统(HAPS)”的研制,本文简要地介绍HAPS 的设计思想,概述了专家系统在HAPS 中的应用以及几个有关问题。
目的：探讨盐酸苯达莫司汀治疗对利妥昔单抗耐药的B细胞惰性淋巴瘤患者临床效果.方法：44例利妥昔单抗耐药的B细胞惰性淋巴瘤患者均接受盐酸苯达莫司汀治疗,记录其近期疗效、不良
2011年2、3月间,土耳其卫星运营商Turksat AS公司向日本卫星制造商三菱电机公司订购了两颗Ka/Ku/C波段通信卫星Turksat 4A和Turksat 4B,总部在荷兰海牙的全球卫星运营商SES W
急性胰腺炎是一种较为常见的急腹症,临床常将此种病症分为两类：出血坏死性与水肿性,出血坏死性具有死亡率高的特点,而水肿性胰腺炎病情较轻,并且易恢复,预后快,此种病症若没有