基于UML Statecharts面向对象软件的测试框架

来源 :应用科学学报 | 被引量 : 0次 | 上传用户:liongliong552
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
直接从含有层次和并发结构的UML statecharts图产生面向对象软件类的测试用例是比较困难的,文中提出了基于UML statecharts图的测试框架:先利用现有的UML工具画出UML statecharts图,并产生XMI(XML metadata interchange)格式的规格说明文件;然后根据UML statecharts的形式化语义,层次和并发结构被展平,将UML statecharts图的规格说明XML文件转换成FREE(flattened regular expression)模型的
其他文献
随着改革的深入和人力资本地位的提升,我国人力资本和货币资本之间的矛盾越来越突出.2004年9月30,双鹤药业突然发布简短公告"通过免去杨维平总经理的职务,由董事王杰扬暂时主
从传统的经济理论到新经济增长理论的演变,是一个持续的深化内容与突破假设的过程,大体经历了这样几个阶段:资本积累论——技术进步论——人力资本论——制度决定论——新经济增
该文从对称美学的角度来研究电磁工程问题,从电磁场的基本理论到具体的工程设计,总结出一条共性的线索,即简约的对称美.并通过设计实例得到启发,基于自然的对称美可以指导和
摘 要:本文对汽车内饰材料雾化性能试验进行了分析,其中两种方法较为接近,均是用来对玻璃板的光学性能进行检测,即雾度法和光泽度法,重量法试验则用于检测挥发物中有害成分对人体健康的影响,对高风险的内饰材料VOC全面测控,建议采用顶空法和采样袋法。  关键词:汽车内饰材料;雾化;试验  汽车内饰塑料件释放的挥发性有机化合物(VOC)能致癌,是人类健康的五大危害之一;[1]另外,在挡风玻璃上,VOC会出现
介绍了可编程控制器在工业生产现场安装及维护的注意事项。
本文论述了原双管结构存在的缺陷,分析了易发生故障的原因,针对提出了具体改进措施。
基于牛顿传热规律下的不可逆Carnot热机的优化性能参数,并利用局域稳定性分析理论,研究了热机系统在功率最大和生态学函数最优的稳定状态时系统的局域稳定性.导出了表征系统