| 000 | 00962nam a2200217 a 4500 | ||
|---|---|---|---|
| 003 | AR-LpUFIB | ||
| 005 | 20250311170132.0 | ||
| 008 | 230201s1990 xxka r 000 0 eng d | ||
| 020 | _a1850328803 | ||
| 024 | 8 |
_aDIF-M157 _b157 _zDIF000164 |
|
| 040 |
_aAR-LpUFIB _bspa _cAR-LpUFIB |
||
| 100 | 1 | _aBeizer, Boris | |
| 245 | 1 | 0 | _aSoftware testing techniques |
| 250 | _a2nd ed. | ||
| 260 |
_aLondon : _b International Thompsom Computer Press, _cc1990 |
||
| 300 |
_axxvi, 550 p. : _bil. ; _c23 cm. |
||
| 500 | _aIncluye glosario y bibliografía. -- | ||
| 505 | 0 | _a The taxonomy of bugs -- Flowgraphs and path testing -- Transaction-flow testing -- Data-flow testing -- Domain testing -- Metrics and complexity -- Paths, path products, and regular expressions -- Syntax testing -- Logic-based testing -- States, state graphs, and transition testing -- graph matrices and applications -- Implementation. | |
| 650 | 4 | _aPRUEBA Y DEPURACIÓN DE SOFTWARE | |
| 942 | _cBK | ||
| 999 |
_c50167 _d50167 |
||