Block-based test data adequacy measurement criteria and test complexity metrics

On the basis of software testing tools we developed for progrmnming languages, we firstly present a new control flowgraph model based on block. In view of the notion of block, we extend the traditional program-based software test data adequacy measurement criteria, and empirically analyze the subsume relation between these measurement criteria. Then, we define four test complexity metrics based on block. They are J-complexity 0; J-complexity 1 ; J-complexity 1 ; J-complexity 2. Finally, we show the Kiviat diagram that makes software quality visible.     

Authorware7.0在《模拟电子技术》多媒体教学课件中的应用

文章介绍了Authorware7．0多媒体开发软件的功能特点及主要技术，并通过部分程序设计阐述了其在《模拟电子技术》多媒体教学课件中的应用，最后总结了用Authorware7.0开发课件的优点．     

基本图素分类的综合判定

本文采用关于手绘图形基本图素的“角度和变量”与“最大距离”综合判定分类法,以流程图符为例,实现了手绘基本图形的在线机器识别.系统的识别率达94.0%～99.5%,无明显等待.     

电话会议系统中电话事件状态及状态转移设计

以一个电话会议汇接系统的设计开发为例，针对电话会议汇接系统的实时性多任务的特点、运用 有限状态机模型，从状态和状态转移的设计入手，结合面向对象程序语言编程，探讨此类系统的软件设计 的思路和方法。     

网格定位法在系统流程图活化中的应用

为了实现核电厂反应堆系统流程图的计算机化管理,通过在系统流程图上画出具有记忆功能的网格,利用网格位置和网格信息把系统流程图上的设备与设备库中的相应设备关联起来,解决了系统流程图的活化问题,即在系统流程图上用鼠标点击设备,弹出设备信息。这种网格定位的方法已经有效地应用在核电厂运行安全管理系统中,该系统采用先进的网络和数据库技术实现了对核电厂设备,系统流程图,运行事件等信息的综合管理,以先进的管理方式为核电厂管理人员提供一个便捷的信息平台和工具。而且,这种方法还可以应用到其它领域。     

m序列优选对及平衡Gold序列的产生与搜索

扩频通信系统需要相关性好的扩频码，因此，在分析m序列优选对，平衡Gold序列的产生方法和相关特性基础上，提出了一种采用C语言搜索m优选对和平衡Gold序列的计算机实现方法，给出了搜索程序流程图．该方法可以正确、快速地完成平衡Glod码的搜索，对扩频码的优选具有参考价值．     

软件测试的一种数学优化方法──由Fokker Planck方程得到的Markov链算法

从数学优化角度对软件测试问题进行探索性研究，将软件测试中的结构测试问题转化为一个组合最优化问题，然后利用Ｆｏｋｋｅｒ－Ｐｌａｎｃｋ方程的离散形式而得到的Ｍａｒｋｏｖ链为基础的一个算法求解．最后给出了几个测试实例的部分数值结果。     

数值法求解斗叶工作面射流微点相对运动轨迹

根据埃杰尔理论，将斗叶工作面剖分成三维有限单元，并编制了一整套程序来计算斗叶工作面射流微点运动轨迹．由ＣＪ２２－Ｗ－９０／１×１１水轮机在设计工况下的计算结果表明：ＣＪ２２型斗叶工作面型线良好，斗叶数也合适，但斗叶倾角应从１０．３°增大至１５°．将此结果应用于实践，解决了云南元江龙洞水电站机组振动问题．     

TMS320VC5402的HPI与单片机并口通信技术研究

研究了TI公司的TMS320VC5402与AT89C51单片机之间通过DSP的HPI口及单片机的并口通信的详细过程，并给出了程序流程图。     

模拟电梯运行的控制系统

本论述了采用单序列状态流程图描述电梯工作过程的缺陷，提出了采用多个跳步转移的状态流程图模拟电梯运行的方案，并通过运行证明该系统的模拟过程更接近电梯的实际工作。