静态代码相关论文
飞控系统机载软件是飞机的控制核心,若其设计中存在缺陷,则可能造成极大的安全隐患。为了避免这些问题,开发机载软件的研究所或企......
学位
针对代码与模型之间的不一致性问题,本文提出了一种基于UML模型和Java代码之间的一致性检测方法。首先,给出了怎样检测模型与代码......
随着信息技术的飞速发展,应用软件的规模不断扩大,越来越多的软件安全问题频频出现,因此如何保证和提高软件质量日益成为一个备受......
当对软件的进行维护的时候,由于关联性普遍存在于各个模块之间,修改错误的模块,添加新的模块和删除无用的模块,这些变更过程都会产......
