qq_52448615的博客

原创 什么是形式化方法

1.形式化方法可以分为形式化描述和建立在形式化描述基础之上的形式化开发。形式化的描述就是用形式化的语言(具有严格的语法语义定义的语言)做描述。形式化的软件开发，就是用形式化的语言来描述软件需求和特征，并且通过推理验证来保证最终的软件产品是否满足这些需求和具备这些特征。这样的验证当然得建立在严格的语法语义的基础之上的。在实际应用中，这是不容易做到的。形式化方法研究的目的就是希望能够提供更好的理论、方法和工具，扩大形式化方法的应用范围和使用价值。2.形式化方法的意义在于它能帮助发现其它方法不容易发现的系统描述

原创 了解java的反射机制

Java 反射机制是在运行状态中，对于任意一个类，都能够知道这个类的所有属性和方法；对于任意一个对象，都能够调用它的任意方法和属性；这种动态获取信息以及动态调用对象方法的功能称为 Java 语言的反射机制。简单来说，反射机制指的是程序在运行时能够获取自身的信息。在 Java 中，只要给定类的名字，就可以通过反射机制来获得类的所有信息。...

原创 画流程图和盒图，结构化图

原创 什么是决策树

决策树算法是一种逼近离散函数值的方法。它是一种典型的分类方法，首先对数据进行处理，利用归纳算法生成可读的规则和决策树，然后使用决策对新数据进行分析。本质上决策树是通过一系列规则对数据进行分类的过程。决策树方法最早产生于上世纪60年代，到70年代末。由J Ross Quinlan提出了ID3算法，此算法的目的在于减少树的深度。但是忽略了叶子数目的研究。C4.5算法在ID3算法的基础上进行了改进，对于预测变量的缺值处理、剪枝技术、派生规则等方面作了较大改进，既适合于分类问题，又适合于回归问题。决策树算法构造

原创 什么是分而治之？

谓“分而治之” 就是把一个复杂的算法问题按一定的“分解”方法分为等价的规模较小的若干部分，然后逐个解决，分别找出各部分的解，把各部分的解组成整个问题的解。注意分而治之不是算法，而是一种解决问题的思路工作原理1.找出简单的基线条件；2.确定如何缩小问题的规模，使其符合基线条件。分治算法，即分而治之，就是把原问题分解为几个类似原问题的子问题，解决完子问题，再把子问题的解合并在一起，就可以得到原问题的解。分治算法一般包括三个过程：分解：将原问题分解成若干个子问题。解决：递归求解各自子问题，如果子问题足够小

原创 了解WBS

WBS是工作分解结构。工作分解结构简称WBS，跟因数分解是一个原理，就是把一个项目，按一定的原则分解，项目分解成任务，任务再分解成一项项工作，再把一项项工作分配到每个人的日常活动中。直到分解不下去为止。即：项目→任务→工作→日常活动。工作分解结构以可交付成果为导向，对项目要素进行的分组，它归纳和定义了项目的整个工作范围，每下降一层代表对项目工作的更详细定义。WBS是一个描述思路的规划和设计工具。它帮助项目经理和项目团队确定和有效地管理项目的工作。WBS是一个清晰地表示各项目工作之间的相互联系的结构

原创 为什么软件开发周期总是预估的2~3倍

说到软件开发，我们知道软件生命周期由软件定义、软件开发和运行维三个时期组成，每个时期又进一步划分成若干个阶段。总体为问题定义、可行性研究、需求分析、总体设计、详细设计、编码和单元测试、综合测试和软件维护，这八个阶段。在软件开发开始之前，需要对软件开发周期进行预估，这是一个综合分析的过程，其中的工作包括了很多细节问题需要处理，比如：预估的准确性标准是什么、选择什么样的预估方法和工具、预估应遵守的原则和态度、预估人员的选择等。其中任何一个环节没有做到位，周期预估时间与实际时间就会产生较大差异。对于开发周期总是

原创 医院监护系统的问题定义及分析系统可行性

1.问题定义：项目名称：XX医院监护系统 问题描述：解决当前医院护士人员需求量大、不能实时监控病人的生理情况及作出及时的医疗措施项目目标：开发一个解决护士需求量、可实时监控病人的生理情况并实时判断及作出对应通知的医院监护系统项目范围：硬件主要是医用计算机和医疗生理数据采集输出设备等，费用预计为XX元。可行性研究：系统分析员与医院的相关人员进行研究讨论，研究讨论时长XX天，研究费用XX元。2.分析系统可行性经济可行性：总费用 经济效益 可行社会因素可行性：不存在违法违规、侵权等法律道德问题

原创 软件工程方法论对我们开发软件有多大的用处?谈谈你的看法

软件工程包括技术和管理两方面的内容,是技术与管理紧密结合所形成的工程学科.软件工程方法论是软件生命周期全过程中使用的一整套技术方法的集合,也是在软件开发的过程中必须遵循的普遍行为和准则.软件工程方法学包含的三个要素分别为方法,工具和过程.方法是完成软件开发的各项任务的技术方法,工具是为运用方法而提供的自动的或半自动的软件工程支撑环境,过程是为了获得高质量的软件所需要完成的一系列任务的框架,它规定了完成各项任务的工作步骤.软件工程方法论具有如下用处:(1)应对不断变更的需求(2)降低软件开发的风险,

原创 软件工程与计算机科学的区别与联系

计算机科学与技术和软件工程区别为：涉及领域不同、软硬件不同、就业领域不同。一、涉及领域不同1、计算机科学与技术：涉及大数据技术导论、数据采集与处理实践（Python）、Web前/后端开发、统计与数据分析、机器学习、高级数据库系统、数据可视化、云计算技术、人工智能、自然语言处理、媒体大数据案例分析、网络空间安全、计算机网络、数据结构、软件工程、操作系统等方面2、软件工程：涉及程序设计语言、数据库、软件开发工具、系统平台、标准、设计模式等方面。二、软硬件不同1、计算机科学与技术：既有软件技术，也包括硬

原创 CMM与CMMI的关系，软件全面质量管理的思想体系

CMM和CMMI的联系及区别:联系:CMMI即CMM集成，是系统工程和软件工程的集成成熟度模型，CMMI更适合于信息系统集成企业。CMMI是在CMM基础上发展起来的，它继承并发扬了CMM的优良特性，借鉴了其他模型的优点，融入了新的理论和实际研究成果。它不仅能够应用在软件工程领域，而且可以用于系统工程及其他工程领域。区别:从等级划分上看,1,3,5级的名称没有变化,均是初始级,已定义和优化;但是2级和4级分别定义为已管理级和定量管理级,这个变化更突出了CMMI定性管理和定量管理的特点.CMMI共有分

原创 什么是MTTF，MTBF，MTRF

MTBF,MTTR,MTRF三个指标的区别1.MTBF.一全称是Mean Time BetweenFailure， 即平均无故障工作时间。就是从新的产品在规定的工作环境条件下开始工作到出现第一个故障的时间的平均值。MTBF越长表示可靠性越高正确工作能力越强。2.MTRF(Multivariate Temporal Response Function)平均修复时间，用来表示计算机的可维修性，即计算机的维修效率，指从故障发生到机器修复平均所需要的时间。3.MTTF一一全称是Mean Time To Fail

原创 Ad hoe Test

“Ad-Hoc” 原意是指 “特定的，一次性的”，这里专指“随机的，自由的”测试。在软件测试中除了根据测试样例和测试说明书进行测试外，还需要进行随机测试(Ad-hoc testing)，主要是根据测试者的经验对软件进行功能和性能抽查。随机测试是根据测试说明书执行样例测试的重要补充手段，是保证测试覆盖完整性的有效方式和过程。随机测试主要是对被测软件的一些重要功能进行复测，也包括测试那些当前的测试样例(TestCase)没有覆盖到的部分。另外，对于软件更新和新增加的功能要重点测试。重点对一些特殊点情况点、特殊

原创 smoke Test

冒烟测试：这一术语源自硬件行业。对一个硬件或硬件组件进行更改或修复后，直接给设备加电。如果没有冒烟，则该组件就通过了测试。在软件中，“冒烟测试”这一术语描述的是在将代码更改嵌入到产品的源树中之前对这些更改进行验证的过程。在检查了代码后，冒烟测试是确定和修复软件缺陷的最经济有效的方法。冒烟测试设计用于确认代码中的更改会按预 期运行，且不会破坏整个版本的稳定性。冒烟测试是自由测试的一种。冒烟测试(smoketest)在测试中发现问题，找到了一个Bug，然后开发人员会来修复这个Bug。这时

原创 如果不确定客户端是否禁用cookie，则可以使用URL重写技术

URL重写是指服务器程序对接收的URL请求重新写成网站可以处理另一个URL的过程。URL重写技术是实现动态网站会话跟踪的重要保障。在实际应用中，当不能确定客户端浏览器是否支持Cookie的情况下，使用URL重写技术可以对请求的URL地址追加会话标识，从而实现用户的会话跟踪功能。URL重写实现会话跟踪，要保证每个页面都必须使用Servlet或JSP动态页面。因为附加在URL上的sessionID是动态产生的，所以对于静态页面的跳转，URL重写机制无能为力。可以通过HttpServletResponse的enc

原创 内置对象session与httpSession对象是同一 个东西吗

一、session和HttpSession是不同的概念。二、session对象是JSP内置对象之一，Web服务器可以使用内置对象session来存放每个客户端的连接信息。session对象是指客户端与服务器端的一次会话，从客户端连接到服务器的一个web应用程序开始，直到客户端与服务器断开为止。三、HttpSession对象用于存储与特定客户端的整个会话。 我们可以存储，检索和删除HttpSession对象的属性。 任何Servlet都可以通过HttpServletRequest对象的getSession

原创 cookie 和session 的区别

cookie 和session 的区别：1、cookie数据存放在客户的浏览器上，session数据放在服务器上。2、cookie不是很安全，别人可以分析存放在本地的COOKIE并进行COOKIE欺骗 考虑到安全应当使用session。3、session会在一定时间内保存在服务器上。当访问增多，会比较占用你服务器的性能 考虑到减轻服务器性能方面，应当使用COOKIE。4、单个cookie保存的数据不能超过4K，很多浏览器都限制一个站点最多保存20个cookie。5、所以个人建议： 将登陆信息等

原创 什么是图灵测试

图灵测试最早出现在1950年图灵发表的一篇名为《计算机械和智能》（Computing Machinery and Intelligence）的论文中,是判断机器是否具有人工智能的一套方法。而图灵测试是人工智能最初的概念，它甚至早于“人工智能”这个词本身，人工智能一词是在1956年才被提出的。图灵测试的方法很简单，就是让测试者与被测试者（一个人和一台机器）隔开，通过一些装置（如键盘）向被测试者随意提问。进行多次测试后，如果有超过30%的测试者不能确定出被测试者是人还是机器，那么这台机器就通过了测试，并被认为具

原创 2021-09-18

图灵测试最早出现在1950年图灵发表的一篇名为《计算机械和智能》（Computing Machinery and Intelligence）的论文中,是判断机器是否具有人工智能的一套方法。而图灵测试是人工智能最初的概念，它甚至早于“人工智能”这个词本身，人工智能一词是在1956年才被提出的。图灵测试的方法很简单，就是让测试者与被测试者（一个人和一台机器）隔开，通过一些装置（如键盘）向被测试者随意提问。进行多次测试后，如果有超过30%的测试者不能确定出被测试者是人还是机器，那么这台机器就通过了测试，并被认为具

原创 2021-04-25

回归vs回溯回溯法（探索与回溯法）是一种选优搜索法，又称为试探法。按选优条件向前搜索，以达到目标。但当探索到某一步时，发现原先选择并不优或达不到目标，就退回一步重新选择，这种走不通就退回再走的技术为回溯法，而满足回溯条件的某个状态的点称为“回溯点”。回溯法其方法结构可以理解为类似一棵多叉树，每个树结点代表一个可能的部分解，它的儿子是在它的基础上生成的其他部分解。树根为初始状态，这样的状态集合称为状态空间树。回溯法对任一解的生成，一般都采用逐步扩大解的方式。其从开始结点（根结点）出发，以深度优先搜索整个状

原创 2021-04-20

详细了解软件测试过程的V模型，W模型，H模型V模型已存在了很长时间，和瀑布开发模型有着一些共同的特性，由此也和瀑布模型一样地受到了批评和质疑。V模型中的过程从左到右，描述了基本的开发过程和测试行为。V模型的价值在于它非常明确地标明了测试过程中存在的不同级别，并且清楚地描述了这些测试阶段和开发过程期间各阶段的对应关系。局限性：把测试作为编码之后的最后一个活动，需求分析等前期产生的错误直到后期的验收测试才能发现。W模型是V模型的发展，强调的是测试伴随着整个软件开发周期，而且测试的对象不仅仅是程序，需求、功

原创 2021-04-11

Java的反射机制是指在程序的运行状态中，可以构造任意一个类的对象，可以了解任意一个对象所属的类，可以了解任意一个类的成员变量和方法，可以调用任意一个对象的属性和方法。这种动态获取程序信息以及动态调用对象的功能称为Java语言的反射机制。Java反射机制主要提供了以下功能： 在运行时判断任意一个对象所属的类；在运行时构造任意一个类的对象；在运行时判断任意一个类所具有的成员变量和方法；在运行时调用任意一个对象的方法；生成动态代理。...

原创 2021-04-05

什么是形式化方法？形式化方法的一个重要研究内容是形式规约，也称形式规范或形式化描述),它是对程序“做什么”的数学描述,是用具有精确语义的形式语言书写的程序功能描述,它是设计和编制程序的出发点,也是验证程序是否正确的依据。对形式规约通常要讨论其一 致性(自身无矛盾)和完备性(是否完全、无遗漏地刻画所要描述的对象)等性质。形式规约的方法主要可分为两类:一类是面向模型的方法也称为系统建模,该方 法通过构造系统的计算模型来刻画系统的不同行为特征；另一类是面向性质的方法也称为性质描述,该方法通过定义系统必须满足的一

原创 2021-04-05

为什么软件开发方法论让你觉得糟糕？软件开发的方法不是一成不变的。传统的瀑布模型现在依然是现在最常用的开发方式，但是瀑布模型有些理想化，设计和开发人员理想地认为可以按照时间表逐步完成每个步骤，任何时候无需和不能回退到上一个步骤。但在现实开发中，各种问题和需求会让瀑布模型基本无法按章执行。而且随着时代的进步，各种软件开发方法也在不断涌现。理论是美好的，但是现实总会遇到很多无法预估的问题。...

原创 2021-03-31

WPS Office是由金山软件股份有限公司自主研发的一款办公软件套装，可以实现办公软件最常用的文字、表格、演示，PDF阅读等多种功能。具有内存占用低、运行速度快、云功能多、强大插件平台支持、免费提供海量在线存储空间及文档模板的优点。...

原创 2021-03-28

软件开发周期预估就是根据软件的开发内容、开发工具、开发人员等因素对需求调研、程序设计、编码、测试等整个开发过程所花费的时间做的预测。软件开发周期预估在软件开发中也是较为困难的工序之一，因为软件开发所涉及的因素不仅多而且异常复杂。软件开发是一项非常复杂的工程，不仅包含需求分析、设计、编码、测试、实施、维护等不同的过程，还涉及到开发工具、开发人员、项目管理、风险等众多因素，不同因素会对周期预估产生不同的影响。分而治之，最初的意思就是 分别的管理理。在计算机上用到分而治之就是把一个复杂的大问题化成一个个可执行

原创 2021-03-22

技术可行性;虽然生理數据的采集需要涉及大量的专业精密仪器，软件工程师并不精通，但是可以在专业人士的帮助下完成。经济可行性:支出方面由医院方面承担，是否可行取决于医院方面是否能支付所需的费用。操作可行性:医生并不具有软件维护的能力，在数据库的维护上需要专业人士来进行，因为病患数目并不会太多，所以只需一个 人或者几个人定期对数据库进行管理和维护就行了。...

原创 2021-03-21

软件工程方法论对我们软件开发的作用是不言而喻的。用工程化的方法来指导软件开发可以保证软件开发的顺利进行，可控、可预见、遵循大量实践经验的模式来进行开发会有更大的可靠性和成功率。...

原创 2021-03-13

我认为软件工程并不是教会人们写程序，而是教会人们如何设计符合逻辑的程序，如何研究软件的可行性及需求分析，还有软件结构化和面向对象的设计。软件工程的作用是告诉我们设计软件的思路和方式，编写程序是去实现软件制作的必要方法，有了详细的目的之后才有详细的工作步骤。...