文献类型：期刊文章

作　　者：殷永峰[1] 郑本焘[1] 陆民燕[1] 倪红英[2]

机构地区：[1]北京航空航天大学可靠性与系统工程学院,北京100191 [2]航空电子系统综合技术国防科技重点实验室,上海200233

出　　处：《系统工程与电子技术》

基　　金：国家高技术研究发展计划(863计划)资助(2007AA01Z145);航空科学基金(20095551025)资助课题

年　　份：2011

卷　　号：33

期　　号：3

起止页码：694-699

语　　种：中文

收录情况：BDHX、BDHX2008、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号：20111913972300)、IC、INSPEC、JST、RCCSE、SCOPUS、ZGKJHX、ZMATH、核心刊

摘　　要：将统一建模语言(unified modeling language,UML)和对象约束语言(object constraint language,OCL)引入嵌入式软件测试领域,首先提出了一种基于UML实时扩展的嵌入式软件测试建模过程。然后,给出了UML状态图和类图的实时扩展方法。最后,结合航空电子系统嵌入式软件测试用例生成过程,详细阐述了被测系统的静态和动态建模,提出了扩展的测试序列定义及其生成方法,最终将所生成测试用例采用扩展标记语言(extensible markup language,XML)格式存储。工程应用验证表明,上述方法可充分发挥UML作为工业标准的工具资源优势,提高嵌入式软件测试用例生成的准确性、有效性和自动化程度。

关 键 词：软件工程  自动化测试 统一建模语言 嵌入式软件 测试用例

分 类 号：TP311]