模型检验在构件数据流测试中的应用

模型检验输出的反例提供了一种自动产生测试用例的有效途径。提出了一种用模型检验进行构件数据流测试的方法。利用构件状态机描述构件的外部行为,用带有变量定义和使用标记的Kripke结构描述构件状态迁移中的数据流信息;给出了从构件状态机到Kripke结构的转换方法,并建立了全定义覆盖和全使用覆盖准则的陷阱性质构造公式。陷阱性质将使模型检验器NuSMV输出反例,从而产生构件的数据流测试序列。     

基于UML协作图的测试用例生成方法与实现

根据组件软件的特征,提出一种基于UML协作图直接产生测试用例的方法.给出了一系列覆盖准则,并针对协作图中条件、并发和循环消息流提出相应的处理方法.采用深度优先的算法遍历所有测试场景,每个测试场景相应于一个测试用例,并设计和实现了测试用例自动生成工具系统UMLTCG.     

基于模型的Web应用测试

提出了基于模型的Web应用测试方法,包括建模、测试用例生成、测试用例的执行、模型以及测试用例的可视化等关键技术.设计并实现一个基于模型的Web应用测试系统.以FSM作为被测Web应用的形式测试模型,集成了模型转换器、测试目标分析器、测试序列生成器、FSM和测试序列可视化以及Web应用测试执行引擎等工具.除支持状态覆盖、...     

网络安全自动检测系统NSATS

首先介绍了网络安全网络安全测试的一般方法。在此基础上,设计、实现了网络安全自动测试系统（ＮＳＡＴＳ）。对本地测试与网络安全扫描、新攻击方法的接口进行了分析。     

构件式系统的建模与验证

构件的组合与安全性是构件式系统开发的一个挑战性问题。提出了一种新的描述构件交互行为的模型-构件消息自动机,其特点是保留了构件的所有交互特性以便进一步进行构件的验证。给出了使用同步积操作将多个构件组合成单个复杂的组合构件的方法。基于监控理论的可控性概念,设计了一个验证构件系统安全性质的算法。为了说明论文建议的方法,详细讨论了一个简单的、贯穿整个论文的示例系统。     

网格工作流中数据传输服务的研究和实现

分析了网格工作流数据访问和传输的新的需求,提出了用一个特殊的基干GridFTP的网格数据传输服务来分流工作流引擎中的数据传输功能,使得引擎可以不必等待数据传输完成就可以继续控制其他的业务流程的进行,从而提高了整个工作流的效率。重点介绍了数据传输服务的设计思想和体系结构,给出了过程定义文档和接口描述。     

国际语音传真服务系统的设计与实现

首先提出了国际语音传真服务系统IVFS的总体结构，然后描述了它的软件设计方案，最后详细论述了各主要模块的功能和实现方法。实际表明系统运行良好。     

“2＋1”模式下中职财经专业整合优化实践教学模式的探索和思考

中职教育培养目标是以学生的职业能力为核心,这种目标决定了中职职业教育要注重实践教学,在“2+1”模式下,如何整合优化财经专业的实践教学,珠海市第一中等职业学校作了探索和尝试。     

基于XPDL的嵌入式工作流引擎研究与设计

针对以往业务系统软件设计中业务操作自发地控制整个系统的业务流向所造成的代码结构不明确,代码维护重构困难的问题,提出一个基于XPDL流程定义的嵌入式、轻量级工作流引擎,此工作流引擎实现工作流联盟的标准接口,并在此基础上对标准XPDL进行了语义扩展和限制。讨论了采用嵌入式和XPDL,轻量级这些理念的原因,给出对支持本工作流引擎XPDL的具体约束。详细给出了定义业务流程和工作流引擎的设计原理和具体实现方法。