中国大学生电动方程式汽车大赛(Formula Student Electric China,FSEC)是纯电动汽车发展的一个缩影,旨在培养大学生实践动手能力、......

This paper introduces strategies to detect software bugs in earlier life cycle stage in order to improve test efficiency......

发动机控制软件多任务程序运行时,共享变量的处理容易发生数组访问越界、除零、数据溢出等错误,从而造成异常的后果。采用动态测试......

根据某嵌入式平台软件特点,提出一种基于Polyspace的软件静态分析和测试方法。结合使用工具和人工分析按功能模块进行静态分析,合......

现代软件测试研究发现：对于任何一个软件或者系统所进行的测试都应当是结合了静态测试和动态测试来进行的，只做其中任何一项测试工作......