【摘 要】
：
针对类交互测试的正交阵列测试系统(OATS)生成测试用例的方法存在类的状态盲目组合而导致测试用例"爆炸"以及受标准正交阵列的影响使得选择的正交阵列不易扩充等问题,扩展了
【基金项目】
：
国家高技术研究发展计划(863计划)，中国科学院软件研究所计算机科学重点实验室基金
论文部分内容阅读
针对类交互测试的正交阵列测试系统(OATS)生成测试用例的方法存在类的状态盲目组合而导致测试用例"爆炸"以及受标准正交阵列的影响使得选择的正交阵列不易扩充等问题,扩展了事件驱动的Petri网(EEDPN)模型,提出了类的状态组合的标记关联递推法生成交互路径,得到了扩展的正交阵列测试系统(EOATS)的类交互测试用例的生成方法,优化了OATS,分析了该方法在类的交互测试技术中的覆盖率问题,讨论了其生成扩展的正交阵列表的充分性.
其他文献
研究一类具双阈值常数时滞二元神经网络模型，系统分析了不同阈值情形解的渐近行为．特别对临界阈值情形，建立了一些新的充要条件．
口腔颌面部骨折是口腔外科较多见的急症.我科自1995年5月至2003年1月共收治颌面部骨折106例现报告如下,并就其发生、分类、诊断及治疗进行分析讨论.
以3，5-二羟基苯甲酸和间苯二酚为原料，分别经酯化、乙酰化、甲氧甲氧基保护或甲基化、酰肼化、氧化、醛酮缩合、环化、Algar—Flynn-Oyamada反应以及脱保护基等步骤，以21％～32％的总
首先从现有三相PWM整流器d-q模型出发,采用电网电压、d-q轴电流的前馈补偿技术,得到一种通用的矢量解耦控制策略.然后根据频域分析法,得出了整流器的一阶惯性模型,并推导出系
使用改性环氧树脂为粘结剂,以5种不同种类的石墨粉为原料制备交流串激式高速电机用高阻炭刷.利用X-射线衍射(XRD)、扫描电镜(SEM)对所研制的高阻炭刷样品的微观结构和形貌进
心力衰竭是各种心脏疾病导致心功能不全的一种综合征[1],β肾上腺素能拮抗剂作为心力衰竭综合治疗中的一种药物,已经被证实对慢性充血性心力衰竭患者的循环支持具有长期的作
依据2015年春（5月）、秋（10月）两季浙江舟山金塘岛海域的大型底栖动物和环境因子调查资料，分析了大型底栖动物的种类组成、丰度和生物量分布，并对大型底栖动物与环境因子之间的关系
作为S-素元的推广，本文引入了右稳定元概念，并证明了在一定条件下，S右稳定元是S-素元；在研究右稳定元构成的子Quantale性质的同时，对右稳定的子Quantale作了精确刻画．
本文简要叙述循证医学的产生和发展过程,介绍了循证医学实践的过程和循证医学的重要意义,提出临床医生应改变传统观念,加强对循证医学实践的认识和学习.
给出了一种提取广义开关网络中两节点间“最小”连接矩阵的方法.该方法采用广度优先和深度优先结合遍历提取出两顶点间的连接矩阵,再结合Tarjan拓扑图块划分算法和“不跨越已知割点遍历”思想降阶使矩阵达到“最小”.将继电控制线路抽象为开关网络,通过连接矩阵计算出驱动元件的开关函数,从而掌握电气信息.使用“批”的概念描述继电控制线路中的事件时序.基于以上两点,再利用继电控制线路图上表达出的驱动元件与开关之