korosuke613 / BWDM
Test Cases Auto-Generation from a VDM++ Specification
Summary
   |
|||
| Main Code: 1,910 LOC (30 files) = KT (79%) + JAVA (20%) + YML (<1%) Secondary code: Test: 579 LOC (9); Generated: 0 LOC (0); Build & Deploy: 135 LOC (3); Other: 182 LOC (4); |
|||
| Duplication: 8% | |||
| File Size: 0% long (>1000 LOC), 75% short (<= 200 LOC) | |||
| Unit Size: 0% long (>100 LOC), 63% short (<= 10 LOC) | |||
| Conditional Complexity: 0% complex (McCabe index > 50), 100% simple (McCabe index <= 5) | |||
|
|
Logical Component Decomposition: primary (2 components) | ||
|
|
4 years, 6 months old
|
||
|
|
0% of code updated more than 50 times Also see temporal dependencies for files frequently changed in same commits. |
||
| Goals: Keep the system simple and easy to change (4) | |||
Latest commit date: 2020-03-17
Reference analysis date: 2022-05-14
|
0
commits
(30 days)
0
contributors
(30 days) |
|