【摘 要】
：
随着嵌入式计算机系统应用的不断扩展,嵌入式系统的可靠性引起了学术界和工业界的广泛关注,也提出了很多增进可靠性的方法和技术.然而,现有的方法和技术在测试套生成方面论述
【基金项目】
：
国家自然科学基金(61070030,61370051);北京市教委人才创新团队计划(4062012)
论文部分内容阅读
随着嵌入式计算机系统应用的不断扩展,嵌入式系统的可靠性引起了学术界和工业界的广泛关注,也提出了很多增进可靠性的方法和技术.然而,现有的方法和技术在测试套生成方面论述不多,所以在处理大批量嵌入式系统测试工作中遇到了挑战.讨论抽象测试套生成方法和适配技术,提出了LTS(labeled transition system)到BT(behavior tree)的转换算法,从而使TTCN(test and testing control notation)测试套可以通过转换嵌入式软件的LTS描述产生.还介绍了基于上述转换算法的嵌入式软件测试工具包,以及一个嵌入式物联网识读器测试案例研究.
其他文献
<正>今年以来,贺州市交通运输部门积极开展基层调研活动,分析研究货车驾驶员安全文明驾驶培训专项行动考核考试工作存在的问题,并采取多项措施解决存在的问题。该局一是于4月
棉籽饼是棉籽经榨油后剩余的副产品,富含蛋白质、磷等营养物质,可作饲料或肥料。但棉籽饼中含有一种称为棉酚的有毒物质,由于在饲养过程中单一饲喂棉籽饼或饲喂未进行加工脱
This study is motivated by the interesting relationship between the income Kuznets curve and the carbon Kuznets curve.This paper focuses on the interaction effe
随着互联网、物联网的高速发展和它们在各领域的日益普及,全球信息总量日滋月益,人类已走进大数据时代。在审计行业,大数据时代要求审计单位实现对数据的深度采集、海量存储
律师代理申诉制度是深入贯彻党的十八届四中全会精神的制度创新。在检察机关的试行中,律师代理申诉对破解社会治理顽疾、保障控告申诉人权利救济、重树司法权威有积极的促进
高分子催化剂,是对化学反应具有催化作用的高分子.在生物体内所进行的化学反应,几乎全部是酶催化的.酶是由各种氨基酸连结组成的高分子,有的还含有金属离子(金属酶).因此,酶
在各方面因素的共同作用下,锌的金融属性正逐渐褪去,并在成本线附近悄然筑底,同时季节性因素减弱亦促使锌价近期表现低迷。锌在供应过剩局面不改的情况下,总体弱势局面难改。
文章首先对国内外相关领域的现状进行了简单的介绍和评述,重点介绍了所采用的满意协调多目标优化方法,以及在优化前所进行的正交回归预处理。考核算例表明:优化效率显著提高,
《鹿鸣》是周宣王继位之初写自己宴会宗族大臣的诗,其主旨在于亲和宗族。《诗序》说:“《鹿鸣》,燕群臣嘉宾也。既饮食之,又实币帛筐篚,以将其厚意,然后忠臣嘉宾得尽其心矣。
到目前为止，多发性骨髓瘤（multiple myeloma, MM）仍是一种不可完全治愈的疾病，一部分患者在经常规治疗达完全缓解(complete remission, CR)后仍可出现复发、耐药，其治疗效果并没有