检索结果-南通市图书馆

电脑知识与技术（过刊） 2017年第6X期23卷 203-204页

作者：卢栩茵民航中南空管局技术保障中心广东广州510400

随着民航业的发展,信息化系统建设不断推陈出新,如何能够开发出符合行业标准,切实满足用户需求的系统变得尤为重要。事实证明,项目研发初期的需求管理是项目成功与否的关键。基于此,该文详细论述如何在民航项目中进行需求管理。

关键词：系统研发需求管理需求验证

在线全文

学校读者我要写书评

暂无评论

基于规则的用例规约验证方法

计算机科学 2017年第4期44卷 118-123页

作者：张莹吴际刘超杨海燕胡宁北京航空航天大学计算机科学与技术系北京100191 中航工业西安航空计算技术研究所西安710065

用例模型描述了参与者对系统功能的需求,在整个系统的开发过程中有着重要作用;用例描述若存在问题,会对系统开发造成很大影响。提出了一种用例规约的规则验证方法,通过分析用例规约中的错误类别,在特定的用例规约描述方法上设计了帮助... 详细信息

用例模型描述了参与者对系统功能的需求,在整个系统的开发过程中有着重要作用;用例描述若存在问题,会对系统开发造成很大影响。提出了一种用例规约的规则验证方法,通过分析用例规约中的错误类别,在特定的用例规约描述方法上设计了帮助发现规约中不完整性、不一致性错误的验证规则,并通过规则的形式化来支持需求的自动化验证。

关键词：需求验证验证规则需求错误限制的用例规约建模方法

基于《悉尼协议》范式的高职院校专业建设与课程设计

在线全文

学校读者我要写书评

暂无评论

成人教育 2019年第7期39卷 76-79页

作者：柯政彦童丰生九江职业技术学院高等职业教育研究所

《悉尼协议》以成果为导向而关注学生毕业达成度,倡导持续改进,实现服务“以学生为中心”的教育内涵与理念。专业建设要素与各地区工程教育专业认证协会认证范式不谋而合。把握培养目标设计的原则与关键点,进行三项课程设计的需求验证... 详细信息

《悉尼协议》以成果为导向而关注学生毕业达成度,倡导持续改进,实现服务“以学生为中心”的教育内涵与理念。专业建设要素与各地区工程教育专业认证协会认证范式不谋而合。把握培养目标设计的原则与关键点,进行三项课程设计的需求验证能较好地保障专业建设成效。在职业院校高水平专业建设的背景下,以“实质等效”和“持续改进”为理念指导,不以获得专业认证为终点才是促进中国特色高水平高职学校和专业建设的可行举措。

关键词：悉尼协议专业建设需求验证课程设计

在线全文

学校读者我要写书评

暂无评论

利用对象Petri网验证场景

火力与指挥控制 2009年第7期34卷 72-75页

作者：邓小妮姜志平陈洪辉罗雪山国防科技大学信息系统与管理学院湖南长沙410073

序列图表示的场景常被用于系统开发早期的需求获取与描述,但因其弱语义性而难以被验证。将序列图表示的场景转换为语义精细的对象Petri网模型OPDL,并通过其仿真环境OPMSE对其进行仿真,将场景描述的系统行为"展示"给需求开发者和用户,以... 详细信息

序列图表示的场景常被用于系统开发早期的需求获取与描述,但因其弱语义性而难以被验证。将序列图表示的场景转换为语义精细的对象Petri网模型OPDL,并通过其仿真环境OPMSE对其进行仿真,将场景描述的系统行为"展示"给需求开发者和用户,以此进行行为需求的验证。

关键词：场景序列图对象petri网需求验证

在线全文

学校读者我要写书评

暂无评论

基于扩展UML的测试用例自动生成

基于扩展UML的测试用例自动生成

作者：赵志丹河北工业大学

学位级别：硕士

随着计算机应用的日益普及和深化,计算机软件的数量急剧膨胀,软件规模十分庞大。然而,软件的在开发和维护过程中的一些模糊或错误做法和概念,致使很多项目不幸夭折,其中很多是由于需求不明确或需求有误造成的。需求分析是一种软件工程活... 详细信息

随着计算机应用的日益普及和深化,计算机软件的数量急剧膨胀,软件规模十分庞大。然而,软件的在开发和维护过程中的一些模糊或错误做法和概念,致使很多项目不幸夭折,其中很多是由于需求不明确或需求有误造成的。需求分析是一种软件工程活动,在软件开发过程中起着极其重要的作用,必须采用有效的手段和需求分析方法来进行需求调研及需求验证。作为广泛应用的标准系统建模语言,UML支持软件建模全过程,并且可以描述所有RUP模型。但是,在需求建模中,它没有提供系统各功能执行序列及与外部系统交互的描述。同时也没有对需求验证提供足够的信息。针对面向对象和需求验证技术现存的问题,本文利用Fusion生命周期模型扩展用例图,提出用例的动态模型,使其可以描述用例间所有可能的关系;利用操作模型扩展活动图,使其可以表示数据存储、外界及与系统的交互以及所涉及的数据。同时对扩展后的用例图和活动图进行形式化表示,利用机器识别自动生成测试序列。并通过一定的算法对测试序列进行测试用例模型概念上的验证。从而可以有效验证需求并为系统测试作出准备。

关键词： UML Fusion 用例图活动图扩展需求验证测试用例

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

安全级软件验证与确认中测试技术研究

安全级软件验证与确认中测试技术研究

作者：高超上海交通大学

学位级别：硕士

积极发展核电是国家的能源战略,而核电数字化仪控系统,尤其是数字化保护系统(安全级控制系统)是电站安全、可靠、经济运行的关键装备。由于国外核电数字化安全控制技术的保密与封锁,核电数字化保护系统的自主化研发对于提高企业科技创... 详细信息

积极发展核电是国家的能源战略,而核电数字化仪控系统,尤其是数字化保护系统(安全级控制系统)是电站安全、可靠、经济运行的关键装备。由于国外核电数字化安全控制技术的保密与封锁,核电数字化保护系统的自主化研发对于提高企业科技创新能力,改变国外对国家战备产业的垄断状况具有重要的意义。本论文研究核电数字化保护系统原理样机软件验证与确认的测试技术。主要研究安全仪控功能软件和硬件描述语言软件的验证测试技术,具体工作如下: 1.阅读了安全级软件的验证与确认的有关标准和导则,分析了安全级软件V&V的过程;2.分析了安全仪控功能软件的需求验证方法,利用需求管理工具创建了典型模块的需求数据库以管理其需求信息,并利用传统的需求评审法研究了典型模块的需求验证;3.根据安全仪控功能软件的特点,研究了典型安全仪控功能软件函数模块的白箱测试方法,以及典型安全仪控功能软件的黑箱测试方法;4.研究了数字化保护系统典型硬件模件的硬件描述语言软件的模型验证方法;5.最后,对反应堆保护系统原理样机的仪控功能进行了确认测试,验证了保护系统能够正确实现典型的仪控功能。

关键词：安全级软件验证与确认需求验证软件测试硬件验证系统确认

模型驱动的Verilog HDL建模与生成工具设计

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

模型驱动的Verilog HDL建模与生成工具设计

作者：曹雪大连理工大学

学位级别：硕士

FPGA因具备丰富的可编程资源而广泛使用于集成电路设计和异构计算领域,随着芯片设计技术的发展,其设计规模和复杂程度逐渐增加,同时也增大了验证工作的难度。需求验证和设计验证对基于FPGA的数字系统而言具有至关重要的作用,尽早对电路... 详细信息

FPGA因具备丰富的可编程资源而广泛使用于集成电路设计和异构计算领域,随着芯片设计技术的发展,其设计规模和复杂程度逐渐增加,同时也增大了验证工作的难度。需求验证和设计验证对基于FPGA的数字系统而言具有至关重要的作用,尽早对电路设计进行全面验证可以发现更多设计存在的问题和缺陷,达到缩短开发周期和提高验证效率的目的。现有的验证方法更多关注于设计验证,而忽视了对于需求的一致性验证。本文根据需求验证和设计验证工作的特点,设计并实现了模型驱动的Verilog HDL建模与生成工具。本文首先对FPGA验证的研究现状进行分析,并对一部分现有的验证工具进行简单的对比介绍。然后针对Verilog HDL建模与生成工具的实际需求进行了详细的分析,并在此基础上对工具进行设计并实现。工具包括基于Verilog HDL代码逻辑表格化显示、语法审查和代码生成、基于表格的模型建立与验证三大核心功能。在实现工具的过程中,使用代码匹配技术对源代码和目标代码进行匹配,并对其中使用的余弦相似度计算方法进行改进。为了保证工具开发的可靠性,使用软件测试的知识对工具进行详细的测试,并设计三组不同类型的样本数据对本文开发工具的验证能力进行检验。本文设计的Verilog HDL建模与生成工具致力于在FPGA开发的需求分析阶段加入验证工作,在设计初期发现需求中存在的问题和设计性缺陷,从而达到缩短验证周期的目的。通过实验数据,验证了本文所设计的工具具备在开发阶段早期发现潜在问题的能力。同时,使用状态迁移表格显示Verilog HDL代码逻辑和状态的迁移,为基于FPGA需求验证和设计验证的研究提供了新思路。

关键词： FPGA 需求验证设计验证 Verilog HDL 状态迁移表格

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

民用飞机全生命周期KPI的研究与应用

民用飞机设计与研究 2019年第2期 1-5页

作者：李浩敏上海飞机设计研究院

介绍了在一般项目管理中的KPI(关键性能指标)定义,并结合民用飞机全生命周期内的研制特点,阐述了KPI在民机全生命周期中的作用与意义,重点介绍了需求定义阶段、需求确认阶段以及需求验证阶段这三个关键活动中相关KPI的定义与应用。实践... 详细信息

介绍了在一般项目管理中的KPI(关键性能指标)定义,并结合民用飞机全生命周期内的研制特点,阐述了KPI在民机全生命周期中的作用与意义,重点介绍了需求定义阶段、需求确认阶段以及需求验证阶段这三个关键活动中相关KPI的定义与应用。实践证明,在民机研制全生命周期中采用KPI指标对在项目中有效实施精细化的需求管理具有促进意义。

关键词：民用飞机全生命周期关键性能指标需求定义需求确认需求验证

民用飞机适航验证中的飞机安全性评估技术研究

在线全文

学校读者我要写书评

暂无评论

航空标准化与质量 2015年第6期 32-36页

作者：冯臻上海飞机设计研究院上海201210

通过研究相关工业标准并总结民机型号研制经验,阐述了在飞机验证阶段开展飞机安全性评估的过程与方法。随后给出某民机型号的工程实例,展现了飞机安全性评估的实际应用和具体内容,为民机安全性评估与适航合格审定工作提供有力的技术支持。

关键词：安全性评估民用飞机需求验证研制保证过程

融合企业供应商评价的SDN资源价格协商算法

在线全文

学校读者我要写书评

暂无评论

信阳农林学院学报 2018年第2期28卷 110-113页

作者：姜磊磊马宁安徽广播电视大学经济与管理学院安徽合肥230022 安徽广播电视大学城市建设学院安徽合肥230022

为实现自主调节,SDN资源价格需要被赋予运行时监测自身变化以及推理得到自组织协商的能力。本文提出了一种融合企业供应商评价的SDN资源价格协商算法。该方法在识别可调节目标以实现企业供应商评价的同时,将系统的SDN资源映射为相应的... 详细信息

为实现自主调节,SDN资源价格需要被赋予运行时监测自身变化以及推理得到自组织协商的能力。本文提出了一种融合企业供应商评价的SDN资源价格协商算法。该方法在识别可调节目标以实现企业供应商评价的同时,将系统的SDN资源映射为相应的价格协商算法,用标签转移系统表示,最终通过相关需求的在线验证,使系统找到关于某类上下文的最优协商配置。本文通过一个移动SDN资源价格的案例展示了该方法的可行性和有效性。

关键词： SDN资源企业供应商评价需求验证价格协商