PerformanceBugDetection/CoverageStat.py at master · SatabdiG/PerformanceBugDetection · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
#This script opens the OutPutFileUnderTest.txt file. Selects the inputs that have the input "y"
# Creates a folder for each selected input.
# Then onward to generating the coverage characteristics with gcov
# Remove the gcda file and excute code for all selected inputs.
# Move the generated files to destination folder.

#Destination folder


import  os.path
import shutil

des="./Results/appTest/CoverageStats"
cummugcdaloc="./Results/Runs"
filename="customBS.gcda"
fileApp="customBS.c"
fileName="customBS"
fileGCda=fileName+".c.gcov"
inputdat=[]

#openfile
fpopen=open("OutPutFileUnderTest.txt", "r+")

for line in fpopen.readlines():
    templin=line.split(" ")
    print(templin[3])
    if(templin[3].strip() == "Y"):
        inputdat.append(templin[0])


for i in range(0,len(inputdat)):
    #Remove the file to "Runs" the .gcda file is it exists as the results are cummalative
    if os.path.isfile(filename):
        os.remove(filename)


    #execute the filename with the inputs in inputdat
    os.system("./custom "+inputdat[i])
    os.system("gcov -b " + fileApp)

    #Create new directory based on input and move the new gcov files there
    if not os.path.exists(os.path.join(des,inputdat[i])):
        os.mkdir(os.path.join(des,inputdat[i]))

    newpath=os.path.join(des,inputdat[i])
    #Make Sure the new place is empty
    if os.path.isfile(os.path.join(newpath,fileName+".c.gcov")):
        os.remove(os.path.join(newpath,fileName+".c.gcov"))
    shutil.move(fileName+".c.gcov",newpath)


#close opened files
fpopen.close()