电讯技术
電訊技術
전신기술
TELECOMMUNICATIONS ENGINEERING
2010年
8期
165-169
,共5页
航空电子系统%自动测试系统%系统需求
航空電子繫統%自動測試繫統%繫統需求
항공전자계통%자동측시계통%계통수구
提出了一种基于需求的自动测试方法.该方法针对目前航空电子系统的系统设计与验证中的"V"型流程进行建模,并对其进行形式化的描述,以供计算机分析、识别.设计了一套有效、完备的自动测试系统以达到对系统需求的验证,并在此基础上提出了进一步研究的方向.通过实际软件验证了所提方法的有效性.
提齣瞭一種基于需求的自動測試方法.該方法針對目前航空電子繫統的繫統設計與驗證中的"V"型流程進行建模,併對其進行形式化的描述,以供計算機分析、識彆.設計瞭一套有效、完備的自動測試繫統以達到對繫統需求的驗證,併在此基礎上提齣瞭進一步研究的方嚮.通過實際軟件驗證瞭所提方法的有效性.
제출료일충기우수구적자동측시방법.해방법침대목전항공전자계통적계통설계여험증중적"V"형류정진행건모,병대기진행형식화적묘술,이공계산궤분석、식별.설계료일투유효、완비적자동측시계통이체도대계통수구적험증,병재차기출상제출료진일보연구적방향.통과실제연건험증료소제방법적유효성.
