Defining and Application of a Test Coverage Criterion for Structural Testing of Data-Flow Programs
博士 === 元智大學 === 資訊工程學系 === 102 === The Programmable Logic Controller (PLC) is being integrated into the automation and control of computer systems in safety-critical domains at an increasing rate. Adequately testing ensures safety of such systems; thus, testing adequacy (i.e., test coverage) becomes...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en_US |
| Online Access: | http://ndltd.ncl.edu.tw/handle/41190232176272451247 |