列控系统需求文档结构的日益复杂,使得传统的文档测试方法在问题发现和测试效率方面逐渐难以满足要求。模型检测是一种用于对有穷......

5G到来推动了物联网的广泛应用,同时也带来海量数据。这些数据存储时会占用大量空间和资源而需要及时处理。异构计算比传统计算更......

嵌入式并发软件的中断嵌套和线程交织等程序的随机性和不确定性(Randomicity and Nondeterminism)会引起数据竞争(Data Race)和原......

相比传统电视，由于增加上网浏览、音视频文件播放、下载各种应用软件等多种功能，智能电视系统软硬件变得异常复杂，用户使用相对繁琐，这......