一种Web应用测试生成与约简方法

软件测试是保证软件质量的一种重要手段,而复杂的Web应用对测试提出了新的要求.提出一种Web应用测试生成与约简方法,该方法对Web应用导航进行形式建模,使用模型检验导航安全性质所输出的反例分化模型,然后根据分化模型产生测试序列,依据Web应用的特性对测试序列集进行约简.实例演示表明该方法的有效性.     

基于数据流的组件测试

用组件状态机为组件的行为建模,根据组件状态机中状态、迁移和迁移的守卫条件之间的控制和数据关系,设计了组件状态机到组件流图的转换算法;提出了一种基于数据流的组件测试方法。按照全使用数据流测试准则,自动生成组件流图的定义－使用路径集。     

基于结构覆盖和状态识别的FSM一致性测试实验评估

针对在测试资源紧张的情况下所面临的不同测试技术中测试方法选择问题,阐明了对基于结构覆盖和基于状态识别的测试生成技术进行实验评估的必要性,以10个有限状态机（finite state machine, FSM）应用实例为实验对象,从测试开销和错误覆盖能力两方面对这两种技术进行了实证研究,为FSM一致性测试中这两种技术的选择应用提供了经验性的参考建议。     

基于专家可信度和灰色关联度方法的科技期刊评价系统

提出了基于专家可信度和灰色关联度方法的科技期刊动态评价体系,建立了开放式的期刊指标重要性数据库(专家调查表)、专家信息(专家可信度)数据库、期刊定量和定性指标信息数据库以及期刊综合评价系统.在计算期刊指标权重时,通过可信度算法,结合简化的Delphi法,把专家对指标重要性的定性回答给以定量的计算,最终得出期刊的各个指标权重.在最终评价科技期刊影响力时,应用灰色系统理论,结合灰色关联度算法,计算出各种科技期刊的综合指数.     

浅谈创造与情境教学模式在《会计凭证》中的具体运用

职业中学财会类的课程历来比较难教，它理论性较强，学生缺乏社会实践经验，因此比较难理解书本上的理论知识．文章结合作者的社会实际工作经验，将创造与情境教学模式灵活地运用到教学中来，起到了很好的教学效果．     

用模型检验产生安全性质的测试

摘要： 安全关键系统必须满足规定的安全性质. 测试生成通常独立于给定性质,“先验证再测试”的方法不能保证安全性质被测试. 为此,该文提出了一种基于输入-输出标记迁移系统的安全性质测试方法. 用输出变异建立被测实现的输出-完全模型,通过发现危险迹产生测试用例. 给出了基于图结构覆盖的安全性质测试准则,提出了形式化测试准则的方法. 使用模型检验器NuSMV检验输出-完全模型可产生既满足结构覆盖又与安全性质相关的测试用例.     

一种验证Web应用设计的方法

提出一种表示Web应用的请求/响应导航关系的形式化行为模型,给出一种基于模型检查的Web应用设计的验证方法并描述了用时态逻辑CTL表示Web应用性质的方法.设计了一个检验方法可行性的原型框架,该原型嵌入自动化模型检查工具NuSMV,提供从UML设计模型到形式化模型的自动转换,在将用户输入的性质和形式化模型合并为NuSMV程序后,运行NuSMV进行自动化验证.     

妊娠晚期羊水过少对围产儿预后及妊娠结局的影响

目的探讨羊水过少的相关因素及对围产儿预后和妊娠结局的影响。方法采用回顾性分析方法,对152例羊水过少组病例进行分析和总结。结果羊水过少高发于40周后;羊水过少组并发胎盘功能不全、胎儿窘迫、新生儿窒息、羊水污染及剖宫产率显著高于羊水正常组。结论羊水过少导致胎儿窘迫是胎儿窘宫内慢性缺氧的重要标志,对胎儿预后有严重影响,应加强产前监测,及时剖宫产是处理妊娠晚期羊水过少导致胎儿窘迫的重要措施。