【摘 要】
：
按照通常的观点,软件由程序和文档两部分构成,文档的检测涉及太多的非技术的因素,而目前在软件测试性计算的文献中多把程序测试性和软件测试性当作同一概念,借用此观点,这里
【机 构】
：
兰州大学信息科学与工程学院,兰州,730000
【出 处】
：
2004年全国理论计算机科学学术年会
论文部分内容阅读
按照通常的观点,软件由程序和文档两部分构成,文档的检测涉及太多的非技术的因素,而目前在软件测试性计算的文献中多把程序测试性和软件测试性当作同一概念,借用此观点,这里所讨论的软件的功能验证,也就是程序的功能验证.程序的正确性验证包括两个方面的问题:一是在准确给出程序的功能的情况下,对给出的功能一一验证;二是在没有准确给出程序功能的情况下,看给定的程序可以完成哪些功能.前者是功能验证,后者是功能检测.而本文所讨论的软件功能验证就可以归结为程序的功能验证,从而也就归属于程序的正确性验证问题.对程序的正确性验证问题,现在已经做了大量的工作,但大多数都是用逻辑的方法来研究的,这里,想简单介绍用逻辑方法验证程序的正确性,并提出另一种思路:用代数的方法来解决此问题,并从代数的角度来说明软件的优化问题.
其他文献
目的探索符合妇产科专科医院特色的药学查房模式。方法通过在妇产科病区进行临床药学查房实践,总结临床药师药学查房的方式和经验。结果药学查房是妇产科专科临床药师提供药
目的 探讨临床药师在颅脑外伤患者抗感染治疗中的作用.方法 对临床药师参与的1例颅脑外伤合并感染患者的抗感染用药方案及用药监护进行分析总结.结果 该患者经过抗感染治疗后
随着软件体系结构研究的发展,对软件系统结构的设计和说明也具有越来越重要的意义.目前,出现了一些体系结构描述语言ADL(ArchitectureDescriptionLanguage),这些语言具有很强
目的 药师利用专业知识,对1例使用华法林的慢性阻塞性肺疾病急性加重期伴慢性房颤老年患者进行药学服务.方法 药师根据患者病情、用药史、药物相互作用,给医师提出用药建议,
目的评价瑞格列奈、门冬胰岛素30或预混重组人胰岛素30R治疗对二甲双胍单药失效的2型糖尿病患者的经济学效果。方法选择确诊为2型糖尿病患者并经盐酸二甲双胍单药治疗后糖化
[病例] 患者,女性,24岁,未婚未育,2013年11月26日因全身皮肤弥漫性潮红,伴瘙痒3d入住我院.患者曾于2013年10月29日至11月5日因原发性癫痫入住我院.考虑患者为育龄期女性,首选
对软件复用和软件构件的研究始于20世纪60年代后期,30年来人们一直关心的两个问题是:(1)如何有效地表示可复用软件构件?(2)如何在已有的大量构件中找到所需的构件?关于此两问
随着科学技术的日新月异,互连网的发展越来越完善,它已经成为人类生活不可缺少的组成部分.由于Java语言有可移植性和编译后程序代码很小等特点,使Java成为网上最流行的编程语
在当前的药学生本科课程设置中,重化学轻医学的现象十分普遍.这种培养模式不仅不利于药学生知识体系的全面构建和完善,甚至会影响到其毕业后的求职和工作.而通过增加医学类必
·适用范围: 可广泛用于石油、化工、冶金、煤矿、油田、纺织、机械、印刷、塑料、食品、码头、装卸、给排水、粮油加工等各类行业交流异步电动机拖动设备。如:抽油机、液体