系统工程与电子技术
繫統工程與電子技術
계통공정여전자기술
SYSTEMS ENGINEERING AND ELECTRONICS
2011年
3期
694-699
,共6页
殷永峰%郑本焘%陆民燕%倪红英
慇永峰%鄭本燾%陸民燕%倪紅英
은영봉%정본도%륙민연%예홍영
软件工程%自动化测试%统一建模语言%嵌入式软件%测试用例
軟件工程%自動化測試%統一建模語言%嵌入式軟件%測試用例
연건공정%자동화측시%통일건모어언%감입식연건%측시용례
将统一建模语言(unified modeling language,UML)和对象约束语言(object constraint language,OCL)引入嵌入式软件测试领域,首先提出了一种基于UML实时扩展的嵌入式软件测试建模过程.然后,给出了UML状态图和类图的实时扩展方法.最后,结合航空电子系统嵌入式软件测试用例生成过程,详细阐述了被测系统的静态和动态建模,提出了扩展的测试序列定义及其生成方法,最终将所生成测试用例采用扩展标记语言(extensible markup language,XML)格式存储.工程应用验证表明,上述方法可充分发挥UML作为工业标准的工具资源优势,提高嵌入式软件测试用例生成的准确性、有效性和自动化程度.
將統一建模語言(unified modeling language,UML)和對象約束語言(object constraint language,OCL)引入嵌入式軟件測試領域,首先提齣瞭一種基于UML實時擴展的嵌入式軟件測試建模過程.然後,給齣瞭UML狀態圖和類圖的實時擴展方法.最後,結閤航空電子繫統嵌入式軟件測試用例生成過程,詳細闡述瞭被測繫統的靜態和動態建模,提齣瞭擴展的測試序列定義及其生成方法,最終將所生成測試用例採用擴展標記語言(extensible markup language,XML)格式存儲.工程應用驗證錶明,上述方法可充分髮揮UML作為工業標準的工具資源優勢,提高嵌入式軟件測試用例生成的準確性、有效性和自動化程度.
장통일건모어언(unified modeling language,UML)화대상약속어언(object constraint language,OCL)인입감입식연건측시영역,수선제출료일충기우UML실시확전적감입식연건측시건모과정.연후,급출료UML상태도화류도적실시확전방법.최후,결합항공전자계통감입식연건측시용례생성과정,상세천술료피측계통적정태화동태건모,제출료확전적측시서렬정의급기생성방법,최종장소생성측시용례채용확전표기어언(extensible markup language,XML)격식존저.공정응용험증표명,상술방법가충분발휘UML작위공업표준적공구자원우세,제고감입식연건측시용례생성적준학성、유효성화자동화정도.
