【摘 要】
：
软件质量是通过在整个研制过程中使用研制技术和验证方法获得的。细心考察具体的质量属性和确认要求,就会选择一组相应的在整个生存期中使用的复查、分析和测试技术。本文评述新近的验证、确认和测试方法,比较其优点、弱点并讨论生存期间用法。还描述了实现确认、验证和测试所用的自动化工具。在推动新研究的讨论中,我们仍强调需要不断奠定测试的坚固理论基础以及需要使用因各个应用而不同的工具和技术的综合方法。
论文部分内容阅读
软件质量是通过在整个研制过程中使用研制技术和验证方法获得的。细心考察具体的质量属性和确认要求,就会选择一组相应的在整个生存期中使用的复查、分析和测试技术。本文评述新近的验证、确认和测试方法,比较其优点、弱点并讨论生存期间用法。还描述了实现确认、验证和测试所用的自动化工具。在推动新研究的讨论中,我们仍强调需要不断奠定测试的坚固理论基础以及需要使用因各个应用而不同的工具和技术的综合方法。
其他文献
本文着重介绍计算机辅助设计工作环境及其设备、主要设计流程、传动系统结构没计模块分析、数据库的建立和使用以及绘图应用程序情况等。
1958年美国首先试制成功了世界上第一台数控绘图机后,用计算机自动制图的工作就蓬勃发展起来。自动制图能加快成图速度,使科技工作者从繁琐的手工制图中解放出来。目前自动绘图机的绘图速度最快可达100米/分,精度最高可达0.01毫米。世界各国对计算机辅助设计的研究给予极大的重视,绘图机的种类有100多种,并建立了不同类型的制图自动化系统——硬件和软件。制图自动化系统的硬件一般包括有:计算机,图形数字化仪
一、引言大气是人类环境的重要组成部分之一。大气环境质量的优劣直接关系到人类的健康,所以掌握大气污染现状有重要意义。此外,只有首先掌握大气污染现状、污染来源(工业的和民用的),根据本地区的环境特征(气象、水文、地理等条件),才能进行环境影响预测。然后按照环境质量标准,确定环境目标,制订环境规划。
实行经济责任制是对企业的全面的、建设性整顿,同样也是对企业环保工作进行建设性的整顿,它促进企业把环保工作纳入了提高经济效益和环境效益的轨道,使环保与生产经营活动紧密地、科学地结合起来。一、经济责任制推动了环境管理的基础建设包保到人的经济责任制和数据管理是企业管理的两大基础。搞好环保工作也必须从
本文提出和研究了一个新的测定天然水中钠钾合量的方法——碱试剂-离子交换-中和滴定法。直接测定范围0.1～50毫克当量/升,绝对误差不大于0.05毫克当量/升,标准偏差±0.014毫克当量/升。适用于各种天然水的测定,节约、简便,可用于室内和现场分析。
ATLAS语言是一种面向被测件(UUT)的与测式设备无关的测试用的高级语言,已被许多国家承认和使用,并已成为IEEE的标准。本文主要介绍ATLAS语言的发展和应用概况。
本文介绍了工业废水中总氯含量的测定方法。其装置是由高温炉—微库仑计系统组成。样品不经预处理可直接注入检测系统进行测定。本方法的最低检测浓度为10毫克/升,相对误差不大于5％。变异系数为5.2％,因此优越于化学法。
本文是分析大型自动测试系统(ATS)的软件设计。自动测试系统是导弹分系统的测试装置(MSTS),用来进行“捕鲸叉”导弹部件和全弹级的功能测试。该软件设计分为三部分:操作系统、测试语言和解释程序,以及应用程序。操作系统和解释程序是根据此专用要求对商用软件加以修改而成。为了便于维护,测试执行程序和测试程序用高级语言写成模块结构。
日本国土狭窄、工业集中,每一平方公顷可住面积上的国民经济总产值、石油消费量和汽车台数均占世界第一位,因而容易造成污染,曾被称为公害大国。日本在大气污染方面,经过多年治理,到底怎样了呢?本文想就日本目前状况作一介绍,以供有关方面人士参考。
六、DIME 3子程序该程序是用来引出旁注沉孔,销孔等一类尺寸。它可以用如图15左面的形式进行标注,也可以用图15右面的形式进行标注。但要注意的是这里一次同时标注水平引出