WHAT IS UncerTest?

UncerTest is the uncertainty-wise testing tool, which serves:

  • Abstract Test Case Generation with uncertainty-wise values, configured by two strategies: All Simple Paths, All Path with Maximum Length [1];
  • Test Case Minimization with uncertainty-wise objectives, configured by four problems [1];
  • Executable Test Case Generation, which includes two components a) domain codes b) abstract test cases to executable ones [1];
  • Test Case Prioritization with uncertainty-wise objectives [2].
  • WHAT IS UncerTest USED FOR?

    • Uncertainty-wise Model-based Testing
    • Uncertainty-wise Test Optimization

    WANT TO TRY UncerTest OUT?

    A prototype implementation of UncerTest can be found here: https://bitbucket.org/ManZH/uncertest-v1.


    UncerTest is an eclipse-plugin project. If you have downloaded the source code, you can execute following steps:
    1. Test_Case_Core: the core function for manipulating uml-related models. Please import jgrapht.
    2. Test_Case_Generation_Abstract: this project implements two test generation strategies.
    3. Test_Case_Generation_Executable: this project implements executable test case generation (junit).
    4. Test_Case_Minimization V2: this project implements four uncertainty-wise minimization problems using jMetal5.
    5. Test_Case_Prioritization_V2: this project implements twenty uncertainty-wise prioritization problems using jMetal5.
    6. TestModelEMF, TestModelEMF.edit, TestModelEMF.editor: this project implements the interface to edit/view the abstract test cases generated by Test_Case_Generation_Abstract.
    7. You can find a demo here.


    Related Publications
    [1] M. Zhang, S. Ali, and T. Yue, Uncertainty-wise Test Case Generation and Minimization for Cyber-Physical Systems: A Multi-Objective Search-based Approach, Technical report 2016-13, Simula Research Laboratory, 2016. download
    [2] S. Ali, Y. Li, T. Yue, and M. Zhang, Uncertainty-Wise and Time-Aware Test Case Prioritization with Multi-Objective Search, Technical report 2017-03, Simula Research Laboratory, 2017. download


  • Man Zhang, manzhang@simula.no
  • Shaukat Ali, shaukat@simula.no
  • Tao Yue, tao@simula.no