Imagen de Portada
Código QR

Exponential Cost of Traditional Assessment.

The article reports on software evaluation. It presents an example of software assessment using probability. It declares that the problem of requiring exponential resources to evaluate software cannot be solved using more informed evaluation method. It cites the fact that the state-space explosion p...

Descripción completa

Publicado en:Computer (00189162) Vol. 40; no. 1; p. 55
Formato: Artículo
Publicado: IEEE Jan2007
Materias:
Software engineering
Probability theory
Computer software
Software measurement
Cukic, Bojan
System analysis
Algorithms
Computer programming
Systems design
Acceso en línea:Ver este registro en EBSCOhost
Sumario:The article reports on software evaluation. It presents an example of software assessment using probability. It declares that the problem of requiring exponential resources to evaluate software cannot be solved using more informed evaluation method. It cites the fact that the state-space explosion problem lays strict limits on how much one can explore a system through automatic formal methods. It reveals the difficulty and exponential cost of traditional assessment of software by citing the contributions of Bojan Cukic.