简介：为提高软件维护性并改善软件质量,需要在软件设计和开发阶段开展软件维护性设计,其中维护性设计准则核查是关键环节之一.在对软件维护性设计准则类型和描述要素详细分析的基础上,提出了软件维护性设计准则的形式化表示方法,构建了软件维护性设计准则核查系统体系结构,对核查算法进行了设计和分析,并应用Tcl语言定义了具有良好扩展性的度量模型及准则模型.初步的应用表明,该研究成果能够指导软件维护性设计并改善软件质量,具有一定的应用价值.
简介：美国审计署（GAO）2007年2月发表了一份题为“化学生物防御：陆军化学部队备战状况堪忧”的审计报告。报告称，尽管美国国家威胁评估报告把化生威胁放在优先地位，但美国防部对化学部队的资金投入不足，致使美国化学部队的训练、装备和人员配备低于备战要求，尤其是其国民警卫队和预备役部队。“陆军化学部队因其目前的低迷状态难以承担国土防御和作战的双重任务。”
软件维护性设计准则形式化表示及核查系统设计
美国审计署认为美陆军化生防御部队备战不足
