期刊文献+
共找到87篇文章
< 1 2 5 >
每页显示 20 50 100
UML2.0 Testing Profile到TTCN-3的映射研究
1
作者 梁曦 魏仰苏 《杭州电子科技大学学报(自然科学版)》 2007年第4期17-21,共5页
分析了U2TP与标准化测试描述语言测试和测试控制标记法之间的对应关系,提出了一种从U2TP到测试和测试控制标记法的映射方法,并给出了一个图书馆借阅系统的应用实例。应用该映射方法,可在建模初期基于系统模型构造完整的测试思想,从而在... 分析了U2TP与标准化测试描述语言测试和测试控制标记法之间的对应关系,提出了一种从U2TP到测试和测试控制标记法的映射方法,并给出了一个图书馆借阅系统的应用实例。应用该映射方法,可在建模初期基于系统模型构造完整的测试思想,从而在初始阶段就能够有效限定测试例的数量并产生真正有价值的测试例。 展开更多
关键词 统一建模 测试和测试控制标记法 模型驱动架构 一致性测试
在线阅读 下载PDF
Initial virtual flight test for a dynamically similar aircraft model with control augmentation system 被引量:14
2
作者 Guo Linliang Zhu Minghong +2 位作者 Nie Bowen Kong Peng Zhong Chengwen 《Chinese Journal of Aeronautics》 SCIE EI CAS CSCD 2017年第2期602-610,共9页
To satisfy the validation requirements of flight control law for advanced aircraft,a wind tunnel based virtual flight testing has been implemented in a low speed wind tunnel.A 3-degree-offreedom gimbal,ventrally insta... To satisfy the validation requirements of flight control law for advanced aircraft,a wind tunnel based virtual flight testing has been implemented in a low speed wind tunnel.A 3-degree-offreedom gimbal,ventrally installed in the model,was used in conjunction with an actively controlled dynamically similar model of aircraft,which was equipped with the inertial measurement unit,attitude and heading reference system,embedded computer and servo-actuators.The model,which could be rotated around its center of gravity freely by the aerodynamic moments,together with the flow field,operator and real time control system made up the closed-loop testing circuit.The model is statically unstable in longitudinal direction,and it can fly stably in wind tunnel with the function of control augmentation of the flight control laws.The experimental results indicate that the model responds well to the operator's instructions.The response of the model in the tests shows reasonable agreement with the simulation results.The difference of response of angle of attack is less than 0.5°.The effect of stability augmentation and attitude control law was validated in the test,meanwhile the feasibility of virtual flight test technique treated as preliminary evaluation tool for advanced flight vehicle configuration research was also verified. 展开更多
关键词 3-degree-of-freedom gimbal Dynamic test Flight dynamics simulation Flight control system Real time Wind tunnel
原文传递
基于AdmiTest的CTCS-3级列控系统自动测试平台 被引量:4
3
作者 贺广宇 范明 +1 位作者 程剑锋 黄宏福 《中国铁道科学》 EI CAS CSCD 北大核心 2013年第4期128-136,共9页
根据CTCS-3级列控系统的特点,结合欧洲列车运行控制系统(ETCS)测试经验,研发基于通用测试平台AdmiTest的CTCS-3级列控系统自动测试平台CARSTool。CARSTool采用激励-反馈机制实现单系统或多系统的闭环测试,包含测试对象、仿真系统、链路... 根据CTCS-3级列控系统的特点,结合欧洲列车运行控制系统(ETCS)测试经验,研发基于通用测试平台AdmiTest的CTCS-3级列控系统自动测试平台CARSTool。CARSTool采用激励-反馈机制实现单系统或多系统的闭环测试,包含测试对象、仿真系统、链路、消息、激励、响应和测试序列等基本元素,具有线路工程数据配置、通信链路配置、站场线路配置、PI Object、仿真系统、列车运行仿真和自动测试序列7个功能模块。以郑西客运专线列控数据为例,采用CARSTool对CTCS-3级列控系统进行仿真测试。测试结果表明:通过规范化语法严格卡控测试步骤,根据CTCS-3级列控系统测试案例库以及激励-反馈信息判断测试项目的执行状态,CARSTool实现了测试计划、执行过程和测试结果的闭环处理;说明CARSTool能够实现CTCS-3级列控系统的自动测试。 展开更多
关键词 CTCS-3级列控系统 激励-反馈机制 系统自动测试 测试平台
在线阅读 下载PDF
基于Testcase Designer的列车运行控制系统测试方法的研究 被引量:2
4
作者 陈黎洁 孙超 +1 位作者 卢利勇 贺红阳 《铁路计算机应用》 2017年第1期18-22,共5页
针对CTCS-3级列控系统的需求规范,结合欧洲列车运行控制系统(ETCS)的测试经验,研究基于Testcase Designer的CTCS-3级列控系统自动测试方法。Testcase Designer主要用于将测试案例模块化,通过优化编写流程,生成符合测试平台需求的测试序... 针对CTCS-3级列控系统的需求规范,结合欧洲列车运行控制系统(ETCS)的测试经验,研究基于Testcase Designer的CTCS-3级列控系统自动测试方法。Testcase Designer主要用于将测试案例模块化,通过优化编写流程,生成符合测试平台需求的测试序列,为测试项目的执行提供必要的关键数据点。同时,Testcase Designer可供存储、导出及发布。其测试案例中的关键输入输出接口(如BTM、TIU、RTM等)配置信息均已通过配置文件形式实现。以列控系统无线闭塞中心(RBC)切换场景为例,采用Testcase Designer编写该场景的测试案例。研究结果表明:Testcase Designer实现了功能特征、参考需求、测试步骤等元素的集成,编写的测试案例是合理的。 展开更多
关键词 CTCS-3级列控系统 测试案例 运营场景 RBC切换
在线阅读 下载PDF
基于模型的核安全级仪控系统验证与确认方法研究
5
作者 杨秉政 郑伟 +3 位作者 余毅 戴瑞东 朱夕辉 龚思嘉 《自动化仪表》 2026年第1期38-42,48,共6页
为解决核安全级数字仪控系统验证与确认(V&V)过程中存在的问题,对核安全级V&V要求和基于模型的系统工程(MBSE)理论进行了研究。传统的V&V工作模式存在前序阶段问题到后期才被发现、验证环节过于依赖V&V人员能力、确认... 为解决核安全级数字仪控系统验证与确认(V&V)过程中存在的问题,对核安全级V&V要求和基于模型的系统工程(MBSE)理论进行了研究。传统的V&V工作模式存在前序阶段问题到后期才被发现、验证环节过于依赖V&V人员能力、确认测试用例错误等问题,容易导致返工、效率低和人因错误。针对这些问题,提出了基于模型的核安全级仪控系统V&V方法,即通过V&V活动建立一套仿真系统。使用该方法可促使V&V工程师正向和结构化地思考问题、通过开发模型实现验证设计的完整性和一致性、整合零碎的V&V活动和提高V&V效率。同时,介绍了基于模型的V&V理论在V&V各阶段活动中的详细步骤。该方法基于MBSE理念,将模型仿真和V&V过程结合。该方法可以提高系统安全性和可靠性,从而为核电仪控系统生命周期数字化提供参考。 展开更多
关键词 核安全系统 验证与确认 基于模型的系统工程 数字化仪控系统 回归分析和测试 数字孪生
在线阅读 下载PDF
On Distributed Concurrent Multi-Port Router Test System
6
作者 宋波 徐娟 《Journal of Electronic Science and Technology of China》 2005年第2期103-107,共5页
This paper presents a framework of the distributed concurrent multi-port-testing test system (CMPT-TS) for IP routers under development at Sichuan Network Communication Key Laboratory. Having analyzed the actuality of... This paper presents a framework of the distributed concurrent multi-port-testing test system (CMPT-TS) for IP routers under development at Sichuan Network Communication Key Laboratory. Having analyzed the actuality of concurrent testing for routers, this paper develops a distributed architecture of CMPT-TS and discusses its functional components in detail. Moreover, a new test definition language, CMPT definition language, is also introduced simply. 展开更多
关键词 concurrent multi-port-testing test system CMPT definition language testing and test control notation v3
在线阅读 下载PDF
健脾止泻标准汤剂提取工艺优化与质量控制
7
作者 陈素英 李月琴 《中国药业》 2026年第5期72-77,共6页
目的优选健脾止泻标准汤剂的提取工艺,并建立指纹图谱及同时测定其中4种成分含量的高效液相色谱(HPLC)法。方法以煎煮次数、加水量、煎煮时间为考察因素,以提取液中木香烃内酯、去氢木香内酯、和厚朴酚、厚朴酚含量和出膏率的综合评分... 目的优选健脾止泻标准汤剂的提取工艺,并建立指纹图谱及同时测定其中4种成分含量的高效液相色谱(HPLC)法。方法以煎煮次数、加水量、煎煮时间为考察因素,以提取液中木香烃内酯、去氢木香内酯、和厚朴酚、厚朴酚含量和出膏率的综合评分为评价指标,采用单因素试验结合L_(9)(3^(4))正交试验法优选提取工艺,并进行验证。采用中药色谱指纹图谱相似度评价系统(2012版)进行相似度评价,建立15批样品的HPLC叠加指纹图谱,与对照指纹图谱比对,标定并指认共有成分;采用HPLC法测定制剂中指认出的共有成分的含量,并计算转移率。结果最佳提取工艺为加8倍量水,煎煮2次,每次30 min。此工艺条件下,提取液中木香烃内酯、去氢木香内酯、和厚朴酚、厚朴酚的含量分别为19.45,16.82,1.82,15.69µg/g(n=3),出膏率为7.91%(n=3),综合评分为98.90。15批样品的HPLC叠加指纹图谱共标定20个共有峰,指认出4种成分,分别为木香烃内酯(峰17)、去氢木香内酯(峰18)、和厚朴酚(峰19)、厚朴酚(峰20);相似度为0.915~1.000。3批样品中上述4种成分的转移率分别为10.39%,9.88%,8.78%,22.74%,出膏率为7.91%。结论该提取工艺稳定、可行,HPLC含量测定和指纹图谱评价方法可用于健脾止泻方标准汤的质量控制。 展开更多
关键词 健脾止泻标准汤剂 L_(9)(3^(4))正交试验法 高效液相色谱法 指纹图谱 提取工艺 质量控制
暂未订购
Detecting Global Vegetation Changes Using Mann-Kendal(MK) Trend Test for 1982–2015 Time Period 被引量:15
8
作者 GUO Meng LI Jing +2 位作者 HE Hongshi XU Jiawei JIN Yinghua 《Chinese Geographical Science》 SCIE CSCD 2018年第6期907-919,共13页
Vegetation is the main component of the terrestrial ecosystem and plays a key role in global climate change. Remotely sensed vegetation indices are widely used to detect vegetation trends at large scales. To understan... Vegetation is the main component of the terrestrial ecosystem and plays a key role in global climate change. Remotely sensed vegetation indices are widely used to detect vegetation trends at large scales. To understand the trends of vegetation cover, this research examined the spatial-temporal trends of global vegetation by employing the normalized difference vegetation index(NDVI) from the Advanced Very High Resolution Radiometer(AVHRR) Global Inventory Modeling and Mapping Studies(GIMMS) time series(1982–2015). Ten samples were selected to test the temporal trend of NDVI, and the results show that in arid and semi-arid regions, NDVI showed a deceasing trend, while it showed a growing trend in other regions. Mann-Kendal(MK) trend test results indicate that 83.37% of NDVI pixels exhibited positive trends and that only 16.63% showed negative trends(P < 0.05) during the period from 1982 to 2015. The increasing NDVI trends primarily occurred in tree-covered regions because of forest growth and re-growth and also because of vegetation succession after a forest disturbance. The increasing trend of the NDVI in cropland regions was primarily because of the increasing cropland area and the improvement in planting techniques. This research describes the spatial vegetation trends at a global scale over the past 30+ years, especially for different land cover types. 展开更多
关键词 vegetation trend NDVI3g.v1 Mann-Kendall (MK) trend test land cover types
在线阅读 下载PDF
The Deformation Analysis of the 3D Alignment Control Network Based on the Multiple Congruence Models 被引量:1
9
作者 Xudong ZHANG Wenjun CHEN +5 位作者 Xiaodong ZHANG Yajun ZHENG Bin ZHANG Shaoming WANG Jiandong YUAN Guozhen SUN 《Journal of Geodesy and Geoinformation Science》 CSCD 2023年第2期21-31,共11页
In the construction and maintenance of particle accelerators,all the accelerator elements should be installed in the same coordinate system,only in this way could the devices in the actual world be consistent with the... In the construction and maintenance of particle accelerators,all the accelerator elements should be installed in the same coordinate system,only in this way could the devices in the actual world be consistent with the design drawings.However,with the occurrence of the movements of the reinforced concrete cover plates at short notice or building deformations in the long term,the control points upon the engineering structure will be displaced,and the fitness between the subnetwork and the global control network may be irresponsible.Therefore,it is necessary to evaluate the deformations of the 3D alignment control network.Different from the extant investigations,in this paper,to characterize the deformations of the control network,all of the congruent models between the points measured in different epochs have been identified,and the congruence model with the most control points is considered as the primary or fundamental model,the remaining models are recognized as the additional ones.Furthermore,the discrepancies between the primary S-transformation parameters and the additional S-transformation parameters can reflect the relative movements of the additional congruence models.Both the iterative GCT method and the iterative combinatorial theory are proposed to detect multiple congruence models in the control network.Considering the actual work of the alignment,it is essential to identify the competitive models in the monitoring network,which can provide us a hint that,even the fitness between the subnetwork and the global control network is good,there are still deformations which may be ignored.The numerical experiments show that the suggested approaches can describe the deformation of the 3D alignment control network roundly. 展开更多
关键词 similarity transformation 3D alignment control network deformation analysis hypothesis testing iterative global congruence test iterative combinatorial theory
在线阅读 下载PDF
“北京三号”卫星热真空试验方法
10
作者 常静 裴一飞 《航天器环境工程》 2025年第1期52-57,共6页
“北京三号”卫星具有任务模式复杂、电子设备集成度高和功耗大等特点,如何提高外热流模拟的针对性、高效完成整星热真空试验是试验设计的关键。文章基于对该星热控设计和仪器设备工作特点的分析,从外热流的调节、星上加热回路状态设置... “北京三号”卫星具有任务模式复杂、电子设备集成度高和功耗大等特点,如何提高外热流模拟的针对性、高效完成整星热真空试验是试验设计的关键。文章基于对该星热控设计和仪器设备工作特点的分析,从外热流的调节、星上加热回路状态设置和星上设备工作模式设置等方面提出协同调整红外笼模拟外热流和卫星内热源的温度控制方法。热真空试验结果表明:星上设备温度得到有效控制,均未超过验收级试验温度的上下限;4个循环的设备温度一致性好。该温度控制方法有效验证了星上设备在热真空环境下的工作能力,为未来类似卫星热真空试验提供了经验参考。 展开更多
关键词 北京三号卫星 热真空试验 外热流 内热源 热设计
在线阅读 下载PDF
基于一步相转移-碳化法的电石渣制备纳米碳酸钙工艺研究
11
作者 蒋国华 王百年 +1 位作者 汪晨 杨保俊 《化工矿物与加工》 2025年第3期48-56,共9页
电石渣是电石法生产乙炔过程中产生的副产品,属于Ⅱ级工业固废,其主要成分是Ca(OH)_(2),实现电石渣的高值化、规模化、集约化利用,对于节约资源和保护环境具有重要意义。本文采用一步相转移-碳化法,以工业电石渣为原料制备纳米碳酸钙,以... 电石渣是电石法生产乙炔过程中产生的副产品,属于Ⅱ级工业固废,其主要成分是Ca(OH)_(2),实现电石渣的高值化、规模化、集约化利用,对于节约资源和保护环境具有重要意义。本文采用一步相转移-碳化法,以工业电石渣为原料制备纳米碳酸钙,以Ca^(2+)相转移率为考察指标,开展了单因素条件试验和正交试验,采用X射线衍射仪(XRD)、场发射扫描电子显微镜(FE-SEM)、场发射透射电子显微镜(FE-TEM)等手段对样品形貌和结构进行表征分析。结果表明:适宜的相转移反应工艺条件为相转移剂摩尔比4∶3、反应温度3℃、反应时间20 min、搅拌速率200 r/min,此条件下Ca^(2+)相转移率达91.97%;经筛选确定DG_(2)为较适宜的晶型控制剂,较优的碳化工艺条件为碳化温度10℃、CO_(2)流速0.3 L/min、晶型控制剂添加量3%,此条件下制备的样品为纯相方解石晶型纳米碳酸钙,粒径为30 nm,粒度分布均匀;相转移剂中Y^(3-)通过络合形成的空间位阻及在CaCO_(3)晶体表面的吸附,会影响CaCO_(3)粒子的长大;晶型控制剂DG_(2)可在高浓度Y^(3-)影响下,与Ca^(2+)螯合形成稳定的环状络合物,并通过在碳酸钙晶体表面的吸附作用,共同促进纳米碳酸钙的形成。研究成果可为工业电石渣综合利用研究提供新思路。 展开更多
关键词 电石渣 相转移剂 晶型控制剂 碳化法 纳米碳酸钙 正交试验 条件试验 络合反应
在线阅读 下载PDF
基于云端协同的汽车电控单元软件开发流程优化研究
12
作者 季双 王泽兴 +2 位作者 杨佳晨 彭剑坤 李挺 《汽车实用技术》 2025年第10期27-33,共7页
随着汽车行业的快速发展,汽车电控单元(ECU)软件开发成为智能化和网联化趋势中的关键技术。该研究基于V字型开发流程,敏捷开发理论和测试左移理论,针对汽车电控单元软件开发流程进行优化,以实现云端工具链的高效协同管理。研究内容包括... 随着汽车行业的快速发展,汽车电控单元(ECU)软件开发成为智能化和网联化趋势中的关键技术。该研究基于V字型开发流程,敏捷开发理论和测试左移理论,针对汽车电控单元软件开发流程进行优化,以实现云端工具链的高效协同管理。研究内容包括小型V流程的集成、项目创建与审批机制、开发工具链管理、资源分配优化、进度控制策略、质量控制体系、沟通协调机制、变更迭代流程以及数据追溯管理。该研究对于提升汽车电控单元软件开发的专业化水平,降低开发成本,确保软件的可靠性和安全性具有重要的理论和实践意义。 展开更多
关键词 云端协同 汽车电控单元 开发流程管理 V字型开发 测试左移 敏捷开发理论
在线阅读 下载PDF
基于TTCN-3底层协议测试方法研究 被引量:5
13
作者 孙晶 尚星星 +1 位作者 赵会群 朱鹏斌 《计算机应用研究》 CSCD 北大核心 2010年第11期4165-4167,4181,共4页
TTCN-3测试语言不仅可以应用于普通的协议测试,也可以应用于硬件系统、应用服务系统以及与操作系统和硬件相关的服务型底层协议的测试。将协议一致性框架应用到TTCN-3中,在原有测试方法基础上,基于本实验室开发的测试平台,提出了一种新... TTCN-3测试语言不仅可以应用于普通的协议测试,也可以应用于硬件系统、应用服务系统以及与操作系统和硬件相关的服务型底层协议的测试。将协议一致性框架应用到TTCN-3中,在原有测试方法基础上,基于本实验室开发的测试平台,提出了一种新的测试方法,并以ARP为例按照新的测试方法对其进行测试,验证了ARP的一致性和TTCN-3语言应用于底层协议的可能。 展开更多
关键词 测试及测试控制表示法第三版 测试方法 编码解码器 适配器 地址解析协议
在线阅读 下载PDF
TTCN-3语言类型系统到C++语言的翻译方案 被引量:4
14
作者 蒋凡 王建学 +1 位作者 章磊 陈军成 《计算机工程与应用》 CSCD 北大核心 2009年第30期65-68,72,共5页
在程序语言翻译技术中,如何有效地减少翻译后的代码数量是一个值得研究的性能问题。综合考虑TTCN-3语言中值和模板的定义和使用,提出一种新的TTCN-3语言到C++语言翻译方案。与现有的翻译方案相比,翻译后的C++代码与原TTCN-3代码比例由1... 在程序语言翻译技术中,如何有效地减少翻译后的代码数量是一个值得研究的性能问题。综合考虑TTCN-3语言中值和模板的定义和使用,提出一种新的TTCN-3语言到C++语言翻译方案。与现有的翻译方案相比,翻译后的C++代码与原TTCN-3代码比例由1∶20降低到1∶5左右。与此同时,新方案减少了类型信息副本的保存,提高内存的利用效率,更确切地说,提高了TTCN-3语言编译器和执行器的性能。此外,因为翻译后的C++代码与原TTCN-3代码基本一致,这使得代码的可读性得到改善,进而提高代码的可维护性。 展开更多
关键词 TTCN-3语言 翻译 类型支持库 类型信息
在线阅读 下载PDF
基于Web Service的TTCN-3远程测试系统 被引量:6
15
作者 孙萌 陈静 王鲁 《计算机应用与软件》 CSCD 北大核心 2012年第6期137-140,共4页
通过分析TTCN-3测试系统的通用结构,提出基于TTCN-3的远程测试概念,进而提出一种基于Web Service的TTCN-3远程测试系统体系架构,实现TTCN-3脚本的远程编辑、编译和执行,满足测试人员通过远程客户端自动地测试被测系统的需求。通过将该... 通过分析TTCN-3测试系统的通用结构,提出基于TTCN-3的远程测试概念,进而提出一种基于Web Service的TTCN-3远程测试系统体系架构,实现TTCN-3脚本的远程编辑、编译和执行,满足测试人员通过远程客户端自动地测试被测系统的需求。通过将该系统应用于某银行业务系统的测试,验证系统应用于远程自动化测试的有效性,提高测试效率。 展开更多
关键词 TTCN-3 WEB SERVICE 远程测试 远程测试系统
在线阅读 下载PDF
基于V模式的整车控制系统开发及模型单元测试 被引量:9
16
作者 田真 张曼雪 +3 位作者 董婷婷 郭永斌 金启前 赵福全 《汽车工程学报》 2012年第6期458-463,共6页
对整车控制系统的V模式开发流程进行了研究,在此基础上,以某纯电动车为实例,在模型在环仿真阶段,根据整车的控制策略和控制方法,对每一个模型建立一个或多个测试用例,分析测试方法及测试结果。通过该测试工作,保证各模块功能的完善性。
关键词 V模式开发流程 整车控制系统 模型单元测试
在线阅读 下载PDF
新型岩土地质力学模型试验系统的研制及应用 被引量:12
17
作者 张强勇 李术才 尤春安 《土木工程学报》 EI CSCD 北大核心 2006年第12期100-103,107,共5页
根据地质力学模型试验的特点,研制出一种新型岩土地质力学模型试验系统,该系统主要由盒式台架装置、带扁千斤顶的变荷加载板、液压加载控制试验台组成。其中盒式台架装置用于容纳试验模型并作为加载反力装置,带扁千斤顶的变荷加载板用... 根据地质力学模型试验的特点,研制出一种新型岩土地质力学模型试验系统,该系统主要由盒式台架装置、带扁千斤顶的变荷加载板、液压加载控制试验台组成。其中盒式台架装置用于容纳试验模型并作为加载反力装置,带扁千斤顶的变荷加载板用于给试验模型施加非均布荷载,液压加载控制试验台用于试验模型的自动加压与稳压。该系统具有规模大、整体稳定性好、尺寸可调、能进行同步非均匀加载,并具有加荷高、升压快速、持荷稳定的优点。将该系统应用于某一高速公路大型分岔隧道的三维地质力学模型试验研究,试验结果有效指导和优化了工程的设计和施工。 展开更多
关键词 地质力学模型试验系统 盒式台架装置 变荷加载板 液压加载控制试验台 分岔隧道三维试验模型
原文传递
资源三号卫星控制系统概述及在轨验证 被引量:16
18
作者 王淑一 刘祥 陈超 《空间控制技术与应用》 CSCD 北大核心 2015年第2期1-5,35,共6页
资源三号(ZY-3)卫星是一颗民用高分辨率立体测绘卫星.针对ZY-3卫星特点,对控制系统方案进行概述.通过星敏感器相对基准的标定以及星敏感器和陀螺联合滤波实现高精度姿态确定;通过设计结构滤波器和磁卸载力矩的前馈补偿实现三轴高稳定度... 资源三号(ZY-3)卫星是一颗民用高分辨率立体测绘卫星.针对ZY-3卫星特点,对控制系统方案进行概述.通过星敏感器相对基准的标定以及星敏感器和陀螺联合滤波实现高精度姿态确定;通过设计结构滤波器和磁卸载力矩的前馈补偿实现三轴高稳定度控制;通过轨迹规划实现大角度侧摆机动.根据卫星在轨运行数据,给出相应指标实现情况,对姿态控制系统的方案和指标满足情况进行在轨验证. 展开更多
关键词 ZY-3卫星 控制系统 方案设计 在轨验证
在线阅读 下载PDF
嵌入式API测试套生成方法和技术 被引量:2
19
作者 赵会群 孙晶 +1 位作者 张爆 王同林 《软件学报》 EI CSCD 北大核心 2014年第2期373-385,共13页
随着嵌入式计算机系统应用的不断扩展,嵌入式系统的可靠性引起了学术界和工业界的广泛关注,也提出了很多增进可靠性的方法和技术.然而,现有的方法和技术在测试套生成方面论述不多,所以在处理大批量嵌入式系统测试工作中遇到了挑战.讨论... 随着嵌入式计算机系统应用的不断扩展,嵌入式系统的可靠性引起了学术界和工业界的广泛关注,也提出了很多增进可靠性的方法和技术.然而,现有的方法和技术在测试套生成方面论述不多,所以在处理大批量嵌入式系统测试工作中遇到了挑战.讨论抽象测试套生成方法和适配技术,提出了LTS(labeled transition system)到BT(behavior tree)的转换算法,从而使TTCN(test and testing control notation)测试套可以通过转换嵌入式软件的LTS描述产生.还介绍了基于上述转换算法的嵌入式软件测试工具包,以及一个嵌入式物联网识读器测试案例研究. 展开更多
关键词 嵌入式软件 软件测试 测试与测试控制语言 标签转换系统
在线阅读 下载PDF
TTCN-3语言中基于过程通信的编译器实现 被引量:2
20
作者 蒋凡 范秀萍 《计算机工程》 CAS CSCD 北大核心 2016年第8期9-13,共5页
TTCN-3是国际标准测试语言,支持基于消息通信和基于过程通信2种通信方式。为满足分布式系统和云应用平台中对远程过程调用的测试需求,提出一种基于过程通信的高效编译器设计方案,采用模块化思想,实现从TTCN-3语言到C++语言的自动化翻译... TTCN-3是国际标准测试语言,支持基于消息通信和基于过程通信2种通信方式。为满足分布式系统和云应用平台中对远程过程调用的测试需求,提出一种基于过程通信的高效编译器设计方案,采用模块化思想,实现从TTCN-3语言到C++语言的自动化翻译,同时简化后期的执行器设计。实验结果表明,该方案可减少后期执行过程对平台的依赖性,并且翻译后的C++代码与TTCN-3代码相似,提高了代码的可维护性。 展开更多
关键词 TTCN-3语言 测试系统 基于过程通信 自动化编译器 编译模块
在线阅读 下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部