Ingegneria del software 2

Nash ha scritto:

...

La formula è la seguente:

F= ( P1, D1(P1, D2(P1, D1(D1, P1))) )

....
Qualcuno conferma o smentisce?!

A me è venuto:

F=(P1;D1(0,D2(P1;P1;D1(0,(D1;P1)))))

secondo me hai "lasciato per strada" un pò di P1...che ne dici?

No, semplicemente ho concatenato le concatenazioni...non credo che cambino le proprietà del grafo. Confermi?

Raga ma quali sono gli attributi di qualità che si verificano con il testing statico?

Lecci ha scritto:

Raga ma quali sono gli attributi di qualità che si verificano con il testing statico?

Per quanto riguarda ST misura l'affidabilità mentre DVT l'efficienza e usabilità (tutti INDICi di qualità) ...Di più nn saprei dire....
Avete qualche dritta in proposito?

Nash ha scritto:

No, semplicemente ho concatenato le concatenazioni...non credo che cambino le proprietà del grafo. Confermi?

Credo che le proprietà non cambino, ma forse bisogna considerarli ugualmente per rappresentare il grafo in modo univoco, dal momento che dalla tua formula non si può di nuovo risalire al grafo iniziale...o sbaglio?

Secondo me si risale cmq...alla fine non penso che vuoi (nè puoi!) risalire agli statements esatti, ma alla struttura del flusso dell'esecuzione.
Se hai due assegnamenti consecutivi e li consideri in un nodo solo... la struttura è quella.

Tutto questo rigorosamente IMHO...tu che ne dici?