软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2014年
3期
489-505
,共17页
吕江花%马世龙%李先军%高世伟
呂江花%馬世龍%李先軍%高世偉
려강화%마세룡%리선군%고세위
安全苛刻系统%测试%自动化测试%设备协同%高阶演算%标记转换系统%实时
安全苛刻繫統%測試%自動化測試%設備協同%高階縯算%標記轉換繫統%實時
안전가각계통%측시%자동화측시%설비협동%고계연산%표기전환계통%실시
safety critical systems (SCS)%test%automatic test%equipment collaboration%high order%LTS%real time
安全苛刻系统的可信性需求典型而迫切,其可信性评估和验证具有测试依赖性.安全苛刻系统一般是复杂系统,手工测试实际上不可行,发展自动化测试手段是必然趋势.针对安全苛刻系统测试过程自动化中存在的高阶协同、实时和时序性,以Ambient演算、CCS演算、论域理论等为基础,给出测试过程的高阶协同定义,建立一种层次化演算模型,为测试过程提供一种信息化和自动化手段.模型通过对被测产品、测试设备与测试任务的抽象与组织,给出安全苛刻系统测试过程自动化的工作模式.最后,通过扩展标记转换系统定义,给出高阶协同行为的收敛性和正确性的证明,论证了模型的可计算性,验证了安全苛刻系统测试的可自动化.模型已应用于航天器的自动化测试中,并成为航天器测试行为的日常工作规范.
安全苛刻繫統的可信性需求典型而迫切,其可信性評估和驗證具有測試依賴性.安全苛刻繫統一般是複雜繫統,手工測試實際上不可行,髮展自動化測試手段是必然趨勢.針對安全苛刻繫統測試過程自動化中存在的高階協同、實時和時序性,以Ambient縯算、CCS縯算、論域理論等為基礎,給齣測試過程的高階協同定義,建立一種層次化縯算模型,為測試過程提供一種信息化和自動化手段.模型通過對被測產品、測試設備與測試任務的抽象與組織,給齣安全苛刻繫統測試過程自動化的工作模式.最後,通過擴展標記轉換繫統定義,給齣高階協同行為的收斂性和正確性的證明,論證瞭模型的可計算性,驗證瞭安全苛刻繫統測試的可自動化.模型已應用于航天器的自動化測試中,併成為航天器測試行為的日常工作規範.
안전가각계통적가신성수구전형이박절,기가신성평고화험증구유측시의뢰성.안전가각계통일반시복잡계통,수공측시실제상불가행,발전자동화측시수단시필연추세.침대안전가각계통측시과정자동화중존재적고계협동、실시화시서성,이Ambient연산、CCS연산、론역이론등위기출,급출측시과정적고계협동정의,건립일충층차화연산모형,위측시과정제공일충신식화화자동화수단.모형통과대피측산품、측시설비여측시임무적추상여조직,급출안전가각계통측시과정자동화적공작모식.최후,통과확전표기전환계통정의,급출고계협동행위적수렴성화정학성적증명,론증료모형적가계산성,험증료안전가각계통측시적가자동화.모형이응용우항천기적자동화측시중,병성위항천기측시행위적일상공작규범.
