【摘 要】
：
随着嵌入式软件规模、复杂度的持续增长,基于构件的设计技术已在大规模嵌入式系统开发中得到广泛应用.嵌入式构件测试是保证构件质量以及构件间集成构造的重要手段.基于模型
【机 构】
：
清华大学计算机科学与技术系,清华大学信息科学与技术国家实验室,清华大学软件学院,波特兰州立大学Maseeh电气与计算机工程学院
【基金项目】
：
国家自然科学基金(91218302,61472197);国家“九七三”重点基础研究发展规划项目基金(2011CB302505);国家“八六三”高技术研究发展计划项目基金(2013AA01A215);北京市自然科学基金(4132062)资助~~
论文部分内容阅读
随着嵌入式软件规模、复杂度的持续增长,基于构件的设计技术已在大规模嵌入式系统开发中得到广泛应用.嵌入式构件测试是保证构件质量以及构件间集成构造的重要手段.基于模型的测试是嵌入式软件测试的重要方法,通过基础模型描述系统预期的行为特性,以提供用例生成的基础.文中针对嵌入式软件构件,提出建立构件扩展语义接口自动机模型（Extended Semantic Interface Automata,ESIA）,通过对接口自动机模型进行变量、约束条件等扩展,支持构件行为特性的描述与理解.以ESIA为基础模型,提出了基于符
其他文献
目前,学界关于董必武教育思想的研究虽然有所触及,但从宏观层面展开研究者居多,而从微观层面展开探讨者较为鲜见。
钻杆传输测井是油田开发中用来完成超深井、水平井、各类工程复杂井测井的工艺技术,在国内外油田均已完成了大量测井任务。常规钻杆传输测井施工工艺复杂,操作繁琐,且受工况
通过42.4%唑醚·氟酰胺、42.8%氟菌·肟菌酯、325 g·L^-1苯甲·嘧菌酯、75%肟菌·戊唑醇4种复配杀菌剂分别于4月29日(果实膨大期)、5月8日(果实膨大期)
对于电网联络脆弱的电厂,当线路跳闸后,一旦机组停机,势必导致厂用电消失,特别是在洪水期可能会由于厂用电消失造成水漫弧门的重大危害。那么在此类事故情况下,机组调速器采
选取了一种轧辊用钢作为试验用钢,测定了它的TTT曲线,然后选择750℃、725℃、700℃和675℃四个温度,在与等温转变过程相同的试验条件下分别进行DSC分析和高温XRD残余奥氏体含
<正>对他来说,创作不是宣泄而是分享,前者只能调动情绪,而后者却带来感动。如果生活中已经有了艺术,还寻找艺术干什么那?好像在空气里寻找氧气一样,如果把艺术等同于生活,就
数学建模思想是数学学习的一种重要思想,通过数学建模思想方法可以使数学实际问题和数学知识有机结合起来,把抽象的数学知识变得生动、形象,方便学生学习和理解,同时也是数学
LED以其优良的性能结合智能控制系统,被越来越多地应用于室内外照明场合,但同时也对其色温、显色指数等色度指标提出了新的要求。为了应对这种挑战,设计了一种新型的色温可调
作为互联网“新常态”下现实社会的一种网络映射，微信舆情的系统化、机制化、多元化发展深刻改变了网络治理格局。
<正> 黄浆水是制造淀粉剩余的下脚,凡是用蚕豆、苑豆、绿豆等类制造淀粉,都有很多的下脚——黄浆水。这些黄浆水里面含有丰富的蛋白质,可以利用它制造酱油、鲜汁、味精、黄浆