代码检查相关论文
开发安全的软件需要花费大量的人力物力,如何使开发安全的软件变得更容易是计算机学科的一个基本问题。通过容错、复用等技术手段以......
科学计算网格软件SCE的开发源于“超级计算环境建设与应用”,利用SCE将院超级计算环境中的总中心、分中心和所级中心互联起来,屏蔽底......
该文首先提出了仿真系统的总体设计原则,然后依据此原则对系统的结构进行了总体设计,该系统从结构上可分为四个主要模块,即系统总......
动车组管理信息系统存在需求不断复杂化、现场升级频繁等特点,在研发阶段,单纯的使用人工进行提交、检查、编译、测试已经无法满足......
信息时代下,计算机已经融入人们的日常工作和生活之中,人们对于计算机软件的质量关注度很高。计算机软件的开发时,必须关注计算机......
软件测试作为软件工程中的重要组成部分,其作用不容小觑,软件测试是保证软件质量、提高软件可靠性的有效手段。白盒测试是针对被测试......
在汽车电子等实时控制领域,随着控制软件越来越庞大和复杂,对控制软件的安全性、可靠性以及上市周期的要求也越来越高。自动代码生......
随着信息时代的到来,计算机已经成为生活和工作不可缺少的重要组成部分,在计算机软件开发过程中,对影响软件质量因素的分析显得尤......