Welcome

UncerTest is the uncertainty-wise testing tool, which serves: 1) Abstract Test Case Generation with uncertainty-wise values, configured by two strategies: All Simple Paths, All Path with Maximum Length 2) Test Case Minimization with uncertainty-wise objectives, configured by four problems, more details for 3) Executable Test Case Generation, which includes two components a) domain codes b) abstract test cases to executable ones 4) Test Case Prioritization with uncertainty-wise objectives

Wiki features

This wiki uses the Markdown syntax. The MarkDownDemo tutorial shows how various elements are rendered. The Bitbucket documentation has more information about using a wiki.

The wiki itself is actually a git repository, which means you can clone it, edit it locally/offline, add images or any other file type, and push it back to us. It will be live immediately.

Go ahead and try:

$ git clone https://ManZH@bitbucket.org/ManZH/uncertest-v1.git/wiki

Wiki pages are normal files, with the .md extension. You can edit them locally, as well as creating new ones.

Syntax highlighting

You can also highlight snippets of text (we use the excellent Pygments library).

Here's an example of some Python code:

#!python

def wiki_rocks(text):
    formatter = lambda t: "funky"+t
    return formatter(text)

You can check out the source of this page to see how that's done, and make sure to bookmark the vast library of Pygment lexers, we accept the 'short name' or the 'mimetype' of anything in there.

Have fun!