OOP对软件可测试性的影响的研究（精选9篇）由网友“冷场大喵”投稿提供，下面给大家分享OOP对软件可测试性的影响的研究，欢迎阅读!
篇1：OOP对软件可测试性的影响的研究
OOP对软件可测试性的影响的研究
分析了面向对象软件测试的特点,重点讨论了类的不变式、前置条件和后置条件对测试的影响.提出了软件内建自测试的.解决方案,并举例说明了观察型测试点的插装过程.
作 者：刘非平周红建 晁爱农 李悦 Liu,Feiping Zhou,Hongjian Chao,Ai-nong Li,Yue 作者单位：刘非平,晁爱农,李悦,Liu,Feiping,Chao,Ai-nong,Li,Yue(710051,西安空军工程大学工程学院)周红建,Zhou,Hongjian(63,空军装备软件测评中心)
刊 名：微计算机信息 PKU英文刊名：CONTROL & AUTOMATION 年，卷(期)： 22(22) 分类号：V213 关键词：OOP 软件可测试性 软件内建自测试篇2：对波普尔的可证伪性研究
现代商贸工业
Aug,
ModernBusinessTradeIndustry
第8期
篇3：对波普尔的可证伪性研究
梅 磊 田 军
(武汉科技大学文法与经济学院,湖北武汉430081)
摘 要“:可证伪度”是波普尔在“确认度”和“逼真度”两个理论评价标准之前提出的第一个评价标准。这个评价标准
是波普尔在早期著作《研究的逻辑》中提出的。可证伪性作为科学与非科学的分界标准,它有助于科学家转换思维模式,有利于科学家提出新的问题和建构新的理论,打破了人们对证实主义的顶礼膜拜。从证伪性提出的原因、内容及证伪性的影响三个方面来认识波普尔的可证伪性。
关键词:波普尔;可证伪性;分界问题;认识中图分类号:G30 文献标识码:A )0820286202
1 波普尔提出可证伪性的背景
波普尔把科学划界的问题凸显出来,题”。因,首先,,当时流行的、占主导地位的关于分界问题的解答是逻辑经验主义的观点。波普尔指出,逻辑经验主义的证实标准是不可接受的,它没有为科学与形而上学等非科学的分界提供一条合适的标准。因为,第一,用逻辑经验主义的证实标准划分科学和非科学,不是把科学划成非科学就是把非科学划成科学,也就是说这个标准既太窄又太宽。一方面,现代物理学理论,特别是爱因斯坦的相对论,是高度抽象和思辨的,远远离开了其“观察基础”,若用证实标准衡量显然不属于科学的范围之内;另一方面,一些明显的伪科学如占星术则往往与“经验观察”密不可分,占星术士们总是从“经验观察”中总结归纳出他们的理论,然后又用“经验事例”来论证他们的理论,若以证实为标准,占星术不就成了科学了吗?第二,逻辑经验主义的经验证实原则既是分界标准又是意义标准。在波普尔看来,逻辑经验主义混淆了分界问题和意义问题。逻辑经验主义坚持在经验科学的范围之内形而上学无意义,实质上并没有否定形而上学本身的意义,形而上学自身也没要求自己应该具有经验的意义。在经验科学之外,形而上学有它独特的意义。
其次,从现实方面来说,19爱丁顿率领的科学探险队成功地验证了爱因斯坦相对论关于引力的理论预言,这给波普尔留下了深刻的印象。他说“:这个事例之所以给人以深刻印象,是这种预测所承担的风险。如果观察表明所预期的效果肯定不存在,这个理论就被干脆否定掉:这个理论和某些可能的观测结果―――事实上是爱因斯坦以前任何人都会希望的结果―――不相容。”
正是基于以上原因,波普尔得出了一些重要的结论,
:(1)“差不多任何理论我们都很容易为它找到确证或证实―――如果我们寻找确证的话。”“;只有当确证是担风险的预言所得的结果,就是说,只有当未经这个理论的启示就已经预期一个和这个理论不相容的事件―――一个可以反驳这个理论的事件时,确证才算得上确
(3)证。”“任何‘好’的科学理论都是一种禁令:它不容许某
(4)种事情发生。”“一种不能用任何想像得到的事件反驳掉
的理论是不科学的。不可反驳性不是(如人们时常设想的)一个理论的长处,而是它的短处。”(5)“对一种理论的任何真正的检验,都是企图否证它或驳倒它。可检验性就是可
(6)证伪性。”“进行确证的`证据,除非是真正检验一项理论
(7)“有些真正可检验的理论,被发的结果,是不算数的。”
现是假理论,仍旧被赞美者抱着不放……使它逃避反驳。这种方法总是办得到的,但是这样营救理论免于被驳倒,却付出了破坏或至少降低理论的科学地位的代价。”
总之“,衡量一种理论的科学地位的标准是它的可证伪性或可反驳性或可检验性”,也就是说,可证伪性或可反驳性是划分科学与非科学或伪科学的分界标准。在波普尔看来,他用证伪代替证实,比逻辑经验主义更好地解决了分界问题。
篇4：对波普尔的可证伪性研究
波普尔认为,全称陈述是以归纳推理为基础的。如果要证明归纳推理的正确性,必须先确立归纳原理。归纳主义者认为,归纳原理决定科学理论的真理性,从科学中排除了这个原理,就等于剥夺了科学决定其理论之真伪的能力。但是,
归纳原理本身也必须是一个全称陈述。“假如我们试图认为它的真理性来自经验而得知,那么,导致引入归纳原理的同一个问题就再一次产生了。为了证明这个原理,我们就必须运用归纳推理;而为了证明这些归纳推理,我们就必须假定一个更高层次的归纳原理;如此等等。这
作者简介:梅磊(1983-),男,湖北武汉人,武汉科技大学文法与经济学院科学技术哲学专业硕士生,主要从事伦理学研究;田
军(1983-),男,湖北宜昌人,武汉科技大学文法与经济学院科学技术哲学专业硕士生,主要从事科学技术与社会研究。
―286―
? 1994- China Academic Journal Electronic Publishing House. All rights reserved. www.cnki.net
现代商贸工业
Aug,2008
ModernBusinessTradeIndustry
第8期
样,想把归纳原理建基于经验之上的试图就破产了。因为这样做必定导致无穷后退。”所以,不可能从有限的单称陈述中证明无限的全称陈述。
在波普尔科学哲学中“,可证伪性”的分界标准,是针对逻辑实证主义的“可证实性”分界标准提出来的。自培根开始的古典归纳主义受到休谟的质疑之后,归纳推理暴露出了这样一个问题:个别的、有限的经验事实怎么能够证明具有普遍意义逻辑实证主义也意识到,任何科学理论的命题都是包含着普遍意义的命题,而证实这些命题的证据却是有限的,但是在科学与非科学的区分问题上,逻辑实证主义者同归纳主义者-样,仍然坚持经验证实的分界标准。波普尔不同意这样的分界标准,他认为“,理论在经验上是决不可证实的。假如我们想避免实证主义者所犯过的错误,那么我们就必须选择一个标准。”
波普尔指出,他在分界标准中所说的“可证伪”,是指逻辑上的可被证伪,即:凡是逻辑上可以被经验证伪的命题和理论,都是科学理论。它既包括历史上已被经验证伪的理论,也包括至今尚未被证伪、的理论。对正确的理论或命题,。波普尔对“可证伪”,科学与非科学的分界标准,并不是只要求对理论进行反驳和否定,更重要的是要求人们在科学活动中不能把现有的理论当作终极真理来顶礼膜拜。
波普尔提出了证伪主义的理论假说,即P1→TT→EE→P2的四段论模式,从而提供了学术研究的基本思想。其中P1表示问题,TT表示试探性理论,EE表示排除错误,P2表示新问题。这一公式表明科学从问题(P1)开始,通过提出各种大胆的试错性的猜测(TT),然后对其进行批判、反驳或证伪(EE),提出逼真度较高的理论(P2)。而P2即使经过观察和实践的严格检查,它最终都将被证伪,证伪一个理论并取代新的“猜测”,这样科学才能在清除错误中前进。(1)科学研究始于问题,针对解决问题提出猜测,经过事实检验,暂时达到真理,然后会再有新的问题出现,如此循环往复,以至无穷。因此,我们可以说,知识的增长是借助于猜想与反驳,从问题走向问题的发展。批判的方法追求自由与情感,鼓励独立思考。没有真正意义的独立思考,科学研究是不可能有创新的。(2)批判的方法以生活世界作为研究对象,重现平民的人生际遇、思想冲撞、学习历程、提出问题的艰难和解决问题的深刻等话题。所以,合乎情理的学术是个性化,场景化,活动化的理论取而代之的动态过程。
3 可证伪性的现实意义
3.1 波普尔批判理性主义对学术创新的影响
(1)信奉怀疑与批判是学术研究的本质,批判理性主义
假定了我们能获得与这个客观世界相符的结构,或本质属性;科学研究就是分析世界中的实在物以孤立事物的本质属性,其目的是为了获取这些属性,反映事物的真实性和它的结构;研究的本质就是发现、记忆和应用这些属性的过程;研究的结果是以知识结构的形式存在、并能代表事物属性的符号体系;学术研究都在重复着同一个套路,即用先验的理论和抽象假设,来使自身变成形而上学的无谓思辨,并以此充当合法化的研究逻辑,所得到的科学结论又作为研究的论据佐证后来的研究,科学结论在一种形而上学的思辨圈套中恶性循环。批判理性主义是对传统研究过程本质的批判、反思与超越。强调真实性更多地存在于研究主体的大脑中,强调我们通过已有的经验质疑与批判世界,从而建构我们自己的真实世界。
(2)。证伪原则给我们的启示,,科学要告诉人们世界究,,,就要修正。这不,正是科学的生命力所在。这就意味着学术研究不应再是那种经验地、教条地打着科学的招牌,行的却是前人已经给定的理论结果,不想、也不敢突破前人的成果与经验。3.2 “可证伪性”分界标准是证伪和证实的统一
波普尔肯定了科学理论包含有丰富的经验内容而且是不断进步的,但是,在批判中不断增长的科学知识其内容是否具有相对的稳定性。波普尔虽然认为理论评价的重要标准是它们的可证伪性,在他看来,一个理论的可证伪度,越高,该理论就越进步。但他又指出,仅靠可证伪度还无法衡量竞争中的理论就更进步,因为可证伪度高的理论可能是已经被证伪的理论,或者“它也许虽未被证伪,却被它可从中推导出―――或是它的极为密切的接近―――的一个可更好检验的理论所代替。”
波普尔后来在他的《猜测与反驳》一书中,把“理论应通过某些新的、严峻的检验”作为知识增长的第三个要求。他说,我们不仅需要对理论进行成功的反驳,而且也“需要我们的某些理论成功,需要从经验上确认,在我看来很清楚,只有通过我们理论的暂时成功,才能相当成功地把我们的反驳归因于理论迷宫的确定部分。”他看来,证伪和确认这两个方面对科学的发展都是不可缺少的:如果没有证伪和反驳,科学就会成为永恒不变的终极真理而停滞不前;但如果理论所包含的新内容得不到经验的确认,科学就会变得难以捉摸而同样不能发展。波普尔提出确认这个概念,是对可证伪性标准的合理补充,使证伪主义也从静态方面把握科学理论,从而说明科学理论在一定范围也有被“证实”的一面。参考文献
[1]波普.科学发现的逻辑[M].北京:科学出版社,1986.
[2]铁省林.分界问题和归纳问题―――波普尔科学哲学思想的基础和
的重要性,在于对认识过程本质的独特理解。任何科学理
论都是针对问题所作的一种猜测,因而迟早会被证伪的。在波普尔看来,学术研究要求大胆猜测,严格反驳。所谓大胆猜测,意味着科学的发展不是消极地等待经验事实积累的过程,而是积极创造的过程;所谓严格反驳,强调在科学领域不迷信权威,不受任何教条束缚,一切都必须服从客观实际的检验和批判。过去学术研究的认识论基础,在于它
出发点[J].河南师范大学学报(哲学社会科学版),,(
4).
[3]卡尔?波普尔.猜想与反驳[M].上海:上海译文出版社,1986.
―287
? 1994-2008 China Academic Journal Electronic Publishing House. All rights reserved. www.cnki.net
―
篇5：眩光对交通标志视认性影响研究
眩光对交通标志视认性影响研究
通过场地实验的方法,研究眩光对交通标志视认性的影响,得出视认性与眩光距离、标志反光膜等级的.关系,提出防止和降低眩光对交通标志视认性的影响的措施.
作 者：晁灿 方守恩 王俊骅 CHAO Can FANG Shou-en WANG Jun-hua 作者单位：同济大学交通运输工程学院 刊 名：上海公路 英文刊名：SHANGHAI HIGHWAYS 年，卷(期)： “”(1) 分类号：U4 关键词：交通标志 场地实验 眩光 视认性篇6：清洁度对沥青路面水稳性的影响研究
清洁度对沥青路面水稳性的影响研究
结合大量的室内试验数据,全面分析了各种集料的清洁度对于沥青路面水稳定性指标的.影响,并针对影响数据提出了各集料泥土含量值的范围,对于改善和提高沥青路面水稳定性具有重要的指导意义.
作 者：霍俊香 邓爱民 张杰 HUO Jun-xiang DENG Ai-min ZHANG Jie 作者单位：霍俊香,邓爱民,HUO Jun-xiang,DENG Ai-min(德州路通公路工程有限公司,山东,德州,253000)张杰,ZHANG Jie(山东交通学院,山东,济南,250023)
刊 名：山西建筑 英文刊名：SHANXI ARCHITECTURE 年，卷(期)：2010 36(21) 分类号：U416.217 关键词：集料清洁度 沥青混合料 水稳定性 水损害篇7：道路减速带形状对车辆平顺性影响的研究
道路减速带形状对车辆平顺性影响的研究
针对汽车高速或低速通过传统减速带时振动差别不大,导致速度控制效果不明显的缺点,提出了以改变减速带截面形状来改善汽车振动的方法.在试验车通过不同尺寸形状道路减速带的试验基础上,分析车辆通过道路减速带时产生的振动现象以及对驾驶员乘坐舒适性和车辆行驶安全性产生的`影响,提出道路减速带较宽时较为合适的道路减速带截面形状为圆弧切抛物线形.
作 者：黎熊 刘彩 邱望标 作者单位：贵州大学,机械工程学院,贵州,贵阳,550003 刊 名：轮胎工业 英文刊名：TIRE INDUSTRY 年，卷(期)： 30(1) 分类号：U417 关键词：道路减速带 振动强度 截面形状 平顺性篇8：红外加热笼覆盖系数对热流均匀性的影响研究
红外加热笼覆盖系数对热流均匀性的影响研究
通过设定红外加热笼与卫星表面之间不同距离,改变加热笼的覆盖系数,仿真模拟了卫星表面到达热流的分布,研究了加热笼的`覆盖系数对卫星表面到达热流密度均匀性的影响,分析结果表明:当加热笼距离卫星表面100mm以上,选取覆盖系数大于0.06的加热笼,即可满足到达卫星表面热流的均匀性要求.
作 者：杨晓宁 孙玉玮 YANG Xiaoning SUN Yuwei 作者单位：北京卫星环境工程研究所,北京,100094 刊 名：航天器工程 ISTIC英文刊名：SPACECRAFT ENGINEERING 年，卷(期)： 17(5) 分类号：V444.3 关键词：卫星 真空 热试验 红外加热笼 覆盖系数 热流均匀性篇9：岩石非均匀性对地震活动状态影响的数值模拟研究
岩石非均匀性对地震活动状态影响的数值模拟研究
地震的`孕育、发生与震源位置及其岩石力学性质有着密切的联系,本文借助数值模拟方法研究了岩石均质度在岩样变形直至破裂过程中对声发射事件活动状态的影响.数值模拟结果表明,岩石非均匀性对岩样声发射活动状态的时间演化过程有着较大影响,所得结论进一步支持了分区研究强地震前兆异常的必要性.
作 者：李志雄 陶本藻 焦明若 路鹏 李圣强 吴婷 泽仁志玛 Li Zhixiong Tao Benzao Jiao Mingruo Lu Peng Li Shengqiang Wu Ting Zeren Zhima 作者单位：李志雄,Li Zhixiong(武汉大学测绘学院,武汉市珞瑜路129号,4300079;中国地震局地震预测研究所,北京市复兴路63号,100036)陶本藻,Tao Benzao(武汉大学测绘学院,武汉市珞瑜路129号,4300079)
焦明若,Jiao Mingruo(辽宁省地震局,沈阳,110031)
路鹏,Lu Peng(防灾科技学院,燕郊,065201)
李圣强,吴婷,泽仁志玛,Li Shengqiang,Wu Ting,Zeren Zhima(中国地震局地震预测研究所,北京市复兴路63号,100036)
刊 名：中国地震 ISTIC PKU英文刊名：EARTHQUAKE RESEARCH IN CHINA 年，卷(期)：2007 23(4) 分类号：P315 关键词：岩石非均匀性 地震活动状态 数值模拟 地震预测★ 教学对象分析
★ 系统分析师论文
【OOP对软件可测试性的影响的研究（精选9篇）】相关文章：
系统分析师 作文范文2022-09-28
java金融项目简历2022-09-04
软件压力测试技术概述论文2023-01-25
高级测试工程师终工作总结范本2022-09-04
web前端个人简历2023-07-30
项目副经理实习报告2023-10-17
腾讯实习生求职笔试面试经历2022-07-26
软件开发实习报告2023-07-30
软件系统运行测试总结报告2023-05-13
软件工程的安全检测和维护论文2024-02-05