计算机软件工程技术中的逻辑应用探析
2017-12-28田志强海南热带海洋学院
田志强 海南热带海洋学院
计算机软件工程技术中的逻辑应用探析
田志强 海南热带海洋学院
计算机软件的设计和逻辑学有关,计算机的发展需要借助逻辑学,这两种学科之间的存在着相互渗透,相互融合。逻辑学在软件工程中有着广泛的应用。
计算机软件 逻辑学 应用
软件在开发过程中,功能的合理性需要通过逻辑分析来完成。软件工程中的数学建模会影响到逻辑学的发展。软件工程和逻辑学存在着交叉性。在软件的研发过程中,逻辑工具包含了认知类的和数理类的,逻辑形式决定了软件定义的表达形式。计算机软件的设计通过逻辑思维完成。学科间的交叉和融合,促进了学科的共同进步。
1 软件开发中应用周期逻辑
在软件技术中,软件的工作效果是关键。在软件工程中,开发的形式和使用的工具要从分析入手。逻辑分析中会将软件工程定义为一个存在周期,软件在设计前,要分析功能的合理性和可行性,软件的功能分析和模块定义会影响到软件的开发质量和日后的维护效果。需求分析、概念设计,代码编写都需要有逻辑思维。
1.1 软件定义阶段的逻辑分析
软件的定义需要明确问题的性质,问题解决的可行性。软件设计需要保证市场的应用价值。软件的设计方案要力求简单,为方案的易于实现创造条件。软件的可操作性是软件设计的出发点,功能的设计要贴近实际,保证软件应用的有效性。软件开发时,定义功能的范围是必要的。不同级别的使用者要有不同的使用权限。所以应用逻辑学的概念,在具体分析中定义软件开发的功能。
1.2 建模阶段的逻辑分析
在软件设计的建模阶段,领域分析是关键,领域功能中会存在问题范围,相关事务会发生共同作用。问题在范围内的静态模型可以用图形的方式来定义。建模过程中,需要描述概念间的关系,概念的特性和逻辑间的相互作用。从逻辑学上说,要区分概念的内涵和外延。领域类内容的相关性会涉及到逻辑学的内涵。领域类的定义特性会和概念的外延发生关联。逻辑学的要素应用在建模领域内,表达了内涵间的种类和从属关系,通过限制或概括的定义,完善领域建模的基本内涵。
2 软件开发中的逻辑定义
2.1 需来分析
软件设计要结合用户的需求,软件功能的描述要结合功能的限定范围。描述的内容力求精细化。需求分析是软件设计的出发点。数据描述要保证准确性,要和功能分析相结合,不能单独发生作用。图形化的方式是一种高效的描述行为,可以明确表达数据模型间的存在关系,要应用逻辑学中的要素分析,表示概念之间存在的外延或内涵关系。软件的功能说明,要明确功能限定所权限类别,保证软件的使用效果。
2.2 软件设计
软件的需求转化会作用到软件体系的架构。要明确系统的接口类型,数据的表达方式和数据库的结构。模块的算法要明确。数据结构的表达要结合算法和表达数据。软件的需求分析和功能描述通过数理逻辑发生作用。数理逻辑会分解思维类别,通过机器完成运算模拟。计算机功能的发挥离不开相关程序的设计。程序设计就是数理逻辑的过程,数理逻辑和功能实现有着直接的关联。计算机语言表达出的数理逻辑,实现了计算机的功能。
2.3 代码生成
代码的生成和逻辑存在必然的联系,运用逻辑实现真值的判断。计算机的逻辑应用会体现在登陆程序,在验证口令或密码的时候,计算会与初始数据进行比对。此项功能可以有效保护计算机的用户信息,还可以计算机的分级控制,计算机的安全得到保护。在逻辑学的应用层次来看,软件在应用时需要完成规格类别的识别,需要进行数据的验证,系统化的规格表达会生成程序文件。程序生成中代码存在水平之间的关系或垂直之间的相互作用。
3 软件阶段的逻辑应用
软件测试发生在模块设计完成之后。软件测试的过程是发现各种BUG的过程,测试人员需要完成逻辑关系的修改,开发后的修改测试是问题回归的过程。问题的回归是将原有的问题通过修改测试后的可能性验证。软件设计中的缺陷是问题回归的原因。软件安全是测试的重点,测试人员要把握软件中的漏洞,测试中使用相关配置的模块,通过功能实现业务上的搭建。从逻辑学的角度,搭建的过程会存在程序功能的衔接,测试人员就注重逻辑上的纠错,提高软件的适用性。
4 软件维护中逻辑的应用
用户在使用软件的过程中会遇到各种各样的问题,这也是后期维护的内容,针对问题的修改结果要通过逻辑进行验证。软件存在的缺陷会影响到使用的效果。应用逻辑学可以分析出用户和软件开发之间的矛盾,结论的合理性也会通过逻辑学得出结论。软件的开发者需要通过技术手段消除存在的缺陷,软件开发后的维护就是消除问题的过程。软件的安全性和可靠性也软件维护的重点。软件开发的程序设计要尽可以符合逻辑。计算机需要的程序是计算机在逻辑上能识别的语言。
计算机软件开发的各类步骤中会和逻辑发生关联,逻辑学在软件程序中会进行相关的比较和功能上的拓展。逻辑方法是软件开发的工具。在计算机软件工程中,要强化逻辑学的应用。‘
[1]王民乐,刘九林编著.软件测试-技术概论[M].北京:清华大学出版化2015.
[2]张友仁.软件工程与软件质量分析[M].电子工业出版社,2016.
[3]刘定伟,张俊伟编著.智能优化方法[M].高等教育出版化,2015.