【摘要】从机器语言诞生到各种软件开发方法的提出,软件模型不断更新,软件系统的灵活性和可伸缩性不断提升。软件系统开发的复杂程度越来越高,软件的生产率也需要极大的提升。传统的软件开发通常采用文本和UML图表的方式描述需求分析和设计过程,产生大量的文本文档,给维护造成极大的困难,加上文档与代码存在不同步的问题,软件的可靠性越来越难以保证,传统的软件开发已经不能满足实际开发的需要。随着软件工程概念的逐渐普 […]

【摘要】随着医院信息化的发展,大量的医疗信息系统得到了广泛应用。集成来自不同厂商的异构医疗信息系统,实现系统协同工作和信息共享,将优化医院流程、有效地提高医疗服务效率和质量。目前主流的集成技术是集成引擎,但基于该技术进行医疗信息系统集成主要存在以下问题：(1)集成需求表达不完整、不规范,导致集成各方在需求分析阶段需要反复沟通、修改需求分析与设计方案,拖延项目周期；(2)集成需求分析与集成配置实施环 […]

【摘要】导弹遥测是获得导弹飞行试验中各项数据必不可少的手段，但目前常用的遥测数据的二维显示模式，难以让人直观、清楚地看到导弹飞行姿态及其细微变化。视景仿真技术能以三维建模技术生动逼真模拟导弹飞行轨迹和姿态变化。本论文采用嵌入式系统和Unity3D三维仿真软件研究一种可视化的遥测视景仿真监控系统，充分利用遥测飞行数据生动逼真地再现导弹整个飞行过程。本文主要工作如下：1.完成了导弹遥测视景仿真系统的硬 […]

【摘要】测试生成在软件测试过程中起到很重要的作用,现有的生成测试例的方法大多依靠测试人员手工进行,不仅生成效率低下,生成的测试例在可用性方面也不尽如人意。着色Petri网(ColoredPetriNets,CIN)模型驱动的一致性测试生成方法是一种成熟的测试生成理论,能够有效地提升测试例的可用性。然而这种测试方法受限于单机环境下的建模工具CPNTools,无法进行自动测试生成。针对此问题,论文使用 […]