太原科技大学学报
太原科技大學學報
태원과기대학학보
JOURNAL OF TAIYUAN UNIVERSITY OF SCIENCE AND TECHNOLOGY
2012年
2期
93-98
,共6页
核电站%安全级应用软件%组合测试%单元测试%V&V
覈電站%安全級應用軟件%組閤測試%單元測試%V&V
핵전참%안전급응용연건%조합측시%단원측시%V&V
nuclear station%safety-critical application software%combinatorial testing%component test%V&V
核电安全级应用软件的特点包括:复杂的数字逻辑结构,输入变量多等。组合测试旨在使用较少的测试用例,有效地检查出由各因素之间的作用而产生的缺陷。针对核电安全级应用软件输入变量多的特点,结合传统组合测试算法,提出一种基于分级组合测试思想的单元测试用例设计方法。实践表明该方法能够大幅度减少测试用例数量,有效提升测试效率,更快速地发现潜在软件缺陷,是一种值得继续深入研究的可行方法。
覈電安全級應用軟件的特點包括:複雜的數字邏輯結構,輸入變量多等。組閤測試旨在使用較少的測試用例,有效地檢查齣由各因素之間的作用而產生的缺陷。針對覈電安全級應用軟件輸入變量多的特點,結閤傳統組閤測試算法,提齣一種基于分級組閤測試思想的單元測試用例設計方法。實踐錶明該方法能夠大幅度減少測試用例數量,有效提升測試效率,更快速地髮現潛在軟件缺陷,是一種值得繼續深入研究的可行方法。
핵전안전급응용연건적특점포괄:복잡적수자라집결구,수입변량다등。조합측시지재사용교소적측시용례,유효지검사출유각인소지간적작용이산생적결함。침대핵전안전급응용연건수입변량다적특점,결합전통조합측시산법,제출일충기우분급조합측시사상적단원측시용례설계방법。실천표명해방법능구대폭도감소측시용례수량,유효제승측시효솔,경쾌속지발현잠재연건결함,시일충치득계속심입연구적가행방법。
The special characteristics of nuclear safety-critical application software include complex digital logic diagrams, and a great number of inputs, etc. Combinatorial testing aims to detect faults caused by interactions among factors with a small number of test cases. Referring to features of nuclear safety-critical application software, and based on traditional combinatorial testing, this paper proposed a multi-level combinatorial test method. This way was proved to reduce the number of test cases effectively, increase the efficiency of software testing, and improve the ability of detecting potential errors. It is worthy of a further research.