现代电子技术
現代電子技術
현대전자기술
MODERN ELECTRONICS TECHNIQUE
2015年
12期
118-122
,共5页
严悍%许昌年%朱文%丁锋%王宇
嚴悍%許昌年%硃文%丁鋒%王宇
엄한%허창년%주문%정봉%왕우
场景测试法%蕴含关系%路径优化%场景蕴含图%状态蕴含
場景測試法%蘊含關繫%路徑優化%場景蘊含圖%狀態蘊含
장경측시법%온함관계%로경우화%장경온함도%상태온함
scenario testing method%implication relationship%path optimization%scenario implication graph%state implica-tion
针对场景测试法中多场景切换代价优化问题,在复合状态分析、逻辑蕴含概念基础上,从测试场景结构分解的角度,给出状态蕴含和场景蕴含关系的定义及推论,由场景蕴含形成场景蕴含图SIG,然后采用图论方法求解优化路径。给出系统化处理方法,并与其他方法比较。最后实例验证该方法的有效性。
針對場景測試法中多場景切換代價優化問題,在複閤狀態分析、邏輯蘊含概唸基礎上,從測試場景結構分解的角度,給齣狀態蘊含和場景蘊含關繫的定義及推論,由場景蘊含形成場景蘊含圖SIG,然後採用圖論方法求解優化路徑。給齣繫統化處理方法,併與其他方法比較。最後實例驗證該方法的有效性。
침대장경측시법중다장경절환대개우화문제,재복합상태분석、라집온함개념기출상,종측시장경결구분해적각도,급출상태온함화장경온함관계적정의급추론,유장경온함형성장경온함도SIG,연후채용도론방법구해우화로경。급출계통화처리방법,병여기타방법비교。최후실례험증해방법적유효성。
For the multi?scenario switching cost optimization in scenario testing,aiming at the structural decomposition of test scenario,the definition and inference of the state implication and scenario implication relation are given in this paper based on the composite state analysis and logical implication concept. The SIG(scenario implication graph)is formed by the scenario implication relationship,and then the graph theory method is used to solve the optimal path. A systematized processing method based on SIG is introduced and compared with other methods. The effectiveness of this method was verified by examples.