基于扩展UML statecharts的协议测试  

PROTOCOL TESTING METHOD BASED ON EXTENDED UML STATECHARTS

作　　者：费立志[1] 缪淮扣[1] 

机构地区：[1]上海大学计算机工程与科学学院,上海200072

出　　处：《计算机应用与软件》2007年第12期15-16,125,共3页Computer Applications and Software

基　　金：国家自然科学基金项目(60373072);上海市教委基金项目(05AZ70)

摘　　要：提出了一种基于扩展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.

关 键 词：一致性测试 扩展 UML STATECHARTS 测试用例 

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