基于UML模型和OCL约束的类间交互测试用例生成方法研究

来源 :电子学报 | 被引量 : 0次 | 上传用户:ufo0101
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
面向对象所具有的类、封装、继承、动态连接等特性,使得面向对象测试步骤的划分以及测试策略的选择有别于传统的测试思想.本文针对面向对象软件的特点,采用基于模型的软件测试方法,对UML(United Model Language)设计模型中的顺序图添加OCL(Object Constraints Language)约束,做类间交互的软件测试.本文提出执行图EG生成算法,将顺序图SD转换为执行图EG,解决UML2.0顺序图新增特性中的alt、loop、opt、break四种常见组合片段及其嵌套和多态性问题;为得到
其他文献
随着国企改革的不断深入,历史遗留和资源整合导致的国有控股上市公司同业竞争问题愈加突出。同业竞争的存在不仅会带来诸多风险,而且也是审核和监管的红线,往往成为企业再融
通过对我国植保机械产品强制性认证制度及开展情况及3C认证的作用的回顾,分析植保机械质量存在的主要问题,提出进一步促进提高植保机械产品质量的建议和措施。
为进一步调动我院学生学习高等数学课程的兴趣,提高学生高等数学学习成绩,真正做到因材施教,通过对学生的高等数学学习情况进行分班教学,提供不同层次的教学方案,提出不同层次的教
心理理论(ToM)是研究儿童社会认知能力的最重要内容,也是发展心理学研究的热点课题之一,而幽默感的发展与认知能力发展具有密切关系。本研究采用多种心理理论的范式(错误信念
从误差的来源分析了原油交接计量过程中产生的误差及原因,阐述了控制计量误差的方法,并结合靖成管道5年来的计量运营,总结了科学高效的计量管理方法。
大学现代学术制度建构的基础是大学的学术文化,大学学术文化的根基是学术自治和学术自由。本文主要分析了我国大学学术制度建设中存在的文化制约因素,提出加强大学学术文化建
在信用证法律关系中,各方当事人都具有独特的法律地位和作用。通知行作为信用证开证行指定的银行,应向受益人履行信用证通知义务。但通知行与受益人之间就履行信用证通知义务
<正>自新冠肺炎爆发至今,疫情防控是当前压倒一切的重要政治任务。在疫情日趋严峻的情况下,全国各地都在与"新型冠状病毒"进行着殊死搏斗,城市轨道交通作为城市疫情防控的重
通知行应清楚地认识到自身在信用证通知过程中对各当事方权利义务的实现所具有的重要影响,积极协助受益人做好审证工作并进行风险提示,以保障出口贸易的顺利开展。“通知行”