Ejemplos de getCoverage en Python

Ejemplo n.º 1

Archivo: c_modelcheck.py Proyecto: AngieYi/tstl_easierToLearn

def dfs (test):
    print len(test), len(covertool.getCoverage())
    elapsed = time.time()-start
    if (elapsed > config.timeout):
        print "EXITING DUE TO TIMEOUT"
        sys.exit(2)
    if len(test) == config.depth:
        return
    old = t.state()
    visited.append(old)
    allt = t.enabled()
    if config.random:
        random.shuffle(allt)
    for tran in t.enabled():
        newtest = list(test)
        newtest.append(tran[0])
        try:
            tran[2]()
        except:
            pass
        if not t.check():
            print "EXITING DUE TO FAILED TEST"
            sys.exit(1)
        if t.state() not in visited:
            dfs (newtest)
        t.backtrack(old)

Ejemplo n.º 2

def dfs(test):
    print len(test), len(covertool.getCoverage())
    elapsed = time.time() - start
    if (elapsed > config.timeout):
        print "EXITING DUE TO TIMEOUT"
        sys.exit(2)
    if len(test) == config.depth:
        return
    old = t.state()
    visited.append(old)
    allt = t.enabled()
    if config.random:
        random.shuffle(allt)
    for tran in t.enabled():
        newtest = list(test)
        newtest.append(tran[0])
        try:
            tran[2]()
        except:
            pass
        if not t.check():
            print "EXITING DUE TO FAILED TEST"
            sys.exit(1)
        if t.state() not in visited:
            dfs(newtest)
        t.backtrack(old)

Ejemplo n.º 3

Archivo: c_randomtestk.py Proyecto: AngieYi/tstl_easierToLearn

ntests = 0
while (config.maxtests == -1) or (ntests < config.maxtests):
    ntests += 1

    t.restart()
    test = []

    print ntests, len(covertool.getTotalCoverage())

    for s in xrange(0,config.depth):
        possible = t.enabled()
        random.shuffle(possible)
        old = t.state()
        last = min(config.k, len(possible))
        pos = 0
        cov = covertool.getCoverage()
        for (name, guard, act) in possible[:config.k]:
            elapsed = time.time()-start
            if elapsed > config.timeout:
                print "EXITING DUE TO TIMEOUT"
                print ntests, "EXECUTED"
                sys.exit(2)
            pos += 1
            test.append(name)
            try:
                act()
            except:
                pass
            if not t.check():
                print "FAILING TEST:", test
                sys.exit(1)

Ejemplo n.º 4

Archivo: c_randomtest.py Proyecto: AngieYi/tstl_easierToLearn

start = time.time()
elapsed = time.time()-start

t = SUT.t()

covertool.clearCoverage()

ntests = 0
while (config.maxtests == -1) or (ntests < config.maxtests):
    ntests += 1

    t.restart()
    test = []

    print ntests, len(covertool.getCoverage())

    for s in xrange(0,config.depth):
        a = random.choice(t.enabled())
        test.append(a[0])
        
        cov = covertool.getCoverage()
        
        try:
            a[2]()
        except:
            pass
        
        covNew = covertool.getCoverage()
        if len(covNew) > len(cov):
            elapsed = time.time()-start

Ejemplo n.º 5

start = time.time()
elapsed = time.time() - start

t = SUT.t()

covertool.clearCoverage()

ntests = 0
while (config.maxtests == -1) or (ntests < config.maxtests):
    ntests += 1

    t.restart()
    test = []

    print ntests, len(covertool.getCoverage())

    for s in xrange(0, config.depth):
        a = random.choice(t.enabled())
        test.append(a[0])

        cov = covertool.getCoverage()

        try:
            a[2]()
        except:
            pass

        covNew = covertool.getCoverage()
        if len(covNew) > len(cov):
            elapsed = time.time() - start

Ejemplo n.º 6

Archivo: c_randomtestk.py Proyecto: mpeiffer/tstl

ntests = 0
while (config.maxtests == -1) or (ntests < config.maxtests):
    ntests += 1

    t.restart()
    test = []

    print ntests, len(covertool.getTotalCoverage())

    for s in xrange(0, config.depth):
        possible = t.enabled()
        random.shuffle(possible)
        old = t.state()
        last = min(config.k, len(possible))
        pos = 0
        cov = covertool.getCoverage()
        for (name, guard, act) in possible[:config.k]:
            elapsed = time.time() - start
            if elapsed > config.timeout:
                print "EXITING DUE TO TIMEOUT"
                print ntests, "EXECUTED"
                sys.exit(2)
            pos += 1
            test.append(name)
            try:
                act()
            except:
                pass
            if not t.check():
                print "FAILING TEST:", test
                sys.exit(1)