Research Article
Study on Formal Modeling and Safety Verification of Train-to-Train Communication
Table 3
Comparison of LTS method and traditional human checking.
| | Development method | Number of logic bugs | Number of data bugs | Total number of bugs | Number of developers | Developing time
(hour) | Number of testers | Test time
(hour) | Total Time (number of people×hour) |
| | LTS Model | 0 | 7 | 7 | 6 | 24 | 7 | 12 | 228 | | Traditional Method | 17 | 8 | 25 | 6 | 48 | 15 | 12 | 468 |
|
|
