陕西省自然科学基金(2009JM8003-5)
- 作品数：4 被引量：25H指数：2
- 相关作者：马春燕陆伟董云卫朱怡安朱宇峰更多>>
- 相关机构：西北工业大学北京航空航天大学更多>>
- 发文基金：陕西省自然科学基金国家高技术研究发展计划中国航空科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- Web服务自动化测试技术被引量：23
- 2012年
- Web服务(Web services)已成为当前和未来网络分布式应用的主流软件开发技术。如何确保Web服务软件的质量和可靠性是当前软件工程领域关注的焦点问题。分析了Web服务测试的层次和阶段,以及测试工具的现状,提出了Web服务自动化测试的技术框架,分析了此框架内Web服务操作、Web服务操作序列和Web服务组合WSB-PEL流程测试的关键技术,并研制了测试用例自动生成的原型系统,给出了实验结果,最后指出Web服务自动化测试技术值得进一步探讨的主题。
- 马春燕朱怡安陆伟
- 关键词：WEB服务自动化测试技术测试用例自动生成
- AADL测试模型的构造研究被引量：2
- 2010年
- 目前,结构分析和设计语言AADL在任务关键嵌入式系统领域有着良好的应用。为了保障任务关键软件的质量,文章提出基于AADL测试模型对AADL设计模型进行测试,以发现设计模型中存在的错误。研究给出了体现系统拓扑结构的AADL测试模型的形式定义及由AADL构造该测试模型的算法,基于该测试模型可以对AADL设计模型中构件交互的输入、输出端口序列和连接的正确性进行测试,并以飞行控制系统的AADL设计模型为例,阐释了研究成果。
- 马春燕董云卫朱宇峰陆伟
- 关键词：AADL
- 基于SystemC的AADL软构件仿真代码转换技术
- 2011年
- 目前,AADL在任务关键和安全关键嵌入式领域有着良好的应用。如何在设计阶段对AADL模型进行仿真,并根据仿真结果迭代构造和精化设计模型,以尽早发现设计模型中存在的问题,保障设计模型的质量,进而减少系统开发的代价,是目前急需解决的技术挑战。SystemC是一种软硬件协同仿真的系统描述语言,由此提出了AADL软构件到SystemC仿真代码的转换技术上,设计和实现了转换工具,并以航行控制系统为例,阐释了转换技术和基于SystemC的线程调度仿真。通过本研究成果,用户可以实现基于SystemC的AADL软构件的仿真,包括软构件之间交互、执行时间和线程调度的仿真等,用户也可以将研究成果与基于SystemC的AADL执行平台构件仿真相结合,对软硬件进行协同仿真。
- 马春燕董云卫陆伟朱晓燕
- 关键词：AADLSYSTEMC仿真
- 一种应用于RTPS的轮廓线修改算法
- 2010年
- 放射医疗技术中,放射治疗计划系统对CT、MRI等医学影像数据进行处理,以获得体表、器官等医生所关注区域的轮廓,这是进行最终放射剂量计算的重要基础。文章针对自动提取或手动勾画的感兴趣区域的轮廓,提出并实现了一种修改算法。该算法可对自动提取不准确和勾画不正确的区域轮廓线进行修改,以达到用户预期的效果。算法实现方便,运行交互性好,能满足放射治疗计划系统的要求。
- 武君胜谌洪初
