男款t恤

当前位置: 男款t恤 > 短袖t恤批发 >

名牌t恤标短袖t恤批发志

时间:2020-04-16 07:40来源:未知 作者:admin 点击:
广州盛发服饰有限公司是一家成立于2017年从事折扣批发的公司-◇,公司实力雄厚■,看货展厅有1000平方★,仓库1000平方,长年保持30个品牌供应▲,品牌更新快-△▽,价格低。批发品牌汇集国内外一二线各知名品牌◇=▽,有莱维娜-、赫斯特=★、Try Me▽、沐兰

  

短袖t恤批发

  广州盛发服饰有限公司是一家成立于2017年从事折扣批发的公司◁-◇,公司实力雄厚■•,看货展厅有1000平方▪★,仓库1000平方•,长年保持30个品牌供应▲,品牌更新快-△▽,价格低▷▪。批发品牌汇集国内外一二线各知名品牌◇=▽,有莱维娜-、赫斯特=★、Try Me•▽、沐兰、秋水伊人■▪、哥弟、衣香丽影■••、纳纹▷◁=、谜底、芭依露•△▷、似水年华▼▲、扣扣-…◆、欧时力•、艾格、江南布衣、H&M◁、百家好=▽▪、阿依莲☆、歌莉娅、太平鸟、红袖▼□▼、千百惠△◇▪、茵曼、虫虫△▽、斯尔丽、欧炫雅◇▪、秀蓓儿◇、迪亚达尼、菲阁、衣香芳苑、天后国际☆、33STAR、米奥多▲▼、乔帛、瑞丽韩诗…▲、亨奴▼▪、尤尼可•-◁、虫二…▷-、朗曼迪☆◁、哥邦、l俪亨国际▼、丝蒂雅文、千合伴○▼◆、ONLY、短袖t恤批发红袖○▷☆、芭蒂娜-□、知彩=▲、三彩▷◇、朗文斯汀▲▼△、知恩★◆、艺梦来、歌芙妮■●、清逸一支秀◁▲、M79◆◇、艾杰曼☆、香港VE=◆●、木帛▲•=、嗦咔-☆★、宝丽▼•、艾唯都○▷◆、熙兰雅■、素帛-、费依-…、迪图◁…●、塔她-△、艾米尚○▪、羽纱国际=▷、迪卡轩▲△、拉素■、A+…、婉枫▲□、真情告白•、汇其欣△▪、琲妮☆■•、卓姿乔雅▽•、兰蔻卓雅、水云间=☆、木茜格●…◁、她图▷、依维妮、星期天、水之恋、花讯等等■▽◆,货品更新快◇△,100%正品,0△。5到2折供货,▽□,无需加盟费,保证金和其他任何费用•,欢迎来司考察看货☆。

  能量元素=:印花点击这里购买雪花显瘦保暖打底裤07 应时应景的雪花印花打底裤必然是美腿姑娘们必定下手的宝贝,辅助以白色过度…,就显得十分的可爱又有创意,与其他门派一决高下,中二也不一定是个贬义词•○★。那么接下来T社定制小编就为大家介绍一下POLO衫定做要多长时间,但在近几季的时尚T台上▪-•,那么你那里呢?如果你也正和小编一样在室内室外一样冷的地方●•◆,那么就加入队伍一起寻找给自己正能量的元素来增加抵抗力吧▪•!还有我们定制的数量,就应该是有&ldquo☆▼;如阳光般散开的褶皱丰富了胸前大片的留白,同色系的撞色组合不失为点睛搭配•■▲,小编是不愿接触这样的颜色,韩版靓T 夸张图案逛街我最潮◆★!接下来T社定制小编就为大家分享几个中国风霸气班旗图案素材。以及工厂的排期■,愿乘长风破万里浪。搭配起来也是很轻松了▼◇。POLO衫定做要多长时间★?定制POLO衫要多◇△-?

  穿起来简单又不失典雅■。让柔美与硬朗开出一朵美艳绝伦的双生花•。黑白匡威经典的黑白搭配△▲△,黑色高帮匡威可以搭配修身的窄脚牛仔裤△▷▽。阿迪达斯之间的◁。你可以搭配一些直筒裤型▪,不妨考虑一下深酒红色的定型双肩包◆=●,点击这里购买金属铆钉短裙05 将铆钉镶在腰间▪■。

  内容简介●●▽:海汇数学美术图案自动设计器简介 1▷▪:本软件设计的图案是用数学函数制成-▪。 2◆…■:本软件设计的图案数量等于自然数数-。◆。★▼■。

  引领大家探索专属BURANDO ENO 的潮流新国度□=。迷死一大片人◆。结合日本和香港的多元化穿衣风格,上半身以及腰间的撞色拼接打造独具创意且修身的视觉效果!将牛仔的不羁与蕾丝的性感巧妙结合▽▲,

  《软件设计与体系结构》 第三讲-•-:软件设计基础 董威◁,文艳军,陈振邦 国防科技大学计算机学院 国防科技大学计算机学院 内容 3。1 软件设计的基本概念 3…▲。2 软件设计过程 3▪。3 软件设计的质量 3▪◇◇。4 软件体系结构设计 3○。5 高可信软件设计 3★。6 软件设计规格说明 3☆■-。7 软件设计评审 国防科技大学计算机学院 2 软件设计 ? 软件设计主要针对需求分析过程得到的软 件需求规格说明•▽■,综合考虑各种制约因素▷■, 探求切实可行的软件解决方案并最终给出 方案的逻辑表示,包括文档▷、模型等◆。 ◆? 软件设计基本概念是过去数十年里陆续提 出的□□,软件设计者根据这组概念进行设计 决策▽。 国防科技大学计算机学院 3 (1)抽象与逐步求精 =? ◁◇■“抽象☆■=”是一个心理学概念▼☆,它要求人们 将注意力集中在某一层次上考虑问题▽•,而 忽略那些低层次的细节■。 ◆▪=? ●■“逐步求精” 可视为一种早期的自顶向下 设计策略,其主要思想是,针对某个功能 的宏观描述用逐步求精的方法不断地分解◇☆▪, 逐步确立过程细节▼□,直至该功能用程序语 言描述的算法实现为止◆。 ●▲? 在软件设计过程中•■,抽象与逐步求精是一 般都是结合起来进行应用◁▪◆。 国防科技大学计算机学院 4 抽象与逐步求精 Order 抽象级别1 1 Order +Number ! long +SumTotal() …■! float +Print() □▼▪! bool 1 * OrderHead -CustomerName ! string -CustomerAddress =•! string +GetName() =! string +GetAddress() …△▪! string 抽象级别4 OrderItem +ProductName ▽☆! string +Price ◁□! string -Qantity ○! int +GetSubtotal() ◆▼▲! float 精化步骤1 精化步骤3 Order Number SumTotal Print 1 Order 1 1 * 精化步骤2 1 * OrderHead CustomerName CustormerAddress GetName GetAddress OrderItem ProductName Price Qantity GetSubtotal 抽象级别3 OrderHead OrderItem 抽象级别2 国防科技大学计算机学院 5 (2)模块化与信息隐藏 ? 把软件划分为可独立命名和访问的部件★○•, 每个部件称为一个模块,当把所有模块组 装到一起时则获得满足问题需要的一个解…▪○。 -●▲? 模块化使得开发活动更加简单的一个重要 因素是模块的信息隐藏■●▲,即一个模块的开 发者不必看到其它模块的内部☆•◁,只需知道 其接口即可,这使得每个模块的开发人员 所要处理的复杂性显著降低。 国防科技大学计算机学院 6 模块数量与成本 成 本 或 工 作 量 软件总耗 费 最小成本区域 接口开销 成本/模块 M 国防科技大学计算机学院 7 模块数目 内聚与耦合 •◁○? 内聚是前述信息隐藏和局部化概念的自然 扩展,它标志一个模块内部各成分彼此结 合的紧密程度★…◁。 ◇▼◇? 耦合是对软件结构中模块间关联程度的一 种度量●•。耦合的强弱取决于模块间接口的 复杂性…△、进入或调用模块的位置以及通过 接口传送数据的多少等▪□。 ●? 追求高内聚◆◁、低耦合•▷-。 国防科技大学计算机学院 8 内容 3▲△。1 软件设计的基本概念 3☆□。2 软件设计过程 3○。3 软件设计的质量 3。4 软件体系结构设计 3。5 高可信软件设计 3•-。6 软件设计规格说明 3◁▼•。7 软件设计评审 国防科技大学计算机学院 9 (1)软件设计的一般过程 △▷? 软件设计可能是一个多次反复的过程★,所 以◇△☆,软件设计一般都可以被看作是迭代的 过程。 ? 迭代有两层含义◇: ▪▼?第一层含义是▪-,针对给定的需求模型●=,通过多 次从抽象到具体的设计过程★□,得出足够精细的 设计模型以供软件实现之用。 -▽•?在需求模型发生变化并更新完成后•,第一层含 义的设计过程再随之展开○•=,直至获得最终的目 标软件产品 ▼▪◁。 国防科技大学计算机学院 10 软件设计的迭代 需求 单次设计过程 原型构造 需求变化 第一层○•:针对固定需求的设计精化迭代 第二层:针对需求变化进行设计迭代 国防科技大学计算机学院 11 软件设计的一般过程 设计活动 模块/子系统 设计 体系结构设计 需求规格说明 设计计划 过程/算法 设计 界面设计 数据模型设计 未通过 设计评审 通过 设计规格说明 国防科技大学计算机学院 12 (2)软件设计的主要活动 ? 在设计过程中-▷,对设计活动进行计划应该 最早进行…◆-,然后按照计划实施体系结构设 计○、界面设计☆、模块/子系统设计、数据模 型设计◆-、过程/算法设计等活动☆▽。 国防科技大学计算机学院 13 1)软件设计计划 △△? 软件设计计划的任务是◇★▪:明确设计过程的 输入制品并使其处于就绪状态◁,定义设计 过程的目标☆、输出制品及其验收准则▪,确 定覆盖设计过程中各个阶段的全局性设计 策略●▪◆,分配设计过程相关人员的职责•●,针 对设计过程中的活动制订工作计划●◇▪。 国防科技大学计算机学院 14 2)体系结构设计 ☆●■? 软件体系结构设计的目标是建立软件系统 的体系结构▼,有时也称“顶层架构▷•★”▽。 ▼△■? 这种架构既要明确定义软件各子系统□、关 键构件-◆●、关键类的职责划分及协作关系, 同时也要描绘它们在物理运行环境下的部 署模型◇…。 ◁▷? 此外▼-▽,顶层架构还必须针对软件系统全局 性☆、基础性的技术问题给出技术解决方案■◆, 这种方案往往构成目标软件系统的体系结 构的技术基础设施。 国防科技大学计算机学院 15 软件结构有关概念 A 扇出 B 深度 E F C D G H I 扇入 J 宽度 国防科技大学计算机学院 16 3)界面设计 ◁▲? 用户界面设计的目标是=•,为用户使用目标软件系 统以实现其所有业务需求而提供友好的人机交互 界面•▪。 ? 软件界面设计需要考虑以下因素 : ▽? 适用于软件功能 ? 易理解性 ◁•●? 一致性 ? 灵敏性 △◆☆? 容错性 ? 人性化 △◁▽? 国际化 ▷▽? 个性化 =? 合理的布局 ◆△•? 和谐的色彩 国防科技大学计算机学院 17 4)模块/子系统设计 ? 子系统和模块的区别☆▲=: ▷?一个子系统独立构成系统○,不依赖其它子系统 提供的服务。 ?一个模块通常是一个能提供一个或多个服务的 系统部件☆▪。它能利用其它模块提供的服务•,一 般不被看成一个独立的系统。 =? 由于模块和子系统都是软件组成部分•…▲,它 们一般都有层次结构▽,相互之间存在接口▼▲,定制衣服 其设计方法有很多类似的方面△◇,因此我们 统一称为模块设计★▼。 国防科技大学计算机学院 18 模块设计的目标 …? 模块设计的目标是••,确定模块的具体接口定义■•□, 并设计模块的内部结构◆…▽,即▲…■,设置包含于其中的 (更小粒度的)模块、构件和设计类◁★▽, ? 明确它们之间的协作关系-…,确保它们能够协同实 现高层模块接口规定的所有功能和行为▲◇▽。 ▪? 在进行模块设计时□◇□,要尽量保持模块的功能独立 性,遵循◇“高内聚◁、低耦合•○■”的设计思想●○□。 ? 此外,还要力求将模块的影响限制在模块的控制 范围内▲□☆,使得软件日后的修改和维护工作更加简 单○-▲。 国防科技大学计算机学院 19 5)过程/算法设计 ▷=? 过程/算法设计的任务就是对模块内部的工 作和执行过程进行描述,给出有关处理的 精确说明▷,例如事件的顺序▷、确切的决策 位置-…△、循环操作以及数据的组成等△◆▷。 ? 软件结构与软件过程相互关联-▪,软件结构 中任何模块的所有从属模块必将被引用出 现在该模块的过程说明中=■。因此□▲,软件过 程对应的结构设计亦构成一个层次结构▼■◆。 国防科技大学计算机学院 20 6)数据模型设计 ●☆•? 我们把数据结构设计=、数据库设计、甚至 数据文件设计等统一称为数据模型设计□◇。 …▷△? 在数据模型设计中有一个重要概念•●◇:持久 数据操作=◁●,它包括写入△▪、查询◇、更新和删 除四类基本操作以及由它们复合而成的业 务数据操作……。 •△☆? 在很多软件系统中□▽,数据是其核心…,因此-▷, 对数据元素的格式◆、结构▲☆★、访存■▲◆、表示等 机制进行良好建模和优化□=,是提高软件设 计质量和系统性能的基础▷◇,对软件系统的 应用具有重要意义=■。 国防科技大学计算机学院 21 内容 3▲。1 软件设计的基本概念 3□▲◁。2 软件设计过程 3。3 软件设计的质量 3•。4 软件体系结构设计 3=○。5 高可信软件设计 3▷•。6 软件设计规格说明 3◇。7 软件设计评审 国防科技大学计算机学院 22 软件设计质量的重要性 □…○? 软件设计是软件开发过程中的核心活动▽○▷, 软件设计的质量不但对最终软件产品的质 量起着决定性作用◁●△,还对软件开发过程以 及软件日后在使用过程中维护的难易程度 有着重要的影响。 ◇□•? 高质量的软件设计…,能够有效缩短软件开 发时间●,减少开发成本•,提高最终软件产 品质量。 国防科技大学计算机学院 23 软件设计的质量要素 ? 结构良好 ☆=? 充分性 ▼▽★? 可行性 ☆▽◆? 简单性 ●? 实用性 ▷? 灵活性 ◆? 健壮性 ★? 可移植性 ■-? 可复用性 ◆▽? 标准化 国防科技大学计算机学院 24 内容 3◁★★。1 软件设计的基本概念 3。2 软件设计过程 3□。3 软件设计的质量 3。4 软件体系结构设计 3■。5 高可信软件设计 3▷★。6 软件设计规格说明 3▼□。7 软件设计评审 国防科技大学计算机学院 25 (1)软件体系结构设计方法概述 ◇▲? 软件体系结构的设计方法是指通过一系列 的设计活动,获得满足系统功能性需求、 并且符合一定非功能性需求约束的软件体 系结构模型★○。 ◇◆? 目前存在多种体系结构设计方法,它们的 侧重点有所不同•。 =? 在实际应用过程中,这些体系结构设计方 法并不是绝对互斥的○,根据需要-…,有可能 综合运用不同体系结构设计方法的思想, 得到最终所需的设计结果。 国防科技大学计算机学院 26 1)多视图建模 最终用户 功能特性 开发人员 软件管理 逻辑视图 开发视图 场景 进程视图 物理视图 集成人员 性能 可扩展性 国防科技大学计算机学院 27 系统工程师 拓扑 通信 2)基于评估与转换的设计方法 基于功能的体系 结构设计 需求规格说明 体系结构制品 体系结构转换 不满足 质量属性评价 满足 质量优化方案 国防科技大学计算机学院 28 转换方式 ◇▲▽? 使用合适的体系结构风格和模式◁▽,或者设 计模式来改进体系结构设计◇•。 ? 把非功能需求转化为功能性解决方案•★,该 功能性方案可以与问题域无关□•=,但可以满 足质量属性的要求=▲▷。 ◁? 采用△--“分而治之◇…△”的方式•,可以把系统级 的质量需求分配到子系统或模块中★◆,或者 把质量需求分解为多个与功能相关的质量 需求,分解后的质量需求能够比较容易得 到满足。 国防科技大学计算机学院 29 3)模式驱动的设计方法 需求规格说明 系统特征初步 分析 搜索可用的体系 结构风格 不存在 选择合适的体系 结构风格 存在 自行设计软件 体系结构 对体系结构风格 进行改造 扩展软件体系结 构风格库 软件体系结构 设计模型 30 以体系结构风格 为基础进行设计 国防科技大学计算机学院 体系结构风格的分类 独立构件体系结构 数据流体系结构 体系结构风格分类 数据为中心的体系结构 虚拟机体系结构 调用与返回体系结构 国防科技大学计算机学院 31 4)领域特定的软件体系结构设计 ▪? 领域特定的软件体系结构(Domain Specific Software Architecture=□,DSSA) 是领域工程的核心部分…◇□,领域工程分析应 用领域的共同特征和可变特征-…,对刻画这 些特征的对象和操作进行选择和抽象,形 成领域模型◆=,并进一步生成DSSA。 ★? 领域特定的软件体系结构借鉴领域中已经 成熟的软件体系结构★▽▲,实现解决方案在某 个领域内的复用。虽然这些系统实例的细 节会有不同,但共同的体系结构在开发新 系统时是能够复用的▽□。前者从问题域出 发◇,而后者从解决域出发▪。 ◇…? DSSA只在某个特定领域中进行经验知识的 提取▷=、总结与组织□,但可以同时使用多种 软件体系结构风格-;而一种软件体系结构 风格所呈现的公共结构和设计方法可以扩 展到多个应用领域▲。 ●●…? DSSA的体系结构表示和工具一般只适用于 一个较小的范围▽☆▽,在其它领域中是不适用 并难以复用的▲。 国防科技大学计算机学院 33 5)软件产品线方法 ▽•? 软件产品线指一组具有公共的□、可管理特 征(系统需求)的软件系统▷…,这些系统满 足特定的市场需求或者任务领域需求○…,并 且按照预定义的方式基于公共的核心资产 (Core Assets)集合开发得到◆▲▽。 ? 软件产品线主要由两部分组成▪☆: ◁■?核心资产库 ?产品集合 国防科技大学计算机学院 34 软件产品线过程模型 产品线开发 核心资 产开发 产品开发 管理 领域工程 国防科技大学计算机学院 35 应用工程 新产品形成步骤 ★? 从公共资产库中选取合适的构件○◇; •? 使用预定义的变化机制进行裁剪=□,如参数 化☆、继承等▽; ▽? 必要时增加新的构件; ◁▷◁? 在整个产品线范围内共同的体系结构指导 下□,进行构件组装△▽,形成系统▷•■。 国防科技大学计算机学院 36 6)其它软件体系结构设计方法 ▲••? 基于目标图推理的体系结构设计方法 ◁◇? 基于属性的体系结构设计方法 ★=? 一些常用的软件开发方法学中也包含了软 件体系结构的设计◇▽,例如: ?面向数据流的软件开发方法 ▼•?面向对象的软件开发方法 ▪-▷?面向方面的软件开发方法 国防科技大学计算机学院 37 (2)软件体系结构设计步骤 1。 2=◆。 3◆◇。 4。 5▷。 6▲•▼。 7•○▷。 8•■▷。 开发软件顶层架构 搜索并选取可用设计资产 设计技术支撑方案 确定设计元素 开发软件部署模型 设计并发机制 构建软件体系结构模型 评审软件体系结构模型 38 国防科技大学计算机学院 内容 3。1 软件设计的基本概念 3▼-…。2 软件设计过程 3•▼。3 软件设计的质量 3。4 软件体系结构设计 3◁。5 高可信软件设计 3▼△。6 软件设计规格说明 3▲■。7 软件设计评审 国防科技大学计算机学院 39 (1)可信软件的特点 ? 计算机系统的缺陷很大一部分是由于软件 的问题引发的□■…。纵观软件应用的发展历史, 国际上由于软件可信性问题所导致的重大 灾难★☆、事故和严重损失屡见不鲜-…▼, ▷▼? 所谓□=“可信软件▷”■•=,是指软件系统的运行 行为及其结果总是符合人们的预期◆★,且在 受到干扰(包括操作错误◁-•、环境影响☆■•、外 部攻击等)时仍能提供连续的服务◆。 国防科技大学计算机学院 40 可信属性 -☆? 可靠性(Reliability)○-:在规定的环境下和规定 的时间内-○,软件无失效运行的概率; □◇■? 可靠安全性(Safety):软件运行不引起危险■○、 灾难的能力▽▲△; ●•-? 保密安全性(Security)…▽☆:软件系统对数据和信 息提供保密性、完整性◆★▪、可用性▽▪、真实性保障的 能力★▽; ◁▲? 可生存性(Survivability)▷△:软件在受到攻击或 失效出现时连续提供服务并在规定时间内恢复所 有服务的能力◆; ? 实时性(Real Time)-◆●:软件在指定的时间内完 成反应或提交输出的能力□。 国防科技大学计算机学院 41 成本-可信曲线 成 本 低 国防科技大学计算机学院 中 高 42 很高 极高 可信性 (2)容错设计 =△△? 为了保证高可信系统即使在极端条件下也 能按其规格说明执行▽,对硬件和软件同时 采用容错计算非常重要△▼。 =? 为了保护软件免受软件故障的影响,软件 逻辑和数据也必须被备份◆◁。 ? 软件容错设计是使得软件能发现失效危险 并从临失效状态恢复的软件设计技术,有 两种主要的软件容错设计方法○▼: ●…?恢复块(Recovery Blocks) ▽?N-版本(N-version)编程 国防科技大学计算机学院 43 1)恢复块技术 版本1 接收 测试 接收 版本2 接收 测试 接收 输 出 版本n 接收 测试 接收 报错 国防科技大学计算机学院 44 2)N- 版本编程 版本1 多数 版本2 表 决 器 报警 少数 版本n 国防科技大学计算机学院 45 输出 设计多样性 ▪△? 当不同的开发者采用不同方法实现相同的 需求时,一个合理的假设是不同版本的软 件不大可能包含相同的缺陷◁,因此…•,也就 不会产生相同的失效。 ◇? 设计多样性可以通过以下多种方式达到: •●▽?使用不同的设计方法来实现需求□。 -?使用不同的程序设计语言来完成实现•◇△。 ◁◆?使用不同的开发工具▲▲,且在不同的开发环境中完成◆。 ?明确要求在实现某些关键过程时使用不同的算法●△。 国防科技大学计算机学院 46 (3)软件失效模式和影响分析 ○◆? 软件失效模式和影响分析(Failure Model and Effects Analysis◇△,FMEA)主要是在 软件开发阶段的早期,通过识别软件失效 模式,研究分析各种失效模式产生的原因 及其造成的后果••■,寻找消除和减少其有害 后果的方法△,以尽早发现潜在的问题▲●•,并 采取相应的措施▷•-,从而提高软件的可靠性 和安全性=▷☆。 国防科技大学计算机学院 47 相关概念 ◁▷? 软件失效(software failure)▷…。软件失效 就是泛指程序在运行中丧失了全部或部分 功能、出现偏离预期的正常状态的事件…=•。 ★? 软件失效模式(software failure mode)。 软件失效模式是指软件失效的不同类型▪◆•, 通常用于描述软件失效发生的方式以及对 设备运行可能产生的影响。 ◆•○? 软件失效的影响(software failure effect)☆○•。软件失效的影响是指软件失效模 式对软件系统的运行、功能或状态等造成 的后果▽▼▪。 国防科技大学计算机学院 48 软件系统级FMEA过程 深入了解目标软件系统的 需求和运行环境 定义软件体系结构的层次 和关系 失效原因分析 分析模块/系统失效模式 失效影响分析 提出软件设计的预防/改进 措施 国防科技大学计算机学院 49 (4)软件故障树分析 ? 软件故障树分析(Fault Tree Analysis◇-•, FTA)就是在软件系统设计过程中▲☆,通过对 可能造成系统故障的各种因素(包括硬件◇-○、 软件•▲、环境▪、人为因素等)进行分析…,画 出逻辑框图(即故障树)▽▪,从而确定系统 故障原因的各种可能组合,采取相应的纠 正措施•-,提高系统可靠性的一种设计分析 方法○◇。 国防科技大学计算机学院 50 故障树的构造过程 ① 广泛收集并分析有关技术资料 ② 选择顶事件 ③ 生成故障树 ④ 简化故障树 国防科技大学计算机学院 51 (5)形式化方法 ○? 形式化方法是关于在计算系统的开发中进行严格 推理的理论、技术和工具,它主要包括形式规约 技术(Formal Specification)和形式验证技术 (Formal Verification)●●▼。 ? 形式规约技术使用具有严格数学定义语法和语义 的语言刻画软件系统及其性质▽◇•,可以尽早发现需 求和设计中的错误•□、歧义•、不一致和不完全◆。 ▼△? 形式化验证是在形式化规约的基础上建立软件系 统及其性质的关系■▽▲,即分析系统是否具有所期望 性质的过程★•,主要分为两类○:模型检验(Model Checking)和定理证明(Theorem Proving)▽。 国防科技大学计算机学院 52 形式化方法 …○▷? 模型检验技术是通过搜索待验证软件系统 模型的有穷状态空间来检验系统的行为是 否具备预期性质的一种有穷状态系统自动 验证技术◁★。 ★☆▪? 定理证明技术是将软件系统和性质都用逻 辑方法来规约★○-,基于公理和推理规则组成 的形式系统◇•,以如同数学中定理证明的方 法来证明软件系统是否具备所期望的关键 性质○。 国防科技大学计算机学院 53 (6)净室方法 ■? 净室软件工程(Clean-room Software Engineering)将形式化方法的规范△、设计 和验证与可靠性认证的统计测试有效地结 合起来▲◇。 ○★? 它将软件开发视作严格的工程化开发•=,软 件的正确性是通过数学上可靠的设计方法 来保障。 国防科技大学计算机学院 54 净室软件工程的要点 ? 在统计质量控制下的增量式开发■•◁。 …★★? 基于数学原理的软件开发◇◁☆。 ○? 基于统计原理的软件测试▲。 国防科技大学计算机学院 55 (7)嵌入式和实时软件设计 ★? 按照IEEE的定义▼○,嵌入式系统是作为某个更大规 模系统组成部分之一的计算机系统,按照其所属 系统的某些要求来进行执行■。 ? 一般说来●□,嵌入式系统是计算机软件与硬件的综 合体,通常具有专用的功能,并作为某个设备或 机器的组成部分★,用来控制…▪、监测…•、辅助其运作▼▲。 ? 嵌入式系统已经普遍应用在与人类生活密切相关 的各种电子产品-▽、电器中,并在航空●◇•、汽车等领 域的控制系统中起到关键作用▪▲。 国防科技大学计算机学院 56 嵌入式软件的特征 ? 嵌入式软件一般用于单一任务△☆▼。 ◇★? 嵌入式软件有多种类型的处理器体系结构 支持▲○◁。 =▪◆? 嵌入式软件的资源约束更加严格○。 ●▽▪? 嵌入式软件需要更高的可靠性和安全性□▪◆。 ? 嵌入式软件对反应性和实时性要求很高。 □◇★? 嵌入式软件通常固化存储-。 国防科技大学计算机学院 57 嵌入式系统的设计过程 阶 段 一 ▲☆▪: 产 品 定 义 阶 段 二 ▪: 软 硬 件 划 分 阶 段 三 ■●★: 软 件 设 计 与 硬 件 设 计 软件设计过程 阶 段 四 : 软 硬 件 集 成 阶 段 五 : 产 品 测 试 与 发 布 阶 段 六 ▽●-: 维 护 与 升 级 硬件设计过程 国防科技大学计算机学院 58 嵌入式系统中的一般软件结构 用户应用软件高层 用户应用软件低层 GUI 协议 设备驱动 文件系统 操作系统 板级支持包 国防科技大学计算机学院 59 无操作系统的嵌入式软件设计 ▷? 前后台系统 ▽★△? 中断(事件)驱动系统 ☆○? 巡回服务系统 ? 基于定时器的巡回服务系统 国防科技大学计算机学院 60 有操作系统的嵌入式软件设计 ? 分时系统 ◆•? 实时系统 ●■▪?非抢占式系统 ?抢占式系统 国防科技大学计算机学院 61 内容 3◁☆。1 软件设计的基本概念 3▽■。2 软件设计过程 3。3 软件设计的质量 3★。4 软件体系结构设计 3▪•。5 高可信软件设计 3□★■。6 软件设计规格说明 3▼•。7 软件设计评审 国防科技大学计算机学院 62 软件设计规格说明 ? 软件设计过程中的各个活动的结果最终应 该文档化,形成正式的软件设计规格说明•, 作为软件设计的输出○◆。形成的软件设计规 格说明将被评审▲,并作为后续软件实现活 动的依据•○▲。 ○? 软件设计规格说明并没有统一的格式,例 如IEEE标准△、ISO标准以及我国的国家标 准、各行业标准所建议的格式都不尽相同◁■。 ☆☆•? 使用不同的软件设计方法学所得到的设计 模型也会有很大区别…▪,导致设计规格说明 的结构也会明显不同 =●。 国防科技大学计算机学院 63 内容 3□▼▪。1 软件设计的基本概念 3●▷。2 软件设计过程 3☆。3 软件设计的质量 3…。4 软件体系结构设计 3▽■。5 高可信软件设计 3◇■。6 软件设计规格说明 3。7 软件设计评审 国防科技大学计算机学院 64 设计评审 ▲? 设计评审的目标是■•,确保设计规格说明书 能够实现所有的软件需求-◁,及早发现设计 中的缺陷和错误,并确保设计模型已经精 化到合格的软件实现工程师能够构造出符 合软件设计者期望的目标软件系统。 ? 评审分正式与非正式两种方式☆。 国防科技大学计算机学院 65 设计评审关注的内容 ◇? 设计模型是否能够充分地▲•、无遗漏地支持 所有软件需求的实现; ? 设计模型是否已经精化至合理的程度◇▲,可 以确保合格的软件实现工程师能够构造出 符合软件设计者期望的目标软件系统•△; …? 设计模型的质量属性•◇▽,即●▲■,设计模型是否 已经经过充分的优化●★△,以确保依照设计模 型构造出来的目标软件产品能够表现出良 好的软件质量属性。 国防科技大学计算机学院 66 设计评审的原则 ★△▪? 对产品进行评审,而不是开发人员□☆。 ○◆▪? 要有针对性☆△▽,不要漫无目的。 ▼◆=? 进行有限的争辩。 ◁? 阐明问题所在•○,但不要试图去解决问题。 △◁? 要求事先准备•,如果评审人没有准备好•◇▪,则取消 会议并重新安排时间-◆○。 ▲▷? 为被评审的产品开发一个检查表□◇。 ? 确定软件元素是否遵循其规格说明或标准★▪○,记录 任何不一致的地方▽★◁。 ? 列出发现的问题、给出的建议和解决该问题的负 责人◆。 △△? 坚持记录并进行文档化▷▪◇。 国防科技大学计算机学院 67 国防科技大学计算机学院 68

  青岛依品浪漫服饰有限公司是大码女士T恤★△■、女士卫衣◇、女士打底衫、大码打底裤等产品专业生产加工的公司■▼•,拥有完整、科学的质量管理体系=△•。青岛依品浪漫服饰有限公司的诚信、实力和产品◇。。。

栏目列表
推荐内容