用例模型与装配式软件系统的开发

用例是获取需求的主要工具，用例模型成了与用户交流的手段。装配式软件是一种能提高软件适应性和生命力的系统，它是建立在基于组件的工程基础之上，以便系统维护时可以按组件装配、拆卸和替换。讨论了用例模型中的用例如何与组件建立映射关系，并给出装配式软件开发的具体过程。     

行政财务管理软件系统的开发与应用

本文论述了一个行政财务管理软件系统的开发与应用。文章分析了该系统的优点，介绍了系统的开发、程序的编制以及系统调试过程。     

柔性软件系统的概念,方法与实践

一、引言随着计算机网络与信息技术的飞速发展,对应用软件系统的需求不断增加,表现在:软件系统复杂程度的增长将成为必然趋势;软件系统适应环境变化的灵活性要求将不断增加;数据和应用的动态与分布性的增强也要求软件不仅有被动地响应信息需求的能力,而且能以一定程度的智能,主动地预测、适应乃至积极地寻找途径以支持用户需要,这就要求各个系统的软件能自动地合作以完成更加复杂的功能;目前大约有一千亿条编码程序在世界上运行,许多功能被写过上千次,从以前已经很完善的高质量的软件模块构建新的软件系统无疑会大量减少冗余的时间和经费上的开销,同时还能提高系统性能,因此必将成为未来软件工程发展的主流。     

基于用例驱动与UML的管理信息系统开发

针对目前管理信息系统开发经常遇到的难题，提出基于用例驱动的方法与UML相结合开发管理信息系统的思想以解决所遇难题，并通过实例分析设计领会这种思想开发管理信息系统的优点。最后评论了基于用例驱动与UML开发管理信息系统需注意的问题，导引出管理信息系统开发的发展趋势。     

监控使能的分布式软件系统构造方法

针对开放的网络环境中大型分布式软件的调试、调优、维护和可信演化问题,提出了伴随式的监控使能分布式软件构造方法.基于发布/订阅的分布计算模型,提出了被监控对象的业务逻辑和监控逻辑分离的运行时体系结构;基于面向方面编程思想,提出了监控使能的分布式软件开发方法和工具,降低了监控实施代价,增强了代码的可维护性;基于运行时体系结构,提出了监控系统的动态可定制部署方法.监控使能的分布式软件构造方法能够在开发时控制功能代码和非功能代码的纠结,尽可能地降低软件编程人员的代码维护难度;能够在部署时保证监控系统和被监控对象的松耦合;能够在运行时实现监控信息的按需汇聚和按需处理.从而在对系统核心业务的影响尽可能小的前提下.获得对系统运行行为尽可能全面的理解.     

基于用例驱动的软件工程模式在系统开发中的应用

本文介绍了基于用例驱动的软件工程模式,分析了UML与Java代码的相互转换，以解决采用J2EE体系结构，基于Web的应用系统在设计开发中面临的困难。     

分布式软件系统交互行为建模、验证与测试

为了确保分析与设计阶段分布式软件系统中模块之间交互行为的正确性,提出了一种分布式软件系统模块交互的抽象方法,分别通过系统状态机图和对象状态机图对各模块状态变迁进行建模,使用UML2.0序列图对模块之间交互行为进行描述.采用基于命题投影时序逻辑的模型检测技术,将对象状态机图转换为Promela模型,系统交互性质转换为命题投影时序逻辑公式,通过模型检测器验证交互模型是否满足于系统的性质,若不满足于该性质,则能够获得反例执行的路径.给出了一个分布式软件系统测试框架,在验证后的序列图模型基础上,使用基于模型的测试用例自动生成方法得到测试用例集合,该集合能够实现对交互行为的有效测试.实例结果表明,该方法可以提高分布式软件系统中模块交互行为的有效性和可靠性.     

基于用例驱动与UML的管理信息系统开发

针对目前管理信息系统开发经常遇到的难题,提出基于用例驱动的方法与UML相结合开发管理信息系统的思想以解决所遇难题,并通过实例分析设计领会这种思想开发管理信息系统的优点.最后评论了基于用例驱动与UML开发管理信息系统需注意的问题,导引出管理信息系统开发的发展趋势.     

基于MAS的分布式控制软件系统模型研究

大型实验装置计算机集中控制系统是一个由前端、预放、靶场等十几个分系统构成的大型分布式控制系统.基于MAS的分布式控制系统具有了良好的扩充性,开放性与可重构性.针对该大型实验装置的控制软件系统提出了一种基于MAS的分布式控制软件系统模型,对单智能体Agent的结构及多智能体Agent的协作做了介绍,并对控制软件系统的核心--控制流程算法做了详细设计,为该模型应用于其它大型实验装置提供了理论基础.     

WSCADA系统的软件测试设计与实现

深圳某重油发电企业的信息监控系统是由Wonderware公司的Intouch组态软件开发的,属于SCADA的范畴。由于开发设计时由于其他相关配套技术未有良好的发展,投入使用后发现有一些不足之处,为提高软件监控系统质量与可靠性,对WSCADA设计一套有效和高效的测试系统,测试系统包括WSCADA测试环境(硬件、软件、设施),测试用件(测试用例、测试数据、测试脚本、测试工具、测试日志和其他相关文档),测试执行过程(使用测试工具的方法)。根据工业IT技术最新的发展对WSCADA系统进行升级提出建议。     

导弹热电池参数自动化测控系统

介绍了实现电控、祭火、放电、采样、处理、显示、存储自动化的导弹热电池参数测控系统.该测控系统具有通用化、集成化和柔性化的特点,能完成10多种型号导弹能源的性能测试,并能实现测试系统的负载模拟,为实现测试自动化提供了一种可行的方案.     

基于字典查询的卫星并行自动化测试软件设计

针对卫星研制过程中测试周期长、任务重、自动化程度低的现状和研制进度加快、多星并行测试的发展趋势,提出了基于字典查询的卫星并行自动化测试软件设计方法,分析了卫星测试现状,详细介绍了软件的系统构成、工作原理和流程以及数据结构。通过格式化数据结构及接口、遥测分类判读方法和字典查询方法,重点解决了不同指令执行判读问题。软件具有开发简单,配置方便,节省资源,支持多星并行自动化测试和其它卫星快速移植的特点,同时兼容现有地测软件、测控前端转发数据。最后利用Python实现了软件的基本功能,实际应用表明,软件可提高卫星测试效率和可靠性,具有较强的工程实用性。     

基于OCL文法的测试用例自动生成方法研究

随着软件测试技术的飞速发展,很多自动生成和执行测试用例的方法的技术已经发展起来。对于自动生成测试用例的约束的形式化定义也有很多方法,其中,对象约束语言(OCL)就是其中最具代表性的。OCL能够弥补UML模型的不足,精确地定义约束条件。本文将着重介绍一种从OCL文法解析到约束条件分离的方法的研究结果,通过与OCL文法比较,解析输入的OCL文本,提取OCL表达式,构建约束条件树,实现约束条件分离,最终实现测试用例集的自动生成。     

基于OCL文法的测试用例自动生成方法研究

随着软件测试技术的飞速发展，很多自动生成和执行测试用例的方法的技术已经发展起来。对于自动生成测试用例的约束的形式化定义也有很多方法，其中，对象约束语言（OCL）就是其中最具代表性的。OCL能够弥补UML模型的不足，精确地定义约束条件。本文将着重介绍一种从OCL文法解析到约束条件分离的方法的研究结果，通过与OCL文法比较，解析输入的OCL文本，提取OCL表达式，构建约束条件树，实现约束条件分离，最终实现测试用例集的自动生成。     

A Light-Weight Fault Injection Approach to Test Automated Production System PLC Software in Industrial Practice

A light-weight software-implemented fault injection (SWIFI) testing approach is introduced, focusing on technical process faults and system faults. The reaction of automated production systems (aPSs) and their programmable logic controller (PLC) software to these faults is tested. In order to tailor the testing approach to the aPS domain in industrial practice, our test generation is based on a classification of possible deviations, i.e. a classification of possible technical process and system faults as the PLC perceives them. As a result, both specification and test execution become more efficient for practitioners. Furthermore, the test specification is tailored for execution on IEC 61131-3 programming environments. In this, the execution of test cases both against simulation or the real aPS, is enabled.     

一种具可移动性的热电池动态性能测试系统

针对多种型号热电池动态性能测试的通用性和移动性要求,采用模块化结构,通过计算机实现测试过程的自动化。利用GPIB接口与计算机的通信,实现了计算机对程控直流电源、电子负载、WR1000热敏阵列记录仪的控制及数据的采集和自动储存,测试系统可以随意切换或裁剪设备以适应移动测试要求,使热电池动态性能测试系统具有高精度、多负载、通用性、可移动性和自动化的特点。     

软件测试充分性研究

软件测试充分性准则是决定一个软件系统能否被充分测试的规则,而测试充分性的关键问题是其检测故障的能力。该文首先给出测试充分性准则的形式化描述,然后讨论了软件测试充分性的性质,最后给出了两种理想的测试数据生成方案,并提出了测试充分性度量方法。     

基于动态评价函数的试卷自动生成系统的设计与实现

介绍了一种适合各类课程的试卷自动生成系统的设计.主要介绍试题控制指标的确定、系统结构、系统功能和在开发过程中所应用的关键技术,还具体给出题型、知识点、时间及难度的4个动态评价函数和基于这些评价函数的自动组卷算法以及实验测试数据.     

国产基础软件应用平台的兼容性测试研究

近年来,随着我国基础软件产业的蓬勃发展,操作系统、数据库软件、服务中间件、基础办公软件等国产基础软件[1]已得到广泛的应用。然而,国产基础软件产品组合关系的复杂性以及引起国产基础软件应用平台兼容性问题的不确定性,给国产基础软件应用平台兼容性测试带来了一定的困难。对此提出了一种基于依赖关系的国产基础软件应用平台的兼容性测试方法DRBA(Dependency Relationship Based Approach),给出了DRBA方法的具体描述和测试执行策略,并以C/S的方式设计实现了基于DRBA的兼容性测试工具,应用一个实例验证了DRBA的可用性和有效性。