| 000 | 02375nas|a2200385 i 4500 | ||
|---|---|---|---|
| 005 | 20260817162302.0 | ||
| 008 | 241198s1987 th uzm rtt 00| a1eng d | ||
| 035 | _a.b10080235 | ||
| 099 | 9 | _aAIT RSPR no. CS-87-6 | |
| 100 | 1 | _aPabelico, Rafael Ramos | |
| 245 | 1 | 0 | _aAnalysis of a few methods on correctness based on program structure |
| 260 |
_aBangkok : _bAsian Institute of Technology, _c1987 |
||
| 300 | _a78 p. | ||
| 490 | 1 |
_aResearch studies project report ; _vno. CS-87-6 |
|
| 500 | _aA research study summitted in partial fulfillment of the requirements for the degree of Master of Engineering, School of Engineering and Technology | ||
| 502 | _aResearch Studies Project Report (M. Sc.) - Asian Institute of Technology, 1987 | ||
| 520 | _aVerification and testing techniques have been discussed and compared in the past from the viewpoint of their effectiveness in determining program correctness. This paper analyzes and compares a testing method, a formal verification method and symbolic execution based on the structures of the programs to which they are applied. It is shown that the program structures affect the complexity of these methods. Also, improvements and aids to these methods are also presented. The time complexities of these methods were estimated based on some tree models into which programs can be transformed. | ||
| 650 | 0 |
_aComputer programs _xCorrectness |
|
| 700 | 1 |
_aVenkatachalam, Paruvachi A., _eChairperson |
|
| 700 | 0 |
_aKanchit Malaivongs, _eExamination Committee |
|
| 700 | 1 |
_aSadananda, Ramakoti, _eExamination Committee |
|
| 710 | 2 |
_aGovernment of Australia, _eScholarship Donor |
|
| 810 | 2 |
_aAsian Institute of Technology. _tResearch studies project report ; _vno. CS-87-6 |
|
| 856 |
_3Full-Text _uhttp://203.159.5.9/ait-thesis/detail.php?q=B18969 |
||
| 907 |
_a.b10080235 _bmnait _cy |
||
| 902 | _a240410 | ||
| 998 |
_b2 _c951012 _dm _ea _fy _g0 |
||
| 945 | _lmnait | ||
| 945 | _lmnarc | ||
| 942 | _c22 | ||
| 942 | _c40 | ||
| 909 |
_aBarcode : 30050120616809 _bCREATED : 2012-07-09 _cRECORD # : i12693923 _dLPATRON : 0 _eLCHKIN : - _f# RENEWALS : 0 _g# OVERDUE : 0 _hIUSE3 : 0 _iTOT CHKOUT : 0 _jTOT RENEW : 0 |
||
| 909 |
_aBarcode : 30050120238596 _bCREATED : 2016-03-24 _cRECORD # : i12909038 _dLPATRON : 0 _eLCHKIN : - _f# RENEWALS : 0 _g# OVERDUE : 0 _hIUSE3 : 0 _iTOT CHKOUT : 0 _jTOT RENEW : 0 |
||
| 999 |
_c4558 _d4558 |
||