开发智能仪表软件系统的一种方法—广义状态图方法

本文提出了广义状态图方法和用广义状态图方法开发智能仪表的软件系统的基本步骤。广义状态图在传统状态图的基础上扩充了动作结点的概念。面向状态的过程设计方法以广义状态图的各元素与过程设计之间的相关关系为依据直接由广义状态图生成系统的过程设计。     

用PLC内部辅助继电器实现顺序控制的应用

本文提出用用PLC内部辅助继电器实现顺序控制的方法,并用实例进行说明,可提高PLC程序设计速度和质量.     

陶瓷厂用电动葫芦控制系统的PLC设计

介绍电动葫芦的结构和工作原理，分析它的局限性和不足，从而引入一种新的控制－PLC控制，并给出它的设计步骤和要求。     

一种基于UML状态图的规约变异测试方法

规约变异测试从软件功能的角度,对规约进行分析,从而揭示规约中存在的问题。本文提出一种基于UML状态图的变异测试方法,针对每种变异算子,分析其是否会引入冲突,进而有效避免不合理的变异操作;分析了每种变异算子产生等价变异体的条件,能够在生成变异体的同时检测并移除等价变异体,进而减少其对测试过程的影响;给出了杀掉每种变异体所需满足的条件,可在此基础上产生杀掉特定变异体所需的测试用例,从而提高测试用例集的质量。在此基础上,根据变异算子的实际功能,整合了功能相同的算子,减少了变异算子的数量,从而进一步降低了变异测试的开销。实验结果表明,本方法能够较好地提高测试用例的质量,进而提升测试的效率。     

基于UML状态图的类状态测试研究

近年来,随着统一建模语言UML的广泛应用,基于UML的面向对象软件测试已成为软件工程领域的一项重要研究课题。本文在介绍UML状态图技术的基础上,以面向对象软件的类作为基本测试单元,研究了一种基于UML状态图的类状态测试技术,讨论了基于状态说明的测试用例设计覆盖准则,并在Eclipse平台上结合Java工具,利用手工选择测试数据进行了实例测试。     

基于MSP430单片机的软件代码快速开发

为实现高效的代码编写和方便的系统维护,在前期研究工作的基础上,利用Matlab 7．x的Stateflow工具箱,实现了基于MSP430单片机的嵌入式系统软件开发首先,对嵌入式系统进行基于事件驱动的建模与仿真．然后,在状态图代码生成器（Stateflow Coder）中把状态图（State chart）翻译成高效的C语言代码．最后,用基于MSP430单片机的目标系统底层驱动函数与翻译的C语言空函数进行简单替换,实现了嵌入式系统软件代码的快速生成．对比实验表明,用本文方法生成的软件代码,在嵌入式目标系统中运行状况良好,其易维护性和执行效率等方面均优于手工编写的代码．     

Java多线程编程的教学研究

多线程编程是Java教学中的难点,也是影响学生网络编程能力的一个重点。文章针对Java程序设计课中原理阐述不足的问题,尝试结合操作系统课程中的部分理论及教学工具,通过导入线程的概念、绘制状态转换图和设计同步算法等方式,对Java多线程教学模式进行研究。     

基于Modelica的CAN通信系统建模仿真

首先对CAN2.0B通信协议做了分析,介绍了Modelica多领域统一建模语言的优越性.并在CAN2.0B通信协议基础上,采用Modelica统一建模语言,建立了CAN总线的电路模型和时序状态模型.通过对改变双绞线长度和通信节点数两种工况进行仿真,确定了模型的可用性.同时分析了CAN总线相关参数对其通信性能的影响,为CAN通信设计和验证提供参考.     

基于Petri网的UML形式化建模应用分析

UML是功能强大的图形化建模语言,但存在缺乏精确的语义描述的特点,因此UML形式化研究一直是一个热点。Petri网既有直观的图形表示,又有坚实的数学基础,拥有许多成熟的分析方法可以直接用于分析模型的性能。结合一个图录编纂应用系统,使用基于Petri网的建模方法,对该系统的UML状态图和序列图进行了形式化分析。排除UML模型中的缺陷,在软件设计阶段发现错误,降低软件开发的花销,最终达到提高了软件的质量的目的。