软件工程英语 文档:Documents 软件工具:Software Tools 工具箱:Tool Box 集成工具:Integrated Tool 软件工程环境:Software Engineering Environment 传统:Conventional 经典:Classical 解空间:Solution Domain 问题空间:Problem Domain 清晰第一,效率第二Clarity the first,Efficiency the next. 设计先于编码Design before coding 使程序的结构适合于问题的结构Make the program fit the problem 开发伴随复用,开发为了复用 Development with reuse,Development for reuse. 靠度量来管理:Management by Measurement 软件度量学:Software Metrics 软件经济学:Software Economics 软件计划WHY软件分析WHAT软件实现HOW 软件生存周期过程的开发标准 Standard for Developing Software Life Cycle Process 软件开发模型:Software Development Model 编码员:Coder 瀑布模型:Waterfall Model 快速原型模型:Rapid Prototype Model 增量模型:Incremental Model 线性思维 ![]() 演化模型:Evolutionary Model 螺旋模型:Spiral Model 对象:Object 类:Class 继承:Inheritance 聚集:Aggregation 消息:Message 面向对象=对象Object+分类Classification+继承Inheritance+消息通信 Communication with Messages 构件集成模型:Component Integration Model 转换模型:Transformational Model 净室软件工程:Cleanroom Software Engineering 净室模型:Cleanroom Model 软件需求规格说明书:Software Requirement Specification ,SRS 分析模型:Analysis Model 便利的应用规约技术:Facilitated Application Specification Techniques ,FAST 结构化语言:Structured Language 判定树:Decision Tree 基数:Cardinality 事件轨迹:Event Trace 对象-关系Object-RelationShip 结构化分析:SA(Structured Analysis) 由顶向下,逐步细化 Top-Down Stepwise Refinement 面向对象分析:Object-Oriented Analysis 包含:Contains 临近:Is Next To 传到:Transmits to 来自:Acquires from 管理:Manages 控制:Controls 组成:Is Composed of 细化:Refinement 抽象:Abstraction 模块:Module 策略:Strategy 信息隐藏:Information Hiding 数据封装:Data Encapsulation 抽象数据类型:Abstract Datatype 模块化设计:Modular Design 分解:Decomposition 模块性:Modularity 单模块软件:Monolithic Software 模块独立性:Module Independence 内聚:Cohesion 偶然性内聚:Coincidental Cohesion 逻辑性内聚:Logical Cohesion 时间性内聚:Temporal Cohesion 过程性内聚: Procedural Cohesion 通信性内聚: Communicational Cohesion 顺序性内聚:Sequential Cohesion 功能性内聚:Functional Cohesion 非直接偶合:No Direct Coupling 数据偶合:Data Coupling 特征偶合:Stamp Coupling 控制偶合:Control Coupling 外部偶合:External Coupling 公共偶合:Common Coupling 内容偶合: Content Coupling 由底向上设计:Bottom-Up Design 自顶向下设计:Top-Down Design 正式复审:Formal Review 非正式复审:Informal Review 走查,排练:Walk-Through 会审:Inspection 设计先于编码:Design before coding 程序结构必须适应问题结构 Make the program fit the problem 映射:Mapping 传入路径:Afferent path 传出路径:Efferent path 变换中心:Transform Center 接受路径:Reception path 动作路径:Action path 事务中心:Transaction Center 分支分解:Factoring of Brandches 瓮形:oval-shaped 一个模块的控制域:Scope of Control 一个模块的作用域:Scope of Effect 结构化程序设计:Structured Programming 通心面程序:Bowl of Spaghetti 流程图:Flow Diagram 编码:Coding 方框图:Block Diagram PDL (Pidgin) ![]() 伪代码:Pseudo Code JSD:Jackson System Development 对象建模技术:Object Modeling Technique 基础设施:Infrastructure 控制线程:Thread of Control 保护者对象:Guardian Object 协议:protocol UML:Unified Modeling Language OMG:Object Management Group 统一方法:Unified Method 关联:Association 泛化:Generalization 依赖:Dependency 聚集:Aggregation 结点:Node 接口:Interface 包:Package 注释: Note 特化:Specialization 元元模型:Meta-Meta Model 用户模型:User Model 静态图:Static Diagram 动态图:Dynamic Diagram 用例视图:Use Case View 逻辑视图:Logical View 并发视图:Concurrent View 构件视图:Component View 实现模型视图:Implementation Model View 部署视图:Deployment View 关联:Association 航向:Navigability 重数:Multiplicity 聚集:Aggregation 共享聚集:Shared Aggregation 组合:Composition 泛化:Generalization 简单消息:Simple Message 同步消息:Synchronous Message 异步消息:Asynchronous Message 事件说明:Event_Signature 守卫条件:Guard_Condition 动作表达式:Action_Expression 发送子句:Send_Clause 时序图:Sequence Diagram 协作图:Collaboration Diagram 前缀:Predecessor 循环子句:Iteration-Clause 活动图:Activity Diagram 构件图:Component Diagram 配置图:Deployment Diagram 建模过程指导(RUP):Rational Unified Process 可执行代码:Executalbe Codes 实现:Implementation 编码风格:Coding Style 标准:Classical 控制流的直线性:Linearity of Control Flow 程序风格设计要素: 先求正确后求快 Make it right before you make it faster. 先求清楚后求快 Make it clear before you make it faster. 求快不忘保持程序正确 Keep it right when you make it faster. 保持程序简单以求快 Keep it simple to make it faster. 书写清楚,不要为“效率”牺牲清楚 Write clearly-don't sacrifice clarity for "efficiency" 文档化:Code Documentation 内部文档编制:Internal Documentation 序言:Prologue 用户友善:User Friendly 纠错:Debugging 测试用例:Test Case 穷举测试:Exhaustive Testing 选择测试:Selective Testing 静态分析:Static Analysis 黑盒测试:Black Box Testing 白盒测试:White Box Testing 等价分类:Equivalence Partioning 边界值分析法:Boundary Value Analysis 所谓猜错:Error Guessing 因果图:Cause-Effect Graph 逻辑覆盖测试法:Logic Coverage Testing 试凑:Trial and Error 回溯:Back Tracking 病因排除法:Cause Elimination 测试纠错:Debugging by Testing 蛮力纠错技术:Debugging by Brute Force 回归测试:Regression Testing 单元测试:Unit Testing 综合测试:Integration Testing 确认测试: Validation Testing 系统测试:System Testing 模块测试:Module Testing 高级测试:Higher order Testing 不可达的:Unreachable 办公桌检查:Desk Check 走查:Walk-Through 代码会审:Code Inspection 测试驱动模块:Test Driver 测试桩模块:Test Stub 群:Cluster 混合方式测试:Sandwich Testing 渐增式测试:Incremental Testing 非渐增式:Non-Incremental 配置复审:Configuration Review 测试终止标准:Test Completion Criteria 基于线程的测试:Thread-Based Testing 基于使用:Use-Based 基于构件的软件开发:Component Based Software Development ,CBSD 领域工程:Domain Engineering 需求规约:Requirements Specification 变体:Variant 组件对象模型,COM:Componet Object Model 对象链接与嵌入:Object Linking and Embedding 公共对象请求代理体系结构,CORBA:Common Object Request Broker Architecture 枚举分类:Enumerater Classification 呈面分类:Faceted Classification 属性-值分类:Attribute-Value Classification 应用系统工程,ASE:Application System Engineering 完善性维护:Perfective Maintenance 适应性维护:Adaptive Maintenance 纠错性维护:Corrective Maintenance 预防性维护:Preventive Maintenance 结构化的翻新:Structured Retrofit 可维护性:Maintainability 可理解性:Understandability 可修改性:Modifiability 可测试性:Testability 调用图:Call Graph 交差引用表:Cross-Reference Directory 数据封装技术:Data Encapsulation 维护申请单MRF:Maintenance Request Form 软件问题报告单SPR:Software Problem Report 软件修改报告单SCR: Software Change Report 修改控制组CCB:Change Control Board 软件配置:Software Configuration 版本控制库:Version Control Library 活动比:Activity Ratio 工作量调节因子EAF:Effort Adjustment Factor 软件再工程:Software Reengineering 逆向工程:Reverse Engineering 重构:Restructure 演化性:Evolvability 问题定义:Problem Definition 系统目标与范围的说明:Statement of Scope and Objectives 可行性研究:Feasibility Study 系统流程图:System Flowchart 成本-效益分析:Cost-Benifit Analysis 风险识别:Risk Identification 风险预测:Risk Projection 风险估计:Risk Estimation 风险评价:Risk Assessment 估算模型:Estimation Model 资源模型:Resource Model 构造性成本模型:Constructive cost Model 组织:Organic 半独立:Semidetached 嵌入:Embeded 算法模型:Algorithmic Model 分类活动结构图WBS:Work Breakdown Structure 人员-时间权衡定律 People-Time Trade-Off Law 无我小组:Egoless Team 主程序员小组: Chief-Programmer Team PERT ![]() 关键路径:Critical Path 知识产权:Intellectual Property 靠质量来管理:Management by Measurement 质量保证:Quality Assurance 质量认证: Quality Certification 质量检验:Quality Inspection 全面质量管理TQC:Total Quality Control 质量体系:Quality System 计划-实施-检查-措施 Plan-Do-Check-Action 合格论证:Conformity Certification 可靠性:Reliability 效率:Efficiency 运行工程:Human Engineering 正确性:Correctness 使用性:Usability 完整性:Integrity 可理解性:Understandability 可测试性:Testability 可修改性:Modifiability 可移植性:Portability 可维护性:Maintainability 可适应性:Flexibility 可重用性:Reusability 交互操作性:Interoperability 验证与确认:Verification and Validation ,V&V 基线:Baselines 平均故障时间:Mean Time To Failure ,MTTF 错误传入:Error Seeding 冗余:Redundancy 容错:Fault Tolerance 公理化归纳断言法:Axio-Matic Inductive Assertion 循环不变式:Loop Invariant 能力成熟度模型:Capability Maturity Model 关键过程域:Key Process Area ,KPA 关键实践:Key Practice 初始级:Initial 可重复级:Repeatable 已定义级 ![]() 已管理级:Managed 优化级:Optimizing 主任评估师:Lead Assessor 极值程序设计:Extreme Programming 自适应软件开发:Adaptive Software Development 轻载 ![]() 重载:Heavy Weight 返工:Rework 进度:Schedule 时间 ![]() 成本:Cost 代码行LOC ![]() 面向功能:Function-Oriented 面向规模: Size-Oriented 功能点:Function Points 权系数:Weighting Coefficient 用户输入:User Input 用户输出: User Output 用户查询: User Inquirty 主文件处理:Master File 外部界面:External Interface TCF:Technical Complexity Factor 技术复杂性因子 测度:Measurement 最终用户:End-User; 计算机辅助软件工程CASE:Computer Aided Software Engineering 拉出:pull-out 下拉: pull-down 一致性:Unification 自动化:Automation 过程模型:Process Model 软件开发环境SDE:Software Development Environment 软件设计支持环境PSE:Programming Support Environment 集成化项目支持IPSE:Integrated Project Support Environment 集成化框架:Integration Framework 质量从头抓起:Quality from Beginning 缺陷:Defect 变更请求:Change Request 功能扩充:Enhancement Request |