基于模型的飞行控制软件测试用例的生成  

Generation of testing case for model based flight control software of unmanned aerial vehicle

作　　者：刘久富[1] 杨忠[2] 孙德敏[1] 李志宇[2] 

机构地区：[1]中国科学技术大学自动化系,合肥230026 [2]南京航空航天大学自动化学院,南京210016

出　　处：《吉林大学学报（工学版）》2006年第4期543-547,共5页Journal of Jilin University:Engineering and Technology Edition

基　　金：空军装备重点预研专项基金资助项目(402050102);国防科技重点实验室基金资助项目(51463030303ZS5204)

摘　　要：采用虚拟原型技术Statemate工具,应用功能图建立飞行控制器的“自顶向下”的功能层次模型,应用状态图详细描述飞行控制软件的功能行为。通过仿真验证了飞行控制软件系统功能的正确性。在此基础上产生数据可靠、一致性好的实际飞行控制软件的测试用例,避免了人为产生测试用例的随意性与多样性。基于软件虚拟原型技术的软件验证与测试技术特别适合测试那些没有按此方法开发出来的嵌入式软件。The Statemate, a tool that supports virtual prototype technique was employed to develop a “top to bottom” hierarchical function model of flight controller using activity-charts. It was also applied for detailed description of the behaviors of Flight Control Software （FCS） using state-charts. The validity of the system function of FCS was verified by simulation. Then test cases with reliable data and consistency were generated for the test of actual FCS. This avoids the randomness and variety attributed to individuals who test the FCS. The verification and testing techniques for virtual prototype based software is, in particular, suitable for the test of embedded software which is not developed with the same model.

关 键 词：计算机应用 软件测试 嵌入式软件 飞行控制软件 虚拟原型 状态图 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]