【摘 要】
：
对基于TTCN-3的测试系统进行逆向分析,可以帮助测试人员从更高层次上把握测试系统的设计,同时可以检验测试设计和测试实现之间的一致性,这些工作对于测试系统的评估、维护以
【机 构】
：
北京工业大学软件学院,100124;北京航空航天大学计算机学院,100191
论文部分内容阅读
对基于TTCN-3的测试系统进行逆向分析,可以帮助测试人员从更高层次上把握测试系统的设计,同时可以检验测试设计和测试实现之间的一致性,这些工作对于测试系统的评估、维护以及扩展都有重大的意义和重要的价值.本文首先简要介绍了逆向工程和基于TTCN-3测试系统的逆向工程的特点,设计了逆向模型发现的系统框架,并详细介绍了静态分析器的设计和实现.
其他文献
近几年,数控技术的应用越来越广泛,以大规模集成电路为标志的数控设备已在我国大量引进和大批生产。数控机床的推广应用,促进了我国机械制造业的发展,并带来了巨大的经济效益
某高等级公路某标段设计采用了强夯法处理路基.为验证施工工艺参数,检验强夯效果,采用了钻探、土工试验、静力触探、孔隙水压力观测、平板载荷试验、回弹模量、压实度等多种
逆作法的施工方法与传统的施工方法不同,传统施工是由地基下面逐层做到屋面上的,而逆作法则是先进行地面层结构施工,在完成桩、墙工程后,再上下同步进行上部结构与地下结构的
版面设计广泛运用于书刊、报纸、网页、户外广告、海报等涉及到平面及影像的众多领域.好的版面设计可以更好地传达作者想要传达的信息,或者加强信息传达的效果,并能增强可读
工程项目是建筑施工企业生产经营的主战场,以工程项目管理为中心,提高项目运作质量,是施工企业生存和发展永恒的主题.当前施工企业管理存在的诸多问题,其中之一就表现在工程
采用科学合理的工艺加工工件不但能激发操作工人的积极性和创造性,而且对我公司的科技兴企战略,起到了推波助澜的作用,为我公司发展成为世界强企奠定了坚实的基础。
The use
本文结合工程实例,对高层建筑深基坑支护工程的设计及施工进行了论述.本文结合工程实践,设计了施工方案,对高层建筑提供了有益的经验.
Ⅳ3218工作面倾角大,煤层薄且不稳定,断层多,在生产过程中有较大的开采难度,为确保安全生产,提高大倾角薄煤层开采的单产和效益,制定有效的改造方案,为类似条件的开采提供经
轻钢龙骨纸面石膏板吊顶是近年来出现的一种新型建筑装饰形式,广泛地应用于各种吊顶装修装饰工程中。本文简要介绍了轻钢龙骨纸面吊顶的施工准备,重点阐述了其施工方法、施工
文章结合消失模铸造技术在生产中的应用过程,分析浇注过程中产生气体的原因,同时指出合理选用真空抽气系统及使用白模制模材料,结合相应对策,以生产低成本、高质量的消失模铸