专业领域软件的代码审查方法研究

来源 :电子产品可靠性与环境试验 | 被引量 : 0次 | 上传用户:angella_dj
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
代码审查是发现软件的缺陷、保证软件的质量的重要手段。现今对特定专业领域的软件进行代码审查时一般采用传统的代码审查方法,但传统的代码审查方法仍存在一些问题,基于此,提出了一种专业领域软件的代码审查方法。结果表明,该方法在实际的工程应用中能够有效地发现软件的缺陷,显著地提高软件测试效率。
其他文献
目的了解集中式供水卫生状况,为改善我国生活饮用水卫生提供科学依据。方法采用描述性统计方法描述2013-2016年国家卫生监督信息报告系统采集的集中式供水单位不合格情况及20
中华猕猴桃原产于我国长江流域山区,因其果形硕大,富含多种营养成分,尤其维生素C含量极高,被誉为"水果之王"。猕猴桃产业作为广东省区域特色优势农业,在20余年的发展过程中,已
人类已经进入了信息时代,教育界也随之发生了翻天覆地的变化,这给教师带来了机遇也带来挑战。对艺术类院校公共课教师来说,如何在新的背景下谋求自身的发展是一个十分重要的
以柑桔大实蝇Bactrocera minax雌成虫为对象,借助Y型嗅觉仪,采用均匀设计和支持向量回归方法,对由柠檬烯、乙酸、乙酸乙酯、红糖、乙醇、柠檬酸、橙汁和5%高效氯氟氰菊酯水乳
伴随着社会经济的进一步发展以及人们生活质量水平的提高,大家对于房屋建筑工程的质量要求也越来越高。于是房屋建筑工程主体结构的检测就显得尤为关键,其对于房屋建筑工程主
以西北地区某铁路专用线大桥为例,通过该桥桥址处湿陷性黄土深桩基施工技术研究,以机械钻进黄土裂隙地层、强风化泥岩、砂岩夹泥岩层、流砂层等不良地质积累施工数据和参数,
以不同浓度的氯化钠为诱变剂,运用根尖细胞微核检测技术和染色体畸变实验方法,测定了豌豆根尖细胞的有丝分裂指数、微核率和染色体畸变率。结果表明:氯化钠能降低豌豆根尖细胞的
含氮杂环化合物广泛存在于自然界中,一般具有一定的生物活性和药理活性,所以在药物研究中具有相当重要的价值。其中,喹啉及其衍生作为一类非常重要的含氮杂环化合物,在很多方
虽然Kraepelin对躁狂和抑郁的描述已有一个多世纪,但快速循环这一术语直至1974年才由Dunner和Fieve引入。DSM-Ⅳ和CCMD-3将快速循环双相障碍定义为在过去的12个月中有4次心境
为了促进高校R&D活动的发展,重庆医科大学采取了对科技项目实施经费配套的措施,以补充R&D活动经费的不足。实施这种措施后,该校在科技立项方面产生了保障效应、再科研效应、