Denna uppsats presenterar en innovativ modell av ett programs interna beteende över en uppsättning testingångar, som kallas den probabilistiska programberoende grafen (PPDG), som underlättar probabilistisk analys och resonemang om osäkra programbeteende, särskilt som förknippas med fel. PPDG är en ökning av det strukturella beroendet som representeras av ett programberoende diagram med uppskattningar av det statistiska beroendet mellan nodstater, som beräknas från testuppsättningen. PPDG bygger på den etablerade ramen för probabilistiska grafiska modeller, som i stor utsträckning används i tillämpningar som medicinsk diagnos. I detta dokument presenteras algoritmer för att konstruera PPDG och tillämpa PPDG på feldiagnos. I detta dokument presenteras också preliminära bevis som visar att PPDG kan underlätta fellokalisering och felförståelse.
Baah och al. REF använde probabilistisk analys i kombination med strukturella programberoenden (programberoende diagram), för att hjälpa fellokalisering.
The probabilistic program dependence graph and its application to fault diagnosis
{'venue': "ISSTA '08", 'journal': None, 'mag_field_of_study': ['Computer Science']}