SC Chapter 2: Process and Tools of Software Construction Review

博客介绍了软件构造的流程、工具及版本控制。涵盖传统软件设计模型,如瀑布、增量、V字等模型,对比线性与迭代模式特点;阐述敏捷开发理念;重点讲解版本控制,介绍Git和GitHub原理及使用流程;还提及软件从设计到发布过程中IDE、分析工具等的选择。

Chapter 2: Process and Tools of Software Construction

2.1 Software Lifecycle and Configuration Management

第一章讲述了软件构造的结果
第二章介绍具体流程,版本控制,重点介绍了git 和 github 的原理

Traditional Software process models (传统设计模型)

软件设计的一般流程有以下几类:
linear :
在这里插入图片描述
Iterative:
在这里插入图片描述
– Waterfall (Linear, non-iterative) 瀑布过程
– Incremental (non-iterative) 增量过程
– V-Model (for verification and validation) V字模型
– Prototyping (iterative) 原型过程
– Spiral (iterative) 螺旋模型

其实上述设计流程总的归结起来就是线性模式和迭代模式的综合引用,迭代模式能够使得程序能够更好的适应用户需求变化,但是消耗成本也较大,线性模式是按照计划,一步步进行,思路清晰简单,但是适应性较差。

Agile development(敏捷开发)

通过持续迭代和小规模改进,达到快速开发的目的
(其实没太看懂)

Software Configuration Management (SCM) and Version Control System (VCS)(版本控制)

首先给出版本控制的术语,有助于我们理解Git 的原理
在这里插入图片描述
曾经程序员编程是通过copy+rename的方式来达到版本控制,但是随着程序规模的扩大,这种方式显然阻碍了效率的提升。同时对于组队编程十分不友好,对于大型项目,多人组队,我们需要一种更加有效的版本控制工具。
这里就推出Git+github 组合配套工具
在讲述git之前我们需要先了解版本控制系统的演化进程:
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

上述三张图片清晰地反映了版本控制系统从单人到多人协作的演化历史。到现在分布式版本控制系统就是Git的处理方式,分为本地库和远程库两个仓库,本地库中保存着个人的文档,远程库中保存着小组(个人)的代码。

首先看一下使用Git进行版本控制的基本流程:
在这里插入图片描述
对于需要的文件夹使用命令:

git init

即可创建将当前文件夹初始化为本地库,注意到文件夹中多出了.git文件夹(一般是隐藏的):
在这里插入图片描述
一般来说git repository中包含:
– .git directory(.git文件夹) (a repository storing all version control data) 本地的CMDB
– Working directory (local file system) 工作目录:本地文件系统
– Staging area (in memory) 暂存区:隔离工作目录和Git仓库

而文件夹中的每一个file都处于以下三种状态:
– Modified (the file in working directory is different from the one in git repository, but is not in staging area) 已修改
– Staged (the file is modified and has been added into the staging area) 已暂存
– Committed (the file keeps same in working directory and git directory) 已提交

正好对应了以下操作:

git add .
git commit -m "first commit"

同时.git 文件夹中还会包含Git object graph,在git上的所有操作(add commit rm push log merge)都是对object graph 这个数据结构的操作。每一个commit会被当成graph中的节点,它表示软件版本演化的关系:
通过以下命令在我的本地库中查看版本演化的object graph

git log --oneline --decorate --color --graph

在这里插入图片描述
Git 管理分支合并:
在这里插入图片描述
在这里插入图片描述
注意:Git 为了不浪费储存空间给,只会记录变化的文件,未变化的文件会用使用指针共用。

Github作为remote repository:
在这里插入图片描述

2.2 Process, Systems, and Tools of Software Construction

这一小节相对于2.1介绍的更加具体:即我们在实际开发软件的时候IDE,分析工具,build工具的选择,软件从设计到打包发布的过程。

广义软件构造过程:
Design – Programming – Debug – Testing – Build – Release
狭义软件构造过程:
Build: Validate – Compile – Link – Test – Package – Install --Deploy

在这里插入图片描述

IDE(集成开发环境):
– Source code editor with intelligent code completion, code refactoring tool 源代码编辑器、智能代码补全工具、代码重构工具
– File management tool 文件管理
– Library management tool 库管理
– Class browser, object browser, class hierarchy diagram 软件逻辑实体可视化
– Graphical User Interface (GUI) builder 图形化用户界面构造器
– Compiler, interpreter 编译器、解释器 – Build automation tools 自动化build工具
– Version control system 版本控制系统
– Extensible by more external third-party tools 外部的第三方工具

java IDE:

  • IDEA
  • Eclipse
内容概要:本文系统阐述了正规表达式(正则表达式)作为词法分析核心工具的理论基础与实际应用。文章从字母表、符号串等基本概念出发,详细介绍了正规式的定义、运算规则、代数性质及其与有限自动机(NFA/DFA)的等价关系,阐明了通过Thompson构造法、子集构造法和DFA最小化实现词法分析器自动生成的技术路径。同时,文中列举了标识符、关键字、运算符等编程语言元素的正规式描述,并说明了最长匹配和优先级规则在歧义消解中的作用。此外,还对比了正规式与上下文无关文法的表达能力差异,指出了其在嵌套结构和计数能力上的局限性,并介绍了Lex/Flex等词法分析器生成工具的应用场景。; 适合人群:计算机相关专业学生、编译原理初学者、希望深入理解词法分析机制的研发人员;具备一定的离散数学和形式语言基础者更佳。; 使用场景及目标:① 学习如何使用正规表达式精确描述程序语言的词法规则;② 掌握从正规式到DFA的转换流程及其实现原理,为构建编译器前端打下基础;③ 理解词法分析器生成工具的工作机制,提升对自动化工具的理解与运用能力。; 阅读建议:建议结合编译器设计实践进行学习,尝试手动完成正规式到NFA再到DFA的转换练习,并使用Flex等工具验证结果,以加深对理论知识的理解与应用。
内容概要:本文针对高比例清洁能源接入背景下配电网重构的关键问题,提出了一种计及需求响应机制的优化方法,并以IEEE33节点标准系统为案例,采用Matlab进行建模、仿真与代码实现。研究通过构建综合考虑风电、光伏等间歇性电源出力不确定性和负荷波动的数学模型,引入智能优化算法求解网络重构方案,有效提升了配电网对清洁能源的接纳能力与运行的经济性、可靠性。文中重点探讨了需求响应在削峰填谷、平抑波动方面的作用,实现了网络结构的动态优化调整,为新型电力系统下的主动配电网管理提供了可行的技术路径和仿真验证平台。该工作属于电力系统智能优化领域的前沿实践,具有较强的理论价值与工程应用前景。; 适合人群:具备电力系统分析、优化算法基础及Matlab编程能力,从事新能源并网、智能电网、需求响应等相关方向研究的研究生、科研人员及电力行业工程技术人员。; 使用场景及目标:①应用于高渗透率可再生能源接入的配电网运行优化研究;②为需求响应参与下的网络重构问题提供完整的算法设计与Matlab仿真解决方案;③服务于IEEE标准测试系统的教学演示、科研验证及算法对比分析。; 阅读建议:建议读者结合提供的Matlab代码深入理解模型构建与求解流程,动手运行仿真程序并尝试调整参数,以掌握不同场景下重构策略的变化规律,同时可进一步拓展至多时段动态重构、加入储能系统或电动汽车等新型负荷进行深化研究。
内容概要:本文系统阐述了Z语言(Z Notation)这一基于集合论和一阶谓词逻辑的形式化规格说明方法,重点介绍了其核心概念、数学基础、模式结构及在软件工程中的应用。Z语言通过“状态+操作”的模式结构精确描述系统静态属性与动态行为,消除自然语言需求说明的歧义性与不完整性,适用于安全关键系统的高可靠需求建模。文章详细解析了状态模式、操作模式、查询与初始状态的构建方式,并展示了模式组合运算机制,辅以“生日书”等典型示例说明其实现逻辑。此外,报告还列举了Z语言在IBM CICS系统、浮点运算支持及轨道交通等领域的成功应用,论证了其在降低开发成本、提升文档质量方面的优势,同时也指出了其学习门槛高、工具链有限等现实挑战。; 适合人群:具备一定数学基础(如集合论、逻辑学)的软件工程研究人员、高年级本科生或研究生,以及从事安全关键系统开发的工程师;; 使用场景及目标:①用于航空、医疗、金融等高可靠性系统的需求形式化建模;②辅助进行系统性质的数学验证与早期错误检测;③支持从抽象规格到具体实现的逐步精化设计;; 阅读建议:学习者应结合“生日书”等经典案例动手练习模式构建,并借助Z/EVES等工具进行公式验证,同时建议配合自然语言文档对照理解,以克服形式化表达的可读性障碍。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值