【摘 要】
：
针对分布式系统的测试,需要测试环境及测试规范的支持,文档性质的测试规范不适合计算机仿真的测试环境。为了使测试规范,可以直接应用于测试环境,创造性地用针对系统的建模方
【机 构】
：
北京交通大学轨道交通控制与安全国家重点实验室
论文部分内容阅读
针对分布式系统的测试,需要测试环境及测试规范的支持,文档性质的测试规范不适合计算机仿真的测试环境。为了使测试规范,可以直接应用于测试环境,创造性地用针对系统的建模方法剖析文档性质的规范。通过一种特殊的类划分及关联方法,对测试规范建立基于UML类图的概念层静态模型,并根据一种从UML类图到XML Schema的三层设计方法将其转换为逻辑层静态模型,最终通过映射关系得到了XML Schema,获得了可以直接用于计算机仿真测试环境的形式化测试规范,这种形式化的测试规范具有较好的完整性与一致性。
其他文献
叶尔克西·胡尔曼别克在她的小说<枸杞子的惶惑>中,表达了一位现代哈萨克知识女性对本民族在现代境遇中的前途的深层忧虑.主人公拜克尔个人生活方式的改变、生活处境的艰
阐述了科学方法的培养在现代教育教学中的重要性、科学方法的内涵及其与教育的关系。并探讨了在教学中对学生进行科学方法培养的途径。
恒大音乐歌手周子琰最新单曲《信》的MV首发。在这首歌曲MV中，真挚讲述了周子琰从自习室女生真正蜕变成为一个备受瞩目的新锐女歌手的美好成长历程。在这个过程中，对于那些给予了她太多无私帮助与支持的人，周子琰用这首歌真挚表达了自己浓浓的谢意。对于这些青春里的每一个难忘的身影，周子琰用自己甜美的笑容感染着周围的一切，传递着快乐的正能量。 这首歌曲由之前已经通过《红绿灯》获得大家惊艳好评的音乐人杨小耀作曲
经济的全球化,需要一个与之相适应的全球性的法律框架.随着经济全球化的发展作为主要调整国家间关系的原则、规则和制度总称的国际法,随之产生了一系列新的发展趋势.主要表现
在计算机联锁系统中,联锁表表示车站信号各个设备之间的联锁关系,编制正确的联锁表至关重要。提出一种利用有色Petri网（CPN）对列车通过车站的过程进行建模,并利用模型自动生成
《新疆高校大学生荣辱观教育》课题组，紧密围绕胡锦涛总书记“八荣八耻”的科学内涵，对新疆五所普通高校大学生的政治思想状况及荣辱观教育情况等诸方面进行了问卷调查。根据调
目的探讨妊娠期糖尿病对母婴结局的影响。方法将2010年n月至2012年11月期间我院诊治的60例妊娠期糖尿病患者作为观察组，选取同期60例正常妊娠孕妇作为对照组，比较两组孕妇的并