Model-based Testing of Real-time Adaptive Motion Planning (RAMP)

被引：0
|
作者：
Abdelgawad, Mahmoud [1 ]
McLeod, Sterling [2 ]
Andrews, Anneliese [1 ]
Xiao, Jing [2 ]
机构：
[1] Univ Denver, Dept Comp Sci, Denver, CO 80208 USA
[2] Univ North Carolina Charlotte, Dept Comp Sci, Charlotte, NC 28223 USA
来源：
2016 IEEE INTERNATIONAL CONFERENCE ON SIMULATION, MODELING, AND PROGRAMMING FOR AUTONOMOUS ROBOTS (SIMPAR) | 2016年
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
It is a practically challenging problem to test the functionality of autonomous systems and assess their performance in environments with unknowns and unpredictability. Existing testing techniques are designed heavily based on testers experience and hardly take into account all scenarios. This paper applies a model-based testing technique to evaluate the functionality and performance of a Real-time Adaptive Motion Planning (RAMP) system. First, RAMP components and their interactions are tested. Next, the whole RAMP system is tested against mobile obstacles of unpredictable motion. The model-based testing technique models the behaviors of RAMP components and the mobile obstacles with a Communicating Extended Finite State Machine (CEFSM). The behavior models are then leveraged to generate Abstract Behavioral Test Cases (ABTCs). These ABTCs are subsequently transformed by test data into executable test cases. The generated executable test cases are further applied to a RAMP implementation based on the Robot Operating System (ROS) and executed with the software testing tool, Google Test. The results demonstrate an effective use- case of applying a systematic software testing technique to the evaluation of real-time robotic systems.
引用
收藏
页码：162 / 169
页数：8
相关论文
共 50 条
  • [41] Model-based development of an FPGA encoder simulator for real-time testing of elevator controllers
    Fernando Nicolas, Carlos
    Ayestaran, Iban
    Martinez, Imanol
    Franco, Patricia
    2016 IEEE 19TH INTERNATIONAL SYMPOSIUM ON REAL-TIME DISTRIBUTED COMPUTING (ISORC 2016), 2016, : 53 - 60
  • [42] Model transformations in the model-based development of real-time systems
    Szemethy, Tivadar
    Karsai, Gabor
    Balasubramanian, Daniel
    13TH ANNUAL IEEE INTERNATIONAL SYMPOSIUM AND WORKSHOP ON ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS: MASTERING THE COMPLEXITY OF COMPUTER-BASED SYSTEMS, 2006, : 177 - +
  • [43] Dynamic motion planning based on real-time obstacle prediction
    Chang, CC
    Song, KT
    1996 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, PROCEEDINGS, VOLS 1-4, 1996, : 2402 - 2407
  • [44] Tools for model-based real-time system synthesis
    Abbott, B
    Joshi, M
    INTERNATIONAL CONFERENCE AND WORKSHOP ON ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 1997, : 65 - 72
  • [45] Model-based Synthesis for Real-time Embedded Systems
    Zhu, Qi
    2014 IEEE 57TH INTERNATIONAL MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS (MWSCAS), 2014, : 366 - 369
  • [46] Model-Based Implementation of Parallel Real-Time Systems
    Triki, Ahlem
    Combaz, Jacques
    Bensalem, Saddek
    Sifakis, Joseph
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2013, 2013, 7793 : 235 - 249
  • [47] Model-based system for real-time process control
    Beijing Univ of Science and, Technology, Beijing, China
    Kang T'ieh, 9 (60-63):
  • [48] ARX models and real-time model-based diagnosis
    Peitsman, HC
    Soethout, LL
    ASHRAE TRANSACTIONS 1997, VOL 103, PT I, 1997, 103 : 657 - 671
  • [49] Model-based simulation of distributed real-time applications
    Herzner, Wolfgang
    Schlick, Rupert
    Le Guennec, Alain
    Martin, Bruno
    2007 5TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, 2007, : 989 - +
  • [50] Real-Time Model-Based Quantitative Ultrasound and Radar
    Sharon, Tom
    Eldar, Yonina C.
    IEEE TRANSACTIONS ON COMPUTATIONAL IMAGING, 2024, 10 : 1175 - 1190
12345