计算机科学 ›› 2018, Vol. 45 ›› Issue (9): 75-80.doi: 10.11896/j.issn.1002-137X.2018.09.011

• 第十六届全国软件与应用学术会议 • 上一篇    下一篇

硬件系统自动化测试的多视角建模及案例研究

孟翰, 吴际, 胡京徽, 刘超, 杨海燕, 孙新颖   

  1. 北京航空航天大学计算机学院 北京100191
  • 收稿日期:2017-10-07 出版日期:2018-09-20 发布日期:2018-10-10
  • 作者简介:孟 翰(1993-),男,硕士,主要研究领域为软件需求建模,E-mail:mengh_buaa@163.com;吴 际(1974-),男,博士,副教授,主要研究领域为软件安全性与可靠性等;胡京徽(1992-),男,硕士,主要研究领域为软件需求等;刘 超(1958-),男,博士,教授,主要研究领域为软件测试等;杨海燕(1974-),女,硕士,讲师,主要研究领域为软件测试等;孙新颖(1982-),男,硕士,主要研究领域为自动化测试等。
  • 基金资助:
    本文受科工局技术基础项目(JSZL2014601B008)资助。

Modeling in Multiple Views and Industrial Case Study of Automatic Test for Hardware System

MENG Han, WU Ji, HU Jing-hui, LIU Chao, YANG Hai-yan, SUN Xin-ying   

  1. School of Computer Science and Engineering,Beihang University,Beijing 100191,China
  • Received:2017-10-07 Online:2018-09-20 Published:2018-10-10

摘要: 针对硬件设备的自动测试设备(ATE)的开发通常是一个冗长、耗时的任务,开发者需要向来自不同领域的专业人员了解被测设备的外部端口、信号、测试流程和信号检查等多种类型的信息,逐步确定开发需求。在该过程中,ATE的开发人员面临的最大困难是缺乏一种规范的模型,以描述由不同合作方提供的测试信息,导致产出的测试文档篇幅长、不易理解,容易出现错误等问题。文中提出面向ATE领域的多视角建模方法来规范化地描述ATE中的测试信息并检查信息的一致性,最后以真实工业案例说明其有效性。

关键词: 测试文档, 多视角建模方法, 一致性, 自动测试设备

Abstract: The development of ATE(Automatic Test Equipment) of hardwore system is a tedious task.It requires developers to understand various information about external ports,signals,test procedures and signal inspections of mea-sured equipment from specialists,thus comfirming the demand of development.In this process,the most complicated issue for developers is the lack of a normative model,which can describe the test information from various collaborators.This issue results in several problems of verboseness of test documents,difficulty of understanding and excess of errors.This paper proposed anATE domain-oriented multi-angle views modeling method.This model can normalize the test information of ATE and support the consistency checking.In the meantime,this paper gave an industrial case to demonstrate the effectiveness of the model.

Key words: ATE, Consistency, Multi-angle views modeling method, Test documents

中图分类号: 

  • TP311
[1]ISARD M.Autopilot:automatic data center management[J].
Acm Sigops Operating Systems Review,2007,41(2):60-67.
[2]MJ V D L,DUDOIT S,POLLARD K S.Augmentation procedures for control of the generalized family-wise error rate and tail probabilities for the proportion of false positives[J].Statistical Applications in Genetics & Molecular Biology,2004,3(1):63-68.

[3]YANG M.Application of Standardized Hypertext and Info Database to Auto Test Equipment Software[J].Computer Mea-surement & Control,2009,25(Suppl 1):131-138.
[4]DRENKOW G.Future Test System Architecture[C]∥IEEE
Autotestcon.New York: IEEE Press,2004:49-56.
[5]ROSS W A.The Impact of Nest Generation Test Technology on Aviation Maintenance[C]∥IEEE Autotestcon.New York:IEEE Press,2003:59-66.
[6]IEEE-SA Standards Board.IEEE trial-use standard for a broadbased environment for test(ABBET):IEEE Std 1226-1998[S].New York:IEEE,1993.
[7]WENG W,JIANU O A.A Smart Sensing Unit for Vibration Measurement and Monitoring[J].IEEE/ASME Transactiona on Mechatronica,2010,2(15):70-78.
[8]LI E H,LIANG X.Software design for supporting parallel test of automatic test system[J].Measurement and control technology,2008,27(3):7-9.
[9]OMG (Object Management Group).Object Constraint Lan-guage 2.3.1[J].Cmis.brighton.ac.uk,2012,91(44Part2):137-145.
[10]RICHTERS M,GOGOLLA M.Validating UML Models and
OCL Constraints[J].Lecture Notes in Computer Science,2000,1939:265-277.
[11]AKEHURST D H,BORDBAR B.On Querying UML Data
Models with OCL[C]∥International Conference on the Unified Modeling Language,Modeling Languages,Concepts,and TOOLS.Springer-Verlag,2001:91-103.
[12]SUMATHI S,SUREKHA P.LabVIEW based Advanced In-strumentation Systems[M].Berlin:Springer Berlin Heidelberg,2007.
[13]KLINGER T.Image Processing with LabVIEW and IMAQ Vision[C]∥Pearson Education.2003:87-99.
[14]BEIZER B.Black-box testing: techniques for functional testing of software and systems[M].New Jersey:John Wiley & Sons,Inc.,1995:98-117.
[15]JORGENSEN A,WHITTAKER J A.An API testing method[C]∥Proceedings of the International Conference on Software Testing Analysis & Review (STAREAST 2000).2000.
[16]VIERIA M,DIAS M,RICHARDSON D.Object-Oriented Specification-Based Testing Using UML Statechart Diagrams[M].New York: ACM Press,2000:246-247.
[17]POORE J H.Introduction to the special issue on: model-based statistical testing of software intensive systems[J].Information and Software Technology,2000,42(12):797-799.
[1] 周慧, 施皓晨, 屠要峰, 黄圣君.
基于主动采样的深度鲁棒神经网络学习
Robust Deep Neural Network Learning Based on Active Sampling
计算机科学, 2022, 49(7): 164-169. https://doi.org/10.11896/jsjkx.210600044
[2] 靳利贞, 李庆忠.
基于接缝一致性准则的结构纹理图像快速合成算法
Fast Structural Texture Image Synthesis Algorithm Based on Seam ConsistencyCriterion
计算机科学, 2022, 49(6): 262-268. https://doi.org/10.11896/jsjkx.210400039
[3] 许华杰, 陈育, 杨洋, 秦远卓.
基于混合样本自动数据增强技术的半监督学习方法
Semi-supervised Learning Method Based on Automated Mixed Sample Data Augmentation Techniques
计算机科学, 2022, 49(3): 288-293. https://doi.org/10.11896/jsjkx.210100156
[4] 刘意, 毛莺池, 程杨堃, 高建, 王龙宝.
基于邻域一致性的异常检测序列集成方法
Locality and Consistency Based Sequential Ensemble Method for Outlier Detection
计算机科学, 2022, 49(1): 146-152. https://doi.org/10.11896/jsjkx.201000156
[5] 夏中, 向敏, 黄春梅.
基于CHBL的P2P视频监控网络分层管理机制
Hierarchical Management Mechanism of P2P Video Surveillance Network Based on CHBL
计算机科学, 2021, 48(9): 278-285. https://doi.org/10.11896/jsjkx.201200056
[6] 赵潇, 李仕林, 李凡, 余正涛, 张林华, 杨勇.
局部细粒度信息引导的双循环一致性绝缘子缺陷样本生成
Double-cycle Consistent Insulator Defect Sample Generation Method Based on Local Fine-grainedInformation Guidance
计算机科学, 2021, 48(6A): 581-586. https://doi.org/10.11896/jsjkx.200500026
[7] 郭文, 尹童灵, 张天柱, 徐常胜.
时间一致性保持的多任务稀疏深度表达视觉跟踪
Temporal Consistency Preserving Multi-Mask Sparse Deep Representation for Visual Tracking
计算机科学, 2021, 48(6): 110-117. https://doi.org/10.11896/jsjkx.200800212
[8] 黄鑫权, 刘爱军, 梁小虎, 王桁.
基于矩阵论的一致性控制算法收敛速度分析
Matrix Theory Aided Convergence Analysis of Consensus Behavior in FANET with Beacon Loss
计算机科学, 2021, 48(6): 288-295. https://doi.org/10.11896/jsjkx.201000137
[9] 高枫越, 王琰, 朱铁兰.
有适应力的分布式状态估计方法
Resilient Distributed State Estimation Algorithm
计算机科学, 2021, 48(5): 308-312. https://doi.org/10.11896/jsjkx.200300117
[10] 张子良, 庄毅, 叶彤.
基于元模型的协同建模模型组装与更新方法
Cooperative Modeling Model Combination and Update Method Based on Meta-model
计算机科学, 2021, 48(12): 67-74. https://doi.org/10.11896/jsjkx.201100024
[11] 欧阳鹏, 陆璐, 张凡龙, 邱少健.
基于迁移学习和过采样技术的跨项目克隆代码一致性维护需求预测
Cross-project Clone Consistency Prediction via Transfer Learning and Oversampling Technology
计算机科学, 2020, 47(9): 10-16. https://doi.org/10.11896/jsjkx.200400041
[12] 赵学远, 周绍磊, 王帅磊, 闫实.
切换拓扑条件下的多无人机系统编队包含控制
Formation Containment Control of Multi-UAV System Under Switching Topology
计算机科学, 2020, 47(6A): 577-582. https://doi.org/10.11896/JsJkx.190700064
[13] 李笑宇,高清维,卢一相,孙冬.
一种根据图像能量调整的图像融合方法
Image Fusion Method Based on Image Energy Adjustment
计算机科学, 2020, 47(1): 153-158. https://doi.org/10.11896/jsjkx.181202437
[14] 陈静, 舒强, 谢昊飞.
基于故障定位的测试用例优先排序方法
Priority Ranking Method of Test Cases Based on Fault Location
计算机科学, 2019, 46(8): 239-243. https://doi.org/10.11896/j.issn.1002-137X.2019.08.039
[15] 徐耀丽, 李战怀.
基于概率推断的质量控制智能体
Quality Control Agent Based on Probability Inference
计算机科学, 2019, 46(4): 8-13. https://doi.org/10.11896/j.issn.1002-137X.2019.04.002
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!