1. Testability Calculation Team member: Gefu Xu Yueli Liu Weidong Tang

2. How to calculate Controllability?

3. How to calculate observability?

4. Algorithm(1)

5. Algorithm(2)

6. C17.bench Demo

7. The 10% of the Most Difficult Nodes for 74181 Nodecc0cc1co E481531 E541630 E781540 E881540 E1681541 E1731046 E1842630 E2081538 E2131142 E2341630 E282439 G6275538 G7163756

8. Verify The Result With Two Programs C Language Program C Language Program Easy to share source codes Easy to share source codes Run on the platform of DOS/Win32/Unix Run on the platform of DOS/Win32/Unix Perl Language Program Perl Language Program A script language, to develope a program is easier A script language, to develope a program is easier The nature of Perl make it easier to manipulate text file; The nature of Perl make it easier to manipulate text file; By CGI, suport Web interface. By CGI, suport Web interface.

9. Thanks!