航空软件测试用例自动生成方法研究

作者： 曹爽   来源： 南京航空航天大学 年份： 2016 文献类型 ： 学位论文 关键词： 178B   模型检查　　测试用例自动生成　　灰盒测试　　MC/DC　　DO  

描述： 软件测试在软件的整个开发过程中占有非常重要的地位,是保证软件质量的关键步骤。航空软件具有实时性、嵌入性、高可靠性等特点,对其进行严格的软件测试至关重要。测试用例生成是软件测试的核心问题,研究适用于航空软件的测试用例自动生成方法,对提高航空软件的可靠性有着重要的理论意义和实用价值。本文以在某研究所参与的航空软件――卫星导航系统测试项目为研究背景,首先,在对国内外已有的测试用例自动生成研究成果深入分析的基础上,研究了基于模型检查的测试用例自动生成方法。结合航空软件灰盒测试过程,提出了一个基于需求、运用模型检查技术的测试用例自动生成流程,该流程涉及软件需求抽象、软件需求的形式化系统建模、基于测试准则的时序逻辑变换、软件需求形式化模型与时序逻辑的一致性验证以及测试用例的提炼和整理等内容。其次,依据航空软件测试标准DO-178B的要求,本文提出一个布尔运算符替换算法来构造时序逻辑,该时序逻辑经过模型检查后得到的用例能够满足MC/DC覆盖准则。最后,本文针对测试用例自动生成流程,设计开发了一个基于模型检查测试用例自动生成工具。根据卫星导航系统的软件测试过程,通过将该工具作为设计测试用例的辅助工具,并设计测试驱动模板,以及进行结构覆盖分析,对提出的测试用例自动生成方法实用性进行了验证。

基于开槽法的航空结构件加工变形控制技术研究

作者： 马海营   来源： 南京航空航天大学 年份： 2016 文献类型 ： 学位论文 关键词： 航空结构件　　内应力　　变形控制　　开槽法　　数值仿真  

描述： 航空结构件在加工过程中,由于毛坯内应力的释放往往导致航空结构件变形超差,甚至报废,因此研究航空结构件的加工变形控制具有重要意义。本文以实际生产中的开槽法为基础,建立了开槽法的数值模型,分析了开槽应力

航空公司航班计划质量评价方法与实证研究

作者： 鲁悦   来源： 南京航空航天大学 年份： 2016 文献类型 ： 学位论文 关键词： 航班计划　　质量评价　　经济性　　竞争性　　航班延误  

描述： 计划的经济性、航班计划的市场竞争力及航班计划延误来评价航班计划质量。首先,系统地分析了评价航班计划经济性的各指标的定义及计算方法,研究了航线效益分析的方法,运用模糊ISODATA法将航线进行分类,并对

航空公司不正常航班恢复模型及算法研究

作者： 赵秀丽   来源： 南京航空航天大学 年份： 2016 文献类型 ： 学位论文 关键词： 航空公司　　不正常航班　　计划恢复　　建模　　算法  

描述： 的目的就是采用数学方法描述和求解不正常航班计划恢复问题。本文的主要研究工作包括以下几个部分:1)取消航班问题。取消航班是不正常航班计划恢复过程中经常遇到的一个调度问题:给出多个建议的取消航班起点和终点对

基于数据挖掘的航空PHM中预测方法的研究

作者： 马雁春   来源： 南京航空航天大学 年份： 2016 文献类型 ： 学位论文 关键词： 航空PHM　　数据挖掘　　故障率　　磨损趋势　　组合预测　　支持向量机　　蚁群算法  

描述： 基于数据挖掘的航空PHM中预测方法的研究

航空发动机轮盘标准载荷谱编制方法研究

作者： 周楠   来源： 南京航空航天大学 年份： 2016 文献类型 ： 学位论文 关键词： 航空发动机　　冷端盘　　标准载荷谱　　疲劳试验　　寿命评估  

描述： 述工作的开展及最终提高轮盘的安全性和可靠性具有重要应用价值。本文主要开展了航空发动机冷端盘(如风扇和前几级压气机轮盘,主要考虑离心载荷)标准载荷谱编制方法的研究,主要工作包括:(1)对国内外标准载荷谱

基于层次SDG的航空发动机故障诊断方法研究

作者： 徐新海   来源： 南京航空航天大学 年份： 2016 文献类型 ： 学位论文 关键词： 航空发动机　　层次SDG　　故障诊断　　专家系统　　知识表达  

描述： 航空发动机排故过程十分复杂,航空公司在排故过程中,常常会遇到一些未预知的的故障,对于这些故障有时如果不对系统进行彻底理解就无法诊断求解。针对这种情况,基于符号有向图(Signed Directed Graph,SDG)的深层知识模型能够表达复杂的因果关系,具有包容大规模潜在信息的能力,能够针对航空发动机结构复杂故障原因多的特点具体的解决问题。为了充分利用SDG的这些优点,本文在前人研究SDG故障诊断的基础上,详细研究了如何对航空发动机建立整体SDG模型,并将SDG模型用于发动机的故障诊断。本文提出了基于层次的SDG建模方法,具体分析了发动机燃油调节系统的SDG建模过程,进而基于层次SDG方法建立了整台发动机的SDG模型。为了提高SDG在故障诊断过程中的诊断速度,我们采用了将SDG方法和专家系统相结合的思想,给出了由SDG产生诊断规则的方法,并具体分析了专家系统的知识表示方法、推理机的实现,并制定具体的推理策略。最后实现了SDG故障诊断专家系统原型的开发。我们将航空公司燃调系统的故障实例数据放到本专家系统中进行验证,结果显示以上述研究为基础所开发的SDG故障诊断专家系统能够较好地识别发动机的故障情况,准确定位故障源。

地方政府支线航空发展决策支持方法研究

作者： 祝伟伟   来源： 南京航空航天大学 年份： 2016 文献类型 ： 学位论文 关键词： 支线航空运输　　组合预测　　决策方法　　层次分析法  

描述： 的精度。随后提出利用投入产出法和增加值法以评价支线航空运输的经济效益,并以江苏省的支线航空运输为例进行了评价,发现支线机场的间接效益要远远超过它自身所创造的经济效益。对于支线航空运输的社会效益,本文应用

我国民营航空公司定价方法研究

作者： 王大事   来源： 南京航空航天大学 年份： 2016 文献类型 ： 学位论文 关键词： 民营航空公司　　定价方法　　层次分析法AHP　　SWOT分析法  

描述： 民营航空公司诞生于2005年,竞争于行业差异化程度较低的民航市场,价格对于民营航空公司而言至关重要,而定价方法更是确定价格的主要依据。当前我国民航业使用的成本加成定价法在市场不断开放和竞争日益加剧的情况下

航空结构冲击载荷与损伤识别技术方法研究

作者： 严刚   来源： 南京航空航天大学 年份： 2016 文献类型 ： 学位论文 关键词： 结构健康监测　　冲击载荷识别　　智能优化算法　　频率   波数域偏移　　Mindlin理论　　Lamb波　　统计偏值分析　　损伤存在概率成像  

描述： 航空结构冲击载荷与损伤识别技术方法研究