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...
| Publicado en: | Computer (00189162) Vol. 40; no. 1; p. 55 |
|---|---|
| Formato: | Artículo |
| Publicado: |
IEEE
Jan2007
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=23757611&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 23757611 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00189162 PUT jtl: Computer (00189162) issn: 00189162 maglogo: N pubinfo: dt: Jan2007 vid: 40 iid: 1 pid: 13605 pub: IEEE artinfo: ui: 23757611 ppf: 55 ppct: 0 formats: tig: atl: Exponential Cost of Traditional Assessment. aug: su: Software engineering Probability theory Computer software Software measurement Cukic, Bojan System analysis Algorithms Computer programming Systems design sug: subj: Software engineering Probability theory Computer software Software measurement Cukic, Bojan System analysis Algorithms Computer programming Systems design ab: 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. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2007 holdings: @attributes: islocal: N |
|---|