提纲:电控系统软件开发以及测试的挑战;虚拟ECU-Virtual ECUs-QTronic Silver;从模块测试到系统测试-功能安全;需求形式化和自动生成测试用例;应用案例;