摘要
提出了一种基于扩展UML statecharts的协议一致性测试方法。实时扩展使得UML statecharts可直接描述时间约束,方便进行一致性测试;以FREE(Flattened Regular Expression)模型图为基础生成抽象测试序列,然后根据时间覆盖准则,生成实时测试序列。
An approach to protocol conformance testing based on extended UML Statecharts is presented. Real-time extensions are proposed so that the time-extended Statecharts can describe time constraints directly. The abstract test cases of protocol testing are generated based on FREE model. Finally, the real-time test cases are generated according to time coverage criteria.
出处
《计算机应用与软件》
CSCD
北大核心
2007年第12期15-16,125,共3页
Computer Applications and Software
基金
国家自然科学基金项目(60373072)
上海市教委基金项目(05AZ70)