中国大学生电动方程式汽车大赛(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的软件静态分析和测试方法。结合使用工具和人工分析按功能模块进行静态分析,合......

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