【摘 要】
：
提出了一种基于有限状态模型(FSM)的测试用例生成方法。首先,FSM中的状态由Web服务与用户交互产生的中间状态表示,FSM中的状态迁移及其标注由Web服务与用户间的消息交换表示;
论文部分内容阅读
提出了一种基于有限状态模型(FSM)的测试用例生成方法。首先,FSM中的状态由Web服务与用户交互产生的中间状态表示,FSM中的状态迁移及其标注由Web服务与用户间的消息交换表示;其次,借助正则表达式来描述Web服务交互过程的所有消息交换序列,并与Web服务的WSDL文档结合产生测试数据;最后,给出了满足FSM迁移覆盖准则的测试用例生成算法,并通过实验验证了该方法的有效性。
其他文献
在既有关于人民公社化运动急速推进的基层原因研究中,一般多强调干部对群众的强制或农民的平均主义诉求,却忽略了干部和群众作为生活在现实生活结构中的理性行动者对自己切身
随机振动主要研究动力学系统在随机激励作用下的响应特性,在机械、航空、航天、汽车、船舶等领域中存在着大量的随机振动,如飞行器的起飞、着陆、飞行过程及再发等等。如果重
基层协商民主是我国社会主义协商民主的重要组成部分,具有中国特色社会主义的鲜明特征,是协商民主理论的扩展,也是民主理论的延伸和创新。协商民主理论是民主理论的创新和发
随着Web服务的广泛使用和互联网上服务数量的增加,如何向用户提供最佳的服务选择列表成为了新的挑战。Web服务个性化推荐实现了由被动接受用户请求向主动感知用户需求的转变
在车站、车辆段、控制中心、集中冷站、主变电站等不同部位,机电设备安装与其他系统在施工中都存在着施工区域交叉和复杂的接口连接,所以在施工和调试过程中,需要监理做大量
随着中国政治的发展,汉语一步一步走出国门,世界人民学习汉语的热情高温不退,汉语在国际的地位日益稳定,对外汉语教师本土化的呼声也日益高涨。孔子学院设立奖学金派遣留学生
网络和新媒体对当代大学生思想政治教育带来机遇和挑战,以郧阳师范高等专科学校学生使用网络的新媒体的情况为样本开展调查,结果显网络和新媒体已成为青年大学生日常生活的重
1989年阿卡汗建筑奖评委开过两次会。评委在1月份对提名委员所提出的241个方案进行考虑,从中挑选出32个方案,供技术评析委员进行深入研究。随后于6月底,评委对这32个方案按
传销活动具有隐蔽性、欺骗性、非法敛财性,同时还具有黑社会暴力色彩。传销会影响社会经济秩序、危害家庭、引发刑事犯罪、破坏社会诚信道德体系等。大学生陷入传销的原因是
燕麦隶属于禾本科(Gramineae)燕麦属(Avena L.)一年生草本植物,我国是主产国之一。燕麦种植地区间气候等条件相差较大,丰富了燕麦种质资源的遗传多样性,了解其多样的遗传性对