确认测试路径的一种生成方法

针对确认测试自动化在实现中的难题,提出了将测试过程进行划分的确认控制策略,并探讨了将之付诸实践的可行方法．一方面通过将测试过程进行划分减轻用例设计的负担,另一方面通过在每个测试步内生成完全的功能路径以保证功能覆盖的全面性．方法确认测试过程除了在把数据流图转变为带控制扩展的数据流图时需要人工辅助之外,其余的步骤均能自动实现．     

一角认控制的形式化方法

提出了一种基于事务的确认控制形式化方法。该方法在数据流图的基础上引入了数据流事务的概念，通过施加控制数据流规则和ＦＳＭ语法，将数据流事务转换为ＦＳＭ事务，消除了数据流图的歧义性；同时，将有限状态机作为ＦＳＭ事务的控制原语，使事务的控制部分得以形式从，从而可实现确认控制自动化。     

一种确认控制的形式化方法

提出了一种基于事务的确认控制形式化方法.该方法在数据流图的基础上引入了数据流事务的概念,通过施加控制数据流规则和FSM语法,将数据流事务转换为FSM事务,消除了数据流图的歧义性;同时,将有限状态机作为FSM事务的控制原语,使事务的控制部分得以形式化,从而可实现确认控制自动化     

数据流图模型在SOPC上的应用

介绍了基于DFG(数据流图)模型的分析和优化,用于数字仪器设计的SOPC系统的软硬件协同设计方法,这种方法基于数字信号处理算法的数据流图模型,并应用SOPC技术实现.DFG模型能帮助设计者将系统功能分别划分为硬件和软件,给出的便携式逻辑分析仪SOPC系统级和电路级的优化表明,DFG模型不仅对于结构优化和降低功耗非常有效,对于软硬件协同设计也很有用.     

Web应用软件测试方法的研究

为了适应Web软件具有的异构、分布、开发平台无关的特性，提出了一种web软件测试过程模型，将测试流程划分为Web测试准备过程模型和执行过程模型两类活动对其进行建模，分析并讨论了软件测试过程中采用的各种测试方法和工具。可帮助软件开发人员提高测试效率，提高web软件系统的质量和可靠性。     

性能受限系统的软硬件划分方法

提出了一种基于固定分割粒度的软硬件划分方法来解决系统性能约束下硬件开销最小的问题,该方法以改进的模拟退火算法作为软硬件划分的核心,对所抽取的数据流图进行分析.利用任务调度机制为基础的性能估计方法进行软硬件划分的性能估计,并通过最终的实现来进行系统性能约束的检查.实验结果表明,通过这种划分方法的使用,可以达到以较小的硬件开销而满足系统性能的要求.     

电量电费管理系统的设计与实现

电量电费管理系统是用软件工程的方法设计并实现的。本文介绍系统的工作流程图，数据流图，数据库设计，主要算法，编码，测试，维护等。     

一种从数据流图转换成软件结构图的方法

本文从对数据流图特点的分析和对模块结构图的特点分析并结合数据流图和结构图的关系,提出了一种新的数据流图转换成结构图的方法——添加边界节点法,并将添加的节点作为结构图的第二层,作为数据流传递的间接接口。根据这一原则,在计算机上实现了数据流图到结构图的转换。     

智能的数据流图辅助生成系统

介绍了一个面向对象的智能的数据流图辅助生成系统,简述了系统的功能,系统的对象结构以及主要对象的数据结构,并提出了数据流图的形式化定义,在此基础上讨论了数据流图完整性约束条件的定义与完整性约束机制的实现。     

基于TCL的PIM—SM协议一致性测试系统设计

针对PIM-SM组播协议,提出了一种协议一致性测试系统的设计方法.其核心思想是通过创建虚拟测试体,用简单的PC机模拟复杂的网络环境和协议行为,并针对协议测试过程中同时要求报文高效处理和网络场景频繁修改的问题,进行了系统层次的划分,实现了模拟配置灵活性和运行效率的统一,具有良好的扩展性.基于该方法实现的系统,成功地对多个不同的PIM-SM组播协议实现进行了一致性测试.     

模具温控凝固成形的数值模拟软件系统开发

根据软件工程的理论,采用结构化分析与设计方法,开发了专用的模具温控凝固成形（MTCS）数值模拟软件系统。首先进行了软件的需求分析建模,绘制了数据流图和数据字典,直观地描述了单元信息、边界条件、刚度矩阵等数据的流动。在需求分析的基础上进行了系统设计,将程序划分成相变潜热、刚度矩阵计算及矩阵求解等10个主要模块,并编制了主模块与各子模块的程序流程图,定义了模块之间的数据接口。软件的前后处理模块的设计与实现在MSC．male软件上进行,求解器模块则采用fortran语言编程实现。最后设计了测试实例对软件进行了测试,并与MSC．marc软件的计算结果进行了对比,误差在3％以内。     

一种基于数据流图的软硬件划分背包算法

在软硬件协同设计中,将数据流图作为软硬件划分问题的输入,建立了以数据流图为基础的软硬件划分数学模型.对于规模较大的划分问题,为了满足系统性能,达到功耗和成本最小化,提出了0-1背包分解算法,采用并行求解的方式,排除了绝大多数无最优解的子问题,从而改善了大规模划分问题的求解效率.实验结果表明在大规模问题和硬件约束条件下,该算法能获得行之有效的划分方案.     

影响大学生体质健康测试实效性的问题研究与对策探讨

通过多年对高校大学生进行体质健康测试发现，大学生体质健康测试并不能真实反映和评价大学生体质健康问题，测试的目的及测试预想达到的功能并不能实现，测试的数据缺乏实效性。就测试过程中存在的问题从测试者、被测试者及测试器材等多方面进行分析研究，并针对实际的问题提出解决的建议。为体质健康测试改革提供参考。     

基于功能点路径的文档互操作测试评价方法

为了解决文档互操作测试中的功能点划分粒度不统一、测试覆盖率难以度量、回归测试工作量大等问题,提出了以文档格式标准为基础、建立功能点的需求模型、设计文档互操作测试评价方法,并定义了文档格式标准变更指数、测试覆盖率、测试用例之间的关联等度量指标,可将人工测试中定性的估计发展为定量的度量体系,提高了测试过程中的可视性。该方法可以提高文档互操作测试效率,保证测试质量,促进对文档互操作过程的理解、控制和预测。     

数据流图编辑器的设计与实现

数据流图是软件需求分析阶段十分有用的图形化工具，在面向ＭＩＳ的ＣＡＳＥ的环境的开发与研究中，数据流图编辑器的设计与实现是其中一项主要内容。本文介绍了数据流图编辑器的各种处理技术，并给出了编辑器系统的框架，该系统采用ＢＯＬＡＮＤＣ＾＃编程实现。     

图书发行自动化集成系统

文章分析了一套针对图书发行工作设计的自动化管理系统，其中包括数据维护，查询统计，报表打印和系统管理等功能模块，通过E—R模型和关系模式的建立，以及数据流图，面向对象等方法，利用VisualFoxPro语言，实现了一系列的实用新技术及人性化功能，具有一定的可移植性和推广价值。     

QTP在农村信息化管理系统测试中的应用

自动化测试有着比手工测试的高覆盖率,用QTP实现对系统的功能测试和回归测试。本研究设计与实现了农村信息系统的测试框架,在自动化测试过程中逐步细化实现对农村信息化管理系统的测试,阐述了实现QTP测试流程以及用到的一些关键技术和方法。QTP的reporter功能能方便呈现测试结果,帮助测试人员形成测试分析报告。     

基于微机的可倾瓦动压轴承测试系统

利用数据流分析技术及自顶向下,逐层分解的分析方法,本文讨论了基于微型计算机的可倾瓦动压轴承测试系统的设计及使用试验室现有设备配置测试系统的原理.同时,根据数据流图及结构化程序设计方法,为测试系统开发了应用软件.测试系统在英国谢菲尔德大学机械系摩擦学试验室的可倾瓦动压轴承试验台上进行了成功的运行.     

车削颤振稳定性预测软件研究与开发

针对金属加工过程中颤振预测软件实现的工程需求,设计了车削加工颤振稳定性叶瓣图实验测试软硬件系统,研究了软件实现算法中的关键问题.首先,搭建了由采集卡、加速度传感器、模态力锤组成的硬件系统,开发了具有频响函数测试和稳定性叶瓣图生成功能的系统软件.其次,设计了交互式软件采集及分析界面,研究了基于C#编程语言频响函数测试过程中多通道高速同步触发采集的实现算法,开发了具有由频域分析方法获得颤振稳定性叶瓣图功能的C#类.最后,对CJ0625车床加工系统进行稳定性预测,结果表明软件预测结果与实验结果相吻合.     

基于进路测试的联锁自动进路测试系统的设计与实现

开发了一套联锁自动进路测试系统,测试项目包括功能测试、性能测试、稳定性测试、精确测试和对不同制式系统的测试,并且收集了出现的问题用例,以能对微机联锁进行重点测试和选择测试,保存完整的测试过程与测试结果,方便回归测试和分析测试结果.对其功能、各个组成部分、实现原理和实现方法都进行了详尽的介绍.