硅谷
硅穀
규곡
SILICON VALLEY
2014年
24期
29-30
,共2页
李芳颂%王锋%张弛
李芳頌%王鋒%張弛
리방송%왕봉%장이
嵌入式软件系统%实时建模%建模方法
嵌入式軟件繫統%實時建模%建模方法
감입식연건계통%실시건모%건모방법
测试需求模型采用形式化语言构建，对于系统测试实现自动化具有重要促进作用。本文基于面向对象思想，采用状态图作为核心技术，与类图相结合提出适用于嵌入式软件系统实际测试需要的一种实时建模方法。该方法对于需求模型的构建直观简洁易用，与测试用例生成策略相结合，能够实现测试用例的自动生成。
測試需求模型採用形式化語言構建，對于繫統測試實現自動化具有重要促進作用。本文基于麵嚮對象思想，採用狀態圖作為覈心技術，與類圖相結閤提齣適用于嵌入式軟件繫統實際測試需要的一種實時建模方法。該方法對于需求模型的構建直觀簡潔易用，與測試用例生成策略相結閤，能夠實現測試用例的自動生成。
측시수구모형채용형식화어언구건，대우계통측시실현자동화구유중요촉진작용。본문기우면향대상사상，채용상태도작위핵심기술，여류도상결합제출괄용우감입식연건계통실제측시수요적일충실시건모방법。해방법대우수구모형적구건직관간길역용，여측시용례생성책략상결합，능구실현측시용례적자동생성。
