Static Tools ·Static analysis Problematic wording:spell grammar checkers -Dangerous programming:J-Test,Safer C Measurement:complexity analysis ·System simulations General Purpose System simulator Performance modeling operations research tools Spreadsheets 同梅大学 TONGJI UNIVERSITY SoftwareTesting 15/5/18 5 Software Testing Static Tools 15/5/18 5 • Static analysis – Problematic wording: spell / grammar checkers – Dangerous programming: J-Test, Safer C – Measurement: complexity analysis • System simulations – General Purpose System simulator – Performance modeling / operations research tools – Spreadsheets