摘要: |
在软件的开发和维护中,随着需求、环境等因素的变化,软件的功能不断的修改、增强,很容易就偏离了原来的设计,代码变得越来越复杂、难以理解和维护。已经研制的嵌入式电子海图系统也面临着同样的问题。而软件重构技术是解决此类问题的一种新兴技术。
本文将软件重构技术应用于电子海图系统,以达到提高该系统的可理解性和可维护性的目的。论文的主要工作有:
详细分析了电子海图系统特点及其对软件重构过程的影响,制定了电子海图系统软件重构总体方案,并按照软件重构的过程,具体制定了程序“坏味道”检测方案和重构方法实施方案。
定义了电子海图系统软件重构中程序“坏味道”的具体含义;除采用人工检测方法对电子海图系统源程序进行“坏味道"检测外,使用测试工具Logiscope的RuleChecker功能和Audit功能协助检测;对检测到的“坏味道”进行了分类。
对于电子海图系统中存在的“坏味道”给出了对应的重构方法。提出了简单重构和复杂重构的概念,并按重构对象的不同进行了详细的分类。使用半形式化证明的方法保证简单重构方法中的行为保持。在复杂重构方法的行为保持证明中引入了测试技术,并提出了一种针对GUI软件功能测试的测试用例生成技术。重构结果表明本文提出的嵌入式电子海图系统软件重构方案可以提高该系统的可理解性和可维护性。
|