嵌入式软件系统的实时建模方法研究  

作　　者：李芳颂[1] 王锋[1] 张弛 

机构地区：[1]黑龙江省计算中心,黑龙江哈尔滨150028 [2]中华人民共和国黑龙江出入境检验检疫局,黑龙江哈尔滨150001

出　　处：《硅谷》2014年第24期29-30,共2页

基　　金：黑龙江省自然科学基金项目(F201235)资助

摘　　要：测试需求模型采用形式化语言构建,对于系统测试实现自动化具有重要促进作用。本文基于面向对象思想,采用状态图作为核心技术,与类图相结合提出适用于嵌入式软件系统实际测试需要的一种实时建模方法。该方法对于需求模型的构建直观简洁易用,与测试用例生成策略相结合,能够实现测试用例的自动生成。

关 键 词：嵌入式软件系统 实时建模 建模方法 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]