Review of Model-Based Testing Approaches in Production Automation and Adjacent Domains—Current Chall

来源 :软件工程与应用(英文) | 被引量 : 0次 | 上传用户:wenpeson
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
As production automation systems have been and are becoming more and more complex, the task of quality assurance is increasingly challenging. Model-based testing is a research field addressing this challenge and many approaches have been suggested for dif
其他文献
最近,德国易普森公司成功地开发了HydroNit传感器。该传感器可用于控制气氛炉直接、连续地测量炉内气氛中的氢浓度,准确地控制炉内气氛的氮势(Kw值),实现工件的高品质氮化或软氮化
进入21世纪,随着医学模式的转变、社会经济的迅速发展、高龄人口不断增加,疾病谱发生了相应的变化,医疗的高技术化和专业化等各方面的发展,均需要优秀的护理人才。为了提高护理人
本文以管理学为例,通过对管理学教学课程改革进行探析,使管理学教学能够与高职院校高技能人才培养目标相适应。
我国2010年《涉外民事关系法律适用法》(以下简称《法律适用法》)第3条的性质界定,是该法颁布至今争议激烈悬而未决的理论问题之一。法学界主流观点界定该条为宣示性条款,仅
Effectively managing the requirements and traceability in a complex software project can be a challenging task. Many tools exist to support the initial creation
Nowadays, mobile technology makes it possible for us to realize processes in a relatively short amount of time, showing the user friendly and efficient interfac
目的:采用高效液相色谱法测定祖卡木颗粒中吗啡的含量,对其在生产过程中的转移率进行评价。方法:色谱柱Kromosil ODS C8(5um,4.6ram×200mm);流动相:乙腈-0.01mol·mL^ 01磷酸
The software cost estimation aims to predict the most realistic effort that is required to finish a software project and so it is critical to the success of a s
从提高数据库性能的角度介绍了信息查询中数据库设计的几种常用的反规范方法,并对这些方法的优缺点以及使用时应注意的事项做了较为深入的论述.
近年来,随着移动和无线通信技术的飞速发展,各种网约车平台(如滴滴打车、优步、奥拉出租车等)已风靡全球。网约车平台方便快捷的信息交换,大大缓解了传统出租车系统由于乘客和司机之间的时空偏差造成的信息障碍,成为提高出租车市场效率的有力工具,而网约车平台的调度方案则直接影响到网约车平台的运营利润以及网约车用户的行程效用。现有的网约车平台有抢单和派单两种调度模式,相比于抢单模式,派单模式虽然牺牲了司机的自由