论文部分内容阅读
实时并发软件测试是软件测试领域中较新的研究课题，上前尚我成熟而通和的测试工具。本文在分析大型实时控制软件特点的基础上，提出了以白盒测试与黑盒测试相结合自顶向下的递增式策略，实现单元，组合和综合三级测试的技术方案并介绍了二度式测试用例生成程序，嵌入式测试驱动与
实时并发软件的测试研究
【摘 要】
：
实时并发软件测试是软件测试领域中较新的研究课题，上前尚我成熟而通和的测试工具。本文在分析大型实时控制软件特点的基础上，提出了以白盒测试与黑盒测试相结合自顶向下的递增
【机 构】
：
西北工业大学计算机系
【出 处】
：
微电子学与计算机
【发表日期】
：
1996年2期
其他文献
随着我国法治化进程的逐步加快,高校教育体制改革的深化,学生法律意识的提高,高校管理与大学生权益之间的纠纷不断。纠纷的产生是因为相关法律法规不完善,高校与学生关系模糊
提出了气相色谱-质谱法测定水产品中1,3-二氯苯,1,2-二氯苯,1,2,4-三氯苯等3种氯苯类化合物含量的方法。采用荧光猝灭法研究了氯苯类化合物与蛋白质之间的结合作用,结果表明
血管炎是指原发于血管的一类炎症性疾病，许多抗体参与血管炎的发病机制及病程，其中血管炎和抗中性粒细胞胞浆抗体（ANCA）的关联性较高。IL-33是最新发现的具有多种效应的前炎症细
嗜水气单胞菌（Aeromonas hydrophila）是水中常居细菌,主要引起人类肠道内感染,少见致伤口感染。我院外科于2010年发现1例嗜水气单胞菌引起的伤口感染,报告如下。1病历摘要患者，
利多卡因、普鲁卡因、丁卡因、辛可卡因、苯唑卡因、普莫卡因、布比卡因、罗哌卡因和丙胺卡因等是当前临床麻醉手术中常用的局部麻醉药[1-2]。但随着局部麻醉药的滥用,其容易
2011年3月,我科发现1例因EB病毒感染致血小板假性减少的患儿,报道如下。1临床资料患儿,女,3岁,无明显诱因发热、咳嗽,体温38.4℃,口服感冒灵冲剂1 d无缓解。2011年2月25日于
树突状细胞（dendritic cells,DCs）是抗原提呈功能最强的细胞,也是联接天然免疫和获得性免疫的桥梁和纽带。Toll样受体（Toll-like receptors,TLRs）是天然免疫中重要的模式识别受体
通过单柔性机械臂动力学方程,分析了基函数的选取对系统动力特性的影响,进而对多体系统的控制提供了有利的依据.
CLSI M100-S20（2010年）[1]将产ESBLs菌株对头孢噻肟、头孢曲松、头孢他啶、头孢唑肟和氨曲南的药敏折点和报告规则作了重大修订。本文回顾性分析了新、旧两种判读标准对我院分
本文主要介绍涂层烘干温度群控系统的软件实现方法和软件特点。系统为主从式集散结构，用１台主机控制７台从机，可以同时完成７个烘干炉的温度控制工作。在主体管理程度和过程控制程序