基于模型检测的软件测试技术

Model-Checking Based Software Testing

提出了软件模型检测技术与软件测试技术的集成框架,在合适的软件检测模型基础上,通过模拟仿真,产生软件的测试用例,提高了软件的测试效率与降低了软件的测试成本。并对飞行控制软件作实例研究,取得很好效果,提高飞行控制软件的可靠性。

This paper puts forward the integrated frame for model-checking method and software testing method.On the basis of software checking model,we conveniently generate the test cases through model simulation.This method improves the software testing efficiency and decreases the software testing cost.We take flight control software as case study,verificate and validate the reliability of the flight control software.