【摘 要】
：
面向对象软件测试的主要问题是考虑类间交互的集成测试,交互测试能检查出对象间的消息传递产生的不可达路径.设计了一种约束型标记驱动Petri网（C-LDPN）模型描述对象间的消息交
【机 构】
：
长沙理工大学数学与计算科学学院,湖南大学计算机与通信学院
【基金项目】
：
国家自然科学基金项目（10871031）资助, 湖南省科技计划项目（2008CK3075）资助
论文部分内容阅读
面向对象软件测试的主要问题是考虑类间交互的集成测试,交互测试能检查出对象间的消息传递产生的不可达路径.设计了一种约束型标记驱动Petri网（C-LDPN）模型描述对象间的消息交互,给出了UML协作图转换为C-LDPN的规则.在定义对象活跃点以及对象活跃格局概念的基础上,根据对象所关联的变迁得出对象状态集上的等价类,提出一种消除C-LDPN中分支冲突的类间交互测试用例生成算法,求出对象的每个等价类中所有的活跃点数,得出对象的总状态数,用对象的分割连接子分割对象的状态域得到可达性C-LDPN,用合并连接子合并
其他文献
38%～71%男性癫痫患者,可出现生殖内分泌功能异常,表现性欲下降、性功能减退等[1].其原因是多方面的,除了社会、精神因素外,癫痫和抗痫药物(AEDs)的作用也不能排除.目前国内外
【摘要】伴随互联网技术的发展和进步，虚拟网络潜在的不稳定因素和安全隐患为公共网络安全带来了新的冲击。同时，在网络时代背景下网民能够实时、快速的在虚拟社会中接收和传播网络信息，在网络媒体上网民通过信息互动形成的网络舆情形成一种新的网络力量，对整个国家、社会和个人的发展产生了深刻的影响。但是从当前发展实际情况来看，网络舆情的存在在某种程度上威胁了公共安全。文章根据2017年到2018年中国知网收录的网
目的：观察回生口服液对中晚期非小细胞肺癌辅助治疗临床效果。方法：选择经组织学或细胞学证实的Ⅲb~Ⅳ期非小细胞肺癌患者64例,观察组及对照组各32例。两组均采用放化疗,观察组
遗传算法具有快速随机的全局搜索能力,但对于系统中反馈信息利用却无能为力,求精确解效率低.改进型ACS（antcolony system）算法不仅具有分布式并行全局搜索能力,而且在很大程度
目的：研究分析胫骨平台骨折手术的治疗效果.方法：选择60例胫骨平台骨折患者,分为甲组与乙组,每组30例.甲组采用钢板内固定治疗,乙组采用外固定支架方式固定,观察患者临床治疗效
目的：对全身麻醉联合硬膜外麻醉用于胃癌根治术麻醉效果进行分析。方法：选择胃癌根治手术患者102例，随机分为两组，单纯组患者50例，进行单纯全身麻醉下手术治疗；联合组患者52例，在全
目的：探讨慢性支气管炎的护理方法及效果.方法：56例慢性支气管炎患者,随机分为对照组和观察组.两组均给予给予抗感染、止咳、平喘等对症治疗.对照组给予常规护理,观察组给予综