On the testing of user‐configurable software systems using firewalls

User‐configurable software systems present many challenges to software testers. These systems are created to address a large number of possible uses, each of which is based on a specific configuration. As configurations are made up of groups of configurable elements and settings, a huge number of possible combinations exist. As it is infeasible to test all configurations before release, many latent defects remain in the software once deployed. A just‐in‐time testing technique is presented to address this problem, including examples of how it can be used with various user‐configurable systems in the field. The proposed solution is evaluated with a set of five empirical studies conducted on two separate ABB software systems using real customer configurations and changes. These studies analyse failures reported by many different customers globally and show that this just‐in‐time testing process is effective at detecting latent defects exposed by customer configuration changes in user‐configurable systems. Copyright © 2010 John Wiley & Sons, Ltd.     

Teaching a modern graphics pipeline using a shader-based software renderer

This paper presents the syllabus for an introductory computer graphics course that emphasizes the use of programmable shaders while teaching raster-level algorithms at the same time. We describe a Java-based framework that is used for programming assignments in this course. This framework implements a shader-enabled software renderer and an interactive 3D editor. Teaching shader programming in concert with the low-level graphics pipeline makes it easier for our students to learn modern OpenGL with shaders in our follow-up intermediate course. We also show how to create attractive course material by using COLLADA, an open standard for 3D content exchange, and our approach to organizing the practical course.     

传感器网超轻量IPv6协议栈一致性测试系统的设计

介绍了网络实验室设计的传感器网络超轻量化的IPv6协议栈规范及实现。在结合TTCN-3一致性测试规范的基础上设计了一致性测试系统,给出了测试模型、测试方法和测试系统软件框架,并提出了测试用例描述方法和具体的实现策略。     

IPv6中OSPF协议的一致性测试系统设计

根据协议一致性测试的特点和要求,针对OSPF协议的特点,介绍了一种OSPFv3协议一 致性测试系统的设计方法。该方法使用带有控制通道的多个虚拟测试器环境,用Tcl语言作为测试 例的描述语言,具有很好的测试能力和灵活性。使用该系统,成功对多个不同的OSPFv3实现进行了 测试,给出了测试实例,并提出进一步的工作方向。     

An interactive/graphics software system for function minimization

An interactive/graphics based software package for solving unconstrained function minimization problems is described. The intent of the package (called INTEROPT) is to provide a computing environment which properly matches the experimental nature of the function minimization problem. A number of multidimensional minimization algorithms are provided for the user, together with a number of linear search algorithms. Through a simple command language, the user is able to make selections from among the available options and to specify values for the various parameters which control the program execution. This dialog is carried out with the user on a graphics CRT screen. Various types of graphical output are available in INTEROPT both to assist the user in evaluating the progress of the minimization trial and to enable him to interact with it, if he so chooses. The INTEROPT system also includes provisions for the interior penalty function approach to handling problems with constraints. The package therefore has a wide range of applicability.     

On conformance testing of non-deterministic systems

Conformance testing aims at checking if an implementation conforms to its specification. This paper presents the definition of distinguishing sequences of non-deterministic systems. It pro-poses a novel algorithm for derivation of distinguishing sequences in a reduced system based on an observational equivalence. It extends the previous method [2] for dynamic testing of deterministic finite state machines for testing non-deterministic labeled transition systems.     

基于组态软件和工业以太网技术的自来水厂自控系统设计

利用工业组态软件强大的人机界面功能和灵活实用的网络功能,结合工业以太网技术在组网中方便可靠的特性,设计了一个自来水厂的自动监测系统。     

CuSora: Real-time software radio using multi-core graphics processing unit

The Sora platform, which is a fully programmable, high-performance software radio platform based on a commodity general purpose PC, has recently received significant attention. However, acceleration techniques used in Sora are too complicated for developers, which can prevent researchers from modifying physical layer (PHY) processing. This paper presents the CuSora platform, which integrates the Sora platform with a popular multi-core graphics processing unit (GPU) as the modem processor to achieve high-speed PHY signal processing. CuSora also exploits software techniques to fulfill requirements for real-time communication. A software controller is presented to achieve multi-mode communication. The features of the single-instruction multiple data parallel computation of the GPU are also employed to accelerate PHY processing. Several wireless protocols, such as WiFi (802.11a) or WiMAX (802.16), are demonstrated on the CuSora platform for verification. CuSora meets the requirement of real-time communication and has an excellent bit error ratio performance. CuSora has a higher performance, shorter development cycle, and better coding flexibility than the Sora platform.     

Portability of interactive graphics software

One solution to obtaining a portable graphics architecture is presented. By abstracting the functionality present in most 3-D graphics systems and augmenting it with advanced rendering features, a highly portable, efficient, and modern graphics architecture for interactive 3-D graphics applications (including modeling, animation, and scientific visualization) is obtained. Using appropriate object-oriented design procedures ensures the efficiency, maintainability, and portability of the architecture. The design and implementation of the graphics system used to achieve this high degree of portability are described     

Business alignment: using process mining as a tool for Delta analysis and conformance testing

Increasingly, business processes are being controlled and/or monitored by information systems. As a result, many business processes leave their “footprints” in transactional information systems, i.e., business events are recorded in so-called event logs. Process mining aims at improving this by providing techniques and tools for discovering process, control, data, organizational, and social structures from event logs, i.e., the basic idea of process mining is to diagnose business processes by mining event logs for knowledge. In this paper we focus on the potential use of process mining for measuring business alignment, i.e., comparing the real behavior of an information system or its users with the intended or expected behavior. We identify two ways to create and/or maintain the fit between business processes and supporting information systems: Delta analysis and conformance testing. Delta analysis compares the discovered model (i.e., an abstraction derived from the actual process) with some predefined processes model (e.g., the workflow model or reference model used to configure the system). Conformance testing attempts to quantify the “fit” between the event log and some predefined processes model. In this paper, we show that Delta analysis and conformance testing can be used to analyze business alignment as long as the actual events are logged and users have some control over the process.

Approaching a formal framework for graphics software standards

A graphics software standard has to specify precisely what the software is expected to do. For this purpose, the paper exhibits a formal framework for the specification of software modules which may be structured hierarchically and which may be based on abstract data types. An important aspect concerns the special mathematical semantics of the data types: The semantics of a type is its class of all finitely generated models. This semantics enables a uniform definition of a standard which, nevertheless, may cover a large variety of implementations on very different graphics hardware devices. The kernel of this approach is some axiomatic characterization of the notion of finitely generated images. Another important aspect is that, from such a formal software specification, an implementation may be derived. At least in principle, the careful documentation of such a program derivation could serve as a basis for a verification-oriented certification of graphics standard implementations.     

协议一致性测试平台的搭建及仿真实现

鉴于以往协议一致性测试平台整体框架的不完善,首先搭建了新的协议一致性测试平台,然后通过TTCN-3设计了关于重选测试套的新方案来进行仿真。通过将仿真图与原来GFT图比较得出了测试方案的优越性以及所搭建平台的合理性与可行性。     

基于MSTP协议的一致性测试设计

MSTP协议是针对STP收敛速度慢，RSTP不能进行基于802.1Q的流量分担等情况下提出的一种新的多域生成树协议。在扼要介绍此协议的实现原理的基础上，设计了针对此协议一致性的测试方法和测试组织，并应用于交换机的实际测试中，同时，给出了具体的测试实例，并对测试结果进行了分析。     

NoC系统测试软件设计

随着片上网络(Network-on-Chip,NoC)技术的发展,片上网络系统的测试成为不可或缺的一部分。NoC系统的测试主要包括路由器、资源节点、互连线等的测试。传统的测试技术由于检测过程复杂、耗时、费用高、故障检测率低,不能满足高效测试的需求。针对NoC故障检测技术的需求,以Visual Studio为开发平台,采用重用资源节点与边界扫描相结合的技术,设计基于VC++的边界扫描测试系统。设计主要由计算机软件控制系统与数据转化模块组成,可完成对NoC系统的故障检测,该系统具有人机界面友好、功能全面、操作简便的优点,在NoC系统上进行测试,取得了预期效果。     

Certification/validation of graphics software

This glossary clarifies some major technical terms of the certification of graphics software, especially of the Graphical Kernel System GKS. It describes the meaning of “certification”, “validation”, “correctness proving”, and “testing” and gives a very short introduction to the technical procedures and problems related with verification and testing.     

嵌入式软件系统测试中的仿真系统结构设计

分析了嵌入式软件的特点及测试方法;针对嵌入式软件的特点,提出了嵌入式软件系统测试中具有交互式错误检测定位功能的仿真系统架构设计模型,并结合铁路微机联锁系统的测试实例进行分析。     

iSCSI协议一致性测试研究与实现

不同iSCSI协议实现之间能否互联互通取决于协议实现是否与iSCSI协议规范相一致。针对这个问题,研究了iSCSI协议一致性测试的测试原理和测试流程,设计了适合于iSCSI协议一致性测试的测试系统以及基于XML描述的iSCSI协议一致性测试套,给出了较为完整的iSCSI协议一致性测试例。使用该测试例对某产品的iSCSI协议实现进行一致性测试,发现了被测实现存在与协议规范不一致的地方。