论文部分内容阅读
在可视化软件测试系统中，测试用例来源于引起对象状态转移的前置条件和触发事件，模拟界面控件状态由消息驱动产生转移变迁的执行特点形成界面状态因果图，提出了基于终态的测试树及其生成算法，讨论了利用这种测试树及相应覆盖准则生成测试用例的方法，最后给出了一个应用实例。
基于界面状态因果图的测试用例生成
【摘 要】
：
在可视化软件测试系统中，测试用例来源于引起对象状态转移的前置条件和触发事件，模拟界面控件状态由消息驱动产生转移变迁的执行特点形成界面状态因果图，提出了基于终态的测试树
【机 构】
：
湛江师范学院计算机系,华南理工大学计算机学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2003年19期
【基金项目】
：
湛江师范学院自然科学研究重点资助项目
其他文献
论文详细介绍了基于Intel 80c196kc的CAN总线系统智能节点设计，包括硬件设计和软件设计，其中在软件设计中给出了SJAl000初始化、报文发送、报文接收的流程图。该智能节点已应用
目的：探讨采用可延伸的外固定支架微创治疗后踝骨折的手术方法和临床疗效。方法：选取从2013年1月至2014年9月收治的36例后踝骨骨折的患者,采用可延伸的外固定支架微创治疗后踝
新一代静止图像国际压缩标准JPEG2000因其良好的压缩性能和优越的互操作机制而受到图像图形业界的广泛关注。JPEG20010标准中的Part l给出了JPEG20010的基本核心系统，Part2提