【摘 要】
：
为了设计和生成系统工作流程的测试用例，引入测试大纲模型的概念，设计出从UML(Unified Modeling Language)活动图模型到测试大纲模型，再到测试用例模型的三级转换过程和一组消除
【机 构】
：
北京航空航天大学计算机科学与工程系
【基金项目】
：
国家 8 6 3高技术计划资助项目(86 3 30 6 ZD0 2 0 3 7)
论文部分内容阅读
为了设计和生成系统工作流程的测试用例，引入测试大纲模型的概念，设计出从UML(Unified Modeling Language)活动图模型到测试大纲模型，再到测试用例模型的三级转换过程和一组消除活动图模型中的非结构化特征、将其转化为模块化的测试大纲模型，以及把并发子过程实例化为一组典型测试场景的基本规则.还研究了针对每一个输入操作，选择基本输入数据集，并将其赋予测试大纲模型之上，从而构造测试用例模型的方法，以及最终基于测试用例模型生成完备的测试用例集合的方法.
其他文献
【正】 柳宗元的《永州八记》是我国山水游记体的奠基之作,历来被誉为散文中的精品,它们善于精微地描写自然景物,“语语指划如画,千载之下”,读之如置身于其际”,(林云铭《古
目的:观察中西药合用治疗缺血性进展型脑卒中(PIS)的疗效。方法:105例按随机数字表法分为对照组52例和观察组53例,两组均给予西药治疗,观察组加用中风救险汤治疗。结果:观察
利用基团贡献法可预测化合物的性质,还能用于化合物的计算机辅助分子设计（CAMD）。本文论述了基于基团贡献法CAMD的基本原理,以及在溶剂和聚合物等领域分子设计的应用,对分子设
目的：分析新生儿食物过敏性直肠炎的临床特征，以提高对新生儿期食物过敏的认识。方法回顾性分析32例新生儿食物过敏性直肠炎的临床资料。结果32例患儿中足月儿30例，早产儿2例，完
科研项目经费预算超支执行、预算执行效率不高、预算支出不符合财务审计要求是目前科研单位经费预算管理中普遍存在的问题,传统的预算管理实际上是财务作为主导,科研人员辅助
目的基于网络药理学探讨当归芍药散治疗慢性盆腔炎的作用机制。方法利用TCMSP数据库筛选出当归芍药散活性成分及其相关靶标基因;使用Genecards数据库筛选慢性盆腔炎靶标基因;
《边城》以原生态为聚焦点，展开了对湘西的自然山水、人生世相、民族风情、历史变故等各层面上的透视。原生态不仅是《边城》的叙事策略，也是叙事意义与作者精神的契合：沈从文追
针对热力行业变频器存在的变频器磁通优化、变频器一拖多及恒压供水技术问题,提出解决措施。
高校艺术设计教学中的教学评价是一个非常重要的环节,能够体现出教师及学生的教学状况,反应教学有效性,对调整教学方案提供理论依据。本文主要分析了现行教学评价在高校艺术
绿色包装着眼于人类与自然环境的生态平衡,尽量减少对生活环境的破坏这一战略高度来构架设计策略,以绿色包装促进经济文化与社会的发展;绿色包装充分体现了环境保护与经济发