论文部分内容阅读
软件测试是保障软件质量的重要手段，是软件工程的重要组成部分。本文回顾和总结了软件测试技术的发展历史．讨论了软件测试技术的研究成果，包括软件测试的充分性准则、静态分析与度量技术以及黑盒与白盒动态测试技术．可为软件测试学科建设及其研究方向提供参考。
软件测试技术的研究进展
【摘 要】
：
软件测试是保障软件质量的重要手段，是软件工程的重要组成部分。本文回顾和总结了软件测试技术的发展历史．讨论了软件测试技术的研究成果，包括软件测试的充分性准则、静态分析与
【机 构】
：
吕梁学院计算机科学与技术系,北京特种机电研究所软件测评中心
【出 处】
：
微计算机信息
【发表日期】
：
2012年10期
【基金项目】
：
吕梁学院2012年校级自然科学校内基金项目名称:基于移动Agent和BP神经网络的分布式入侵检测系统研究
其他文献
当今世纪,越来越多的女性走上了管理岗位,她们以优秀的管理能力和企业业绩在众多的男性管理者中构建了一道靓丽的风景线。但由于历史传统等原因,导致社会对女性的偏见,加之女
目的通过比较不同感染程度的华支睾吸虫病患者和正常人的Fibroscan检测结果,分析瞬时弹性成像(Fibroscan)方法对华支睾吸虫病的诊断价值;比较不同感染程度的华支睾吸虫病患者驱虫治疗前后其Fibroscan检测结果的变化对华支睾吸虫病患者的驱虫治疗疗效判断是否具有临床价值。方法选取87例经大便检查华支睾吸虫虫卵阳性确诊的华支睾吸虫病患者作为研究对象,同时选取30例健康者作为对照。87例华支
随着LED技术的不断发展以及LED在低功耗、长寿命、环保等方面的优势,LED应用领域逐渐增多。目前,LED的应用已经从最初的指示灯应用转向更具发展潜力的显示屏,景观照明、背光
空域一词,在空中交通管理文献中被定义为"地球表面以上可供航空器飞行的一定范围的空气空间"。空域作为一种"天然的资源",和陆地资源、海洋资源以及其他空间资源共同构成一国
炼化生产企业目前采用的辛烷值测定方法,在遇到高频次抽样分析或为装置调试提供大量数据时因耗时太长对生产进程有一定的影响。本文利用公司现有检验条件,以重整汽油为样本,
以液溴为溴化试剂,分别与2,6-二甲基苯胺、2,6-二异丙基苯胺反应,通过控制反应温度和时间,物料滴加方式,合成了2,6-二甲基-4-溴苯胺和2,6-二异丙基-4-溴苯胺,产率分别为67%和
本文介绍了枞阳县水稻-油菜水旱轮作绿色优质高产栽培模式,并分别介绍了该模式下水稻、油菜的高产栽培技术,包括选择高产优质良种、秸秆还田、科学肥水管理、病虫草害绿色防
采用时差法测量超声波速度,选择葡萄糖、NaCL溶液样品,通过控制变量法、计算机拟合得到两种样品声速与温度和浓度两参数函数关系式,给出一种新的测定可溶性物质浓度的方法,实