【摘 要】
：
C／S模式的软件系统具有多层次结构、采用面向对象编程技术等特点，为其生成一致性测试变得十分困难。使用UML状态图，为一个C／S模式的软件系统建模，将建立好的模型转换为扩展的有限
【基金项目】
：
科技部科技支撑计划重点项目(No.2006BAH02A11);国家自然科学基金项目(60563004)资助
论文部分内容阅读
C／S模式的软件系统具有多层次结构、采用面向对象编程技术等特点，为其生成一致性测试变得十分困难。使用UML状态图，为一个C／S模式的软件系统建模，将建立好的模型转换为扩展的有限状态机，并在该有限状态机上使用UIO序列与中国邮递员算法相结合的方法进行测试例的生成，最后应用数据流分析技术对生成的测试例进行分析，排除了其中不可执行的测试例。该方法利用了UML状态图易于建模的优点，降低了测试生成的难度，缩短了测试例的长度并节省了软件开发的成本。
其他文献
自行配置了两套微型太阳能直流水泵系统,并在昆明地区对其进行了性能测试研究.测试结果表明:提水高度在最大提水高度的0.75左右较为适用,25W、16W水泵分别在550W/m2及400W/m2
管状带式输送机在使用过程中 ,输送带经常发生扭转 ,引起种种意想不到的情况 ,对其的调整维护非常重要 ,介绍了有关调整和维护方法。
在管状带式输送机的选用和使用过程中,可采用标准输送带代替专用输送带以降低成本,介绍了有关设计和选型时需要考虑的一些问题。
【正】 茅盾一生的诗词创作,从1927年8月所写新诗《我们在月光底下缓步》、《留别云妹》,到1980年11月逝世前不久为友人题诗《赠丁景唐》、《怀老舍——为絜青夫人作》,在长
<正>《英语课程标准》要求英语教学应重视学生情感的培养,并在教师指导和参与下引导学生利用参与、体验、合作、交流以及实践等学习方式来获取充裕的时间与空间进行协作学习
针对赤泥含铁特点,提出采用碳热还原—磁选法回收赤泥中的铁。将赤泥中的Fe2O3转变为具有磁性的Fe3O4或单质铁,后经磁选得到铁精矿。试验确定的最佳工艺条件为:还原温度1 200
目的研究输尿管结石梗阻合并糖尿病致感染休克的护理要点。方法选取2017年1月—2018年12月期间该院收治的68例输尿管结石梗阻合并糖尿病致感染性休克患者作为研究对象,根据护
<正>苏童自上世纪八十年代初开始小说创作,他的作品不仅多,而且被改编拍摄成影视剧的数量在国内作家中也首屈一指。改编作品几乎都是苏童的中篇小说,对它们的讨论也已经很多
近年来,冻干粉针剂成为药品制剂生产中的创新剂型,其制备在低温环境下进行,因此对于许多热敏性的物质非常适用。蛋白质、微生物类通过冻干过程不会失去生物活力或发生变性,因
电网运行过程中,电力元件只有受到继电器的保护,才能保证安全运行,防止用电事故的发生,在本文中主要针对35k V变电站的继电保护配置及其整定计算进行以下介绍,旨在为变电站继