Model checking intelligent avionics systems for test cases generation using multi-agent systems
作者：
Highlights：
• We propose a formal approach to model, verify and test avionics systems.
• We use intelligent agents to model the components of the landing gear system.
• We introduce extended interpreted systems to reason about interactions and actions.
• We introduce a testing methodology that follows a test-driven development approach.
• We use MCMAS+ to generate traces for test suites achieving new coverage criteria.
摘要
•We propose a formal approach to model, verify and test avionics systems.•We use intelligent agents to model the components of the landing gear system.•We introduce extended interpreted systems to reason about interactions and actions.•We introduce a testing methodology that follows a test-driven development approach.•We use MCMAS+ to generate traces for test suites achieving new coverage criteria.
论文关键词：Model checking,Test cases generation,Avionics,Multi-agent systems,Interpreted systems,Commitments,MCMAS+
论文评审过程：Received 9 October 2019, Revised 13 April 2020, Accepted 13 April 2020, Available online 18 April 2020, Version of Record 11 May 2020.
论文官网地址：https://doi.org/10.1016/j.eswa.2020.113458
