S—Function在TMS320F2812的SVPWM算法仿真

S—Function有两种形式，一种是M文件，另一种是C—MEX文件，前者支持功能强大的工具箱，后者支持C、C＋＋等语言，并且在仿真上更快速有效。基于TMS320C2812的SVPWM算法在TI的CCS软件中实现，并且支持C、C＋＋语言，这给程序通过S—Function移植到MATLAB中进行仿真提供了一种有效途径。利...     

非法计算故障的一种静态测试方法

非法计算是C／C＋＋程序中的常见故障，该类故障极易导致系统崩溃。针对C／C＋＋语言中常见非法计算故障进行了分析，并从面向具体故障的测试思想出发，建立了C／C＋＋语言中非法计算的故障模型，结合静态测试的特点，给出了一种静态查找此类故障的方法。此方法已实现，并已应用于面向故障的软件测试系统中。     

C/C++静态代码安全检查工具研究

静态代码安全检查工具是一种能够帮助程序员自动检测出源程序中是否存在安全缺陷的软件。它通过逐行分析程序的源代码,发现软件中潜在的安全漏洞。本文针对C／C＋＋语言程序设计中容易存在的多种安全问题,分别分析了问题的根源,给出了具体可行的分析及检测方法。最后通过对静态代码安全检查工具优缺点的比较,给出了一些提高安全检查效果的建议。     

适合于科学计算的脚本语言Python

Python是面向对象的脚本语言，它有高级的数据类型和简单但却有效的面向对象的程序设计方法，其精炼的语法，动态类型及其自动的解释器，使它适合于大部分平台上编写脚本和快速开发应用程序。Python语言结合C语言编写的Numpy（数值扩展程序模式）或与系统语言C／C＋＋，Fortran结合用于开发科学计算软件。     

基于C++Builder的数据采集系统串行通讯的实现

本文介绍了一基于89C51系列单片机的数据采集系统，重点论述了在可视面向对象语言C＋＋Builder下对串行通讯的一种新的软件实现方法。     

怎样实现半角与全角字相互转换

半角字符采用单字节编码，全角字符采用双字节编码，支持unicode编码的语言工具能将半角字符以全角方式显示出来，不支持nuicode编码的语言工具（如C＋＋）则非常难办，能否有简单的算法实现半角与全角的互换呢？其实对ASCII码值为33至125的字符来说，算法非常简单。     

面向对象的计算

一、传统语言的缺陷计算机软件工程技术和编程技术的不断发展，对计算机语言提出了越来越高的要求。传统的编程语言可以分为过程性和非过程性。过程性的语言在解决问题时，其数据以文件的形式独立存在，和过程是分离的，其特点是过程加工数据，要解决做什么和怎么做的问题。数据文件对过程的依赖关系紧密，导致数据的独立性差。采用非过程性的语言，其特点是解决做什么的问题，强调数据的独立性。两者的共同点是在解决某一具体业务过程时，都把具体的业务过程规则编制到应用程序中，其模式是数据结构＋算法＋软件设计思想。这最终导致软件的…     

一个C语言安全子集的可信编译器

以安全关键领域的安全标准为依托、安全相关软件的语言编码和编译要求为指导,进行了以下几方面的研究和探索:首先对形式化验证可信编译技术进行分析研究,特别着重当前广受关注的经过验证的CompCert编译器.然后以我国安全领域C语言安全子集标准《航天型号软件C语言安全子集》为依据构造测试用例、创新测试方法,并以此对CompCert编译器进行测试评估.之后依据测试结果,为CompCert编译器增加未支持的C语言标准特性,裁剪不符合C语言安全子集要求的特性,构建符合C语言安全子集标准的可信编译器.最后的实测结果表明,所实现的编译器符合C语言安全子集标准的要求,且没有降低C代码的执行效率.     

基于PCL-818L的弹性联轴器扭矩自动测试系统

本文针对弹性联轴器扭矩测试的需要，采用研华PCL－818L数据采集卡建立了一套计算机自动测试系统。文中介绍了该测试系统的硬件组成和软件实现，特别是C＋＋ Builder 5.0编程环境下硬件中断和端口操作的实现。     

一个面向对象软件度量自动生成工具

面向对象软件度量技术是面向对象开发方法中不可缺少的环。但是以往适用于过程性和结构化软件开发的传统度量方式是不适用于面向对象程序设计的。本文分析了面向对象程序设计语言的特点及其对软件度量的影响,并介绍了一个具体的支持Ｃ＋＋软件度量的自动生成工具。     

软件可靠性分析、测试与评估工具--SRATE介绍

软件可靠性分析、测试及评估工具(SRATE)是一个集软件可靠性分析、测试及评估于一体的软件工具。该工具支持多种测试策略下的软件自动化测试及评估试验,包括随机测试策略、自适应测试策略等。该工具还集成了包括欧洲航天局的space软件、浙大CAD&CG国家重点实验室的Intra3D构件库在内的多个典型被测对象。根据工具接口要求可以方便的添加新的测试策略和测试对象。具有自动化程度高、通用性强、配置灵活、易于扩展的特点,是进行软件可靠性分析研究工作的有力工具。     

嵌入式软件的动态测试

软件测试是软件质量保证的重要手段。本文构建了基于软件测试工具Testbed/RTInsight针对PC104系统的实时嵌入式软件测试环境。以求方程根的c程序为例进行PC104系统的软件动态测试,最后给出了动态覆盖率及性能分析的实验结果。性能分析能记录分析程序中每个函数的最大运行时间,最小运行时间,总的运行时间,以及运行次数。     

无线传感器网络的嵌入式软件测试

介绍了无线传感器网络软件模块的基本组成和其中的数据中转器嵌入式软件部分的功能设计,重点介绍嵌入式软件测试的基本概念、测试方法和关键技术。在此基础上给出了数据中转器的嵌入式软件测试系统的基本框架图和必要的软件测试工具介绍。     

“魂芯”DSP配套基础软件的自动化测试平台

介绍了一种基于调试系统的回放式自动化测试平台,可以自动化测试“魂芯”DSP配套软件单元.该测试平台以主机调试器为测试对象,通过主机调试器调试应用程序,间接地测试编译器、软件模拟器、调试链接服务软件等软件单元.该平台可以方便地添加测试用例,并自动批量回放测试用例.利用本测试平台,可以大大减少“魂芯”芯片配套软件的测试工作量.     

国产基础软件可靠性分析及验证

国产基础软件通过常规测试后仍存在诸多质量或可靠性问题,为此,针对国产基础软件的特性及现有可靠性测试技术的不适应之处,结合Musa剖面模型和Markov链模型设计出一种带标记的Markov链运行剖面建模技术来构建操作系统的运行剖面,研究并给出相应的可靠性测试用例生成方法,最后选取典型操作系统进行了分析验证,证明了研究成果的有效性.     

基于覆盖与故障注入的飞控软件测试技术研究

无人机飞控软件是典型的实时嵌入式软件系统,其可靠性、安全性测试与评估是军用软件保障工作与无人机技术发展中的重点与难点。针对飞控软件的特点,介绍基于覆盖与故障注入的测试方法．分析其测试与可靠性评估中的关键技术,并简要介绍应用于测试数据分析过程的软件可靠性建模工具MEADEP的构成与建模方法。实践证明对安全关键软件严格的测试与评估可大大降低错误隐藏数,减少不必要的经济损失与灾难性事件发生。     

Testing control software using a genetic algorithm

Complex software is difficult to test. When that software has been developed by a third party in response to a requirements specification and is to be used in an electronic control unit in the automotive, aerospace or marine industries, this testing process can be even more difficult, but is an essential task. However, testing all possible combinations of inputs to software can be time-consuming, tedious and may be intractable. This paper presents a genetic algorithm (GA) designed to search for significant input and output combinations to a software control system. By “significant” is meant those which produce an output (or result) which is not in line with the original specification. It is intended that such a tool should be used to support the human tester by focusing their attention on areas of concern which they can investigate further.     

An Examination of Determinants of Software Testing and Project Management Effort

Software estimation research has primarily focused on software effort involved in direct software development. As more and more organizations buy instead of building software, more effort is spent on software testing and project management. In this empirical study, the effect of program duration, computer platform, and software development tool (SDT) on program testing effort and project management effort is studied. The study results point to program duration and software tool as significant determinants of testing and management effort. Computer platform, however, does not have an effect on testing and management effort. Furthermore, the mean testing effort for third generation (3G) development environment was significantly higher than the mean testing effort for fourth generation (4G) environments that used IDE. In addition, the management effort for 4G environment projects without the use of IDE was lower than nonprogramming report generation projects.     

面向对象的软件测试方法研究

面向对象软件的独有特性,如抽象、继承、封装、多态等,使得传统的软件测试技术不能直接应用于面向对象的软件测试。文章探讨了面向对象的测试方法,分析了面向对象的各种特征对软件测试造成的影响,以及面向对象软件测试的层次划分与测试内容。并以一个简单的计算器类为例,使用开源测试工具JUNIT进行了验证。     

分布式组件系统软件故障植入测试

文中讨论了利用软件故障植入测试技术对分布式组件系统进行有效测试的方法，主要针对分布式组件系统常见故障分析、软件故障植入方法以及测试的充分性标准进行了探讨。这种特殊的测试方法对于分布式组件软件系统的质量保证，特别是一些对可靠性有特殊要求的应用软件测试具有重要的意义。