摘要
软件测试在软件生存期中占有非常突出的重要地位,也是保证软件质量的重要手段;首先介绍软件测试中白盒测试的方法; 然后以某型无人机飞行控制系统软件测试为例,具体研究了无人机飞行控制系统软件白盒测试的测试用例的设计方法,总结了白盒测试的测试用例的设计步骤,比较了几种覆盖准则,指出了修正条件／判定覆盖的优点,提出并讨论了无人机飞行控制系统软件白盒测试的覆盖准则。
The software testing holds the extremely prominent important status in the software life cycle, also is an important method to guarantee the software quality. The white--box--testing method in the software testing is introduced; then it takes some unmanned aircraft vehicle （UAV） flight control system （FCS） software testing as the case and studies the white--box--testing test cases design method of UAV FCS in detail, The design procedure of the white--box--testing test cases is summarized and several kinds of cover criteria are compared. At last the merits of MC/DC coverage and the white--box--testing coverage criterion of UAV FCS software are studied.
出处
《计算机测量与控制》
CSCD
2006年第4期431-434,共4页
Computer Measurement &Control
基金
国防重点项目(W97-308P)。
关键词
无人机
软件测试
飞行控制系统
白盒测试
unmanned aircraft vehicle
software testing
flight control system
white--box--testing
