舰船嵌入式软件测试用例自动驱动研究

Testcase Auto-Drive Technology for Embedded Software of Warship

摘要:

针对舰船嵌入式软件手动测试的弊端,首先从业务逻辑、接口类型等方面总结了舰船嵌入式软件的特点,从测试用例的建模、形式化转换以及用例的解析3个方面提出了测试用例自动驱动方案,在此基础上,根据舰船嵌入式软件的业务逻辑,研究了测试用例建模方法,包括测试用例数据模型、行为模型和测试用例模型特性,给出了测试用例自动驱动方法,并且以上述方法为基础对测试用例自动驱动平台进行了设计,给出了平台硬件组成和软件设计方案;最后,利用测试用例驱动平台对某软件进行了测试应用验证,验证结果表明利用测试用例驱动平台可以显著提高测试效率。

Abstract:

Aiming at the disadvantages of ship embedded manual software test, the paper summarizes the characteristics of the embedded software in some respects, such as business logic and interface types. From three aspects, including modeling test case, formal transformation and test case analysis, the scheme of automatic driving test case is presented. On the basis of this, firstly the paper researches the modeling methods of test case which includes test case data model, behavior model and the characteristics of test case, according to the business logic of ship embedded software. And then the method of automatic driving test case is proposed. And then, according to the above methods, the test case automatic driving platform is designed, including the hardware composition and software design scheme. Finally, the platform is applied to test real software. The result shows that this platform can greatly improve the test efficiency.