basic research in computer science and software engineering at sklcs

The State Key Laboratory of Computer Science (SKLCS) is committed to basic research in computer science and software engineering. The research topics of the laboratory include: concurrency theory, theory and algorithms for real-time systems, formal specifications based on context-free grammars, semantics of programming languages, model checking, automated reasoning, logic programming, software testing, software process improvement, middleware technology, parallel algorithms and parallel software, computer graphics and human-computer interaction. This paper describes these topics in some detail and summarizes some results obtained in recent years.

a backtracking search tool for constructing combinatorial test suites

Combinatorial testing is an important testing method. It requires the test cases to cover various combinations of parameters of the system under test. The test generation problem for combinatorial testing can be modeled as constructing a matrix which has certain properties. This paper first discusses two combinatorial testing criteria: covering array and orthogonal array, and then proposes a backtracking search algorithm to construct matrices satisfying them. Several search heuristics and symmetry breaking techniques are used to reduce the search time. This paper also introduces some techniques to generate large covering array instances from smaller ones. All the techniques have been implemented in a tool called EXACT (EXhaustive seArch of Combinatorial Test suites). A new optimal covering array is found by this tool.

关于蜕变测试和特殊用例测试的实例研究

提出了基于蜕变测试方法的集成测试环境MTest,进而为检验蜕变测试方法的能力和效率,以稀疏矩阵乘法程序为例设计了一组实验.该实验基于变异分析技术,分别以mutation score和错误发现率为度量指标,定量地分析和对比了特殊用例测试,以特殊测试用例和随机测试用例为源测试用例的蜕变测试这3种方法的测试能力和效率.该实验可在MTest测试环境下自动完成.实验结果表明,蜕变测试与特殊用例测试之间是互补的,而且就蜕变测试的源测试用例而言,随机测试用例在测试能力和效率上优于特殊测试用例.

医用回旋加速器电源控制器软件设计

医用回旋加速器控制系统是在HIRFL—CSR控制系统上总结完善出来的，医用回旋加速器控制系统是一个基于网络的分布式控制系统，它由许多分控制系统组成。磁铁电源控制系统是回旋加速器控制系统中一个重要部分，它是一个集波形发生、数据采集、状态监测与一体的系统。输出波形的参数由实验需要而计算得到。因为加速器所有的运行激励都由电源所控制，电源控制着磁场的状态，磁场的状态决定着加速器的状态，所以控制系统的直接控制对象就是磁场电源。在整个控制系统中最重要的就是控制波形的同步和波形的精度，这是同步加速器控制系统的关键所在。波形的同步由同步时序系统控制，这是回旋加速器成功运行的先决条件。数据的采集、电源状态的监测由数据采集模块CPLD+ARM负责完成，CPLD与ARM控制器结合，形成数据的上行通道。采集到的数据均存放在中央控制室的数据库中，以供参考、后期分析及应用。论文论述了对医用回旋加速器电源控制器软件的设计实现。对磁铁电源控制系统，主要从系统的结构、I/O部件的硬件设计和软件设计这几个方面进行论述；对软件系统，主要描述各类硬件驱动设计、对数据预处理和与数据库通信的设计实现。本文的工作在医用回旋加速器控制系统中具有很重要的意义，为重离子束治疗肿瘤做了基础准备。从测试及验收结果来看，我们对控制系统的优化不仅在硬件结构上，还是在软件设计实现上都达到了设计要求

Web Services Workflows—Composition, Co-Ordination, and Transactions in Service-Oriented Computing

Web services can be seen as a newly emerging research area for Service-oriented Computing and their implementation in Service-oriented Architectures. Web services are self-contained, self-describing modular applications or components providing services. Web services may be dynamically aggregated, composed, and enacted as Web services Workflows. This requires frameworks and interaction protocols for their co-ordination and transaction support. In a Service-oriented Computing setting, transactions are more complex, involve multiple parties (roles), span many organizations, and may be long-running, consisting of a highly decentralized service partner and performed by autonomous entities. A Service-oriented Transaction Model has to provide comprehensive support for long-running propositions including negotiations, conversations, commitments, contracts, tracking, payments, and exception handling. Current transaction models and mechanisms including their protocols and primitives do not sufficiently cater for quality-aware and long running transactions comprising loosely-coupled (federated) service partners and resources. Web services transactions require co-ordination behavior provided by a traditional transaction mechanism to control the operations and outcome of an application. Furthermore, Web services transactions require the capability to handle the co-ordination of processing outcomes or results from multiple services in a more flexible manner. This requires more relaxed forms of transactions—those that do not strictly have to abide by the ACID properties—such as loosely-coupled collaboration and workflows. Furthermore, there is a need to group Web services into applications that require some form of correlation, but do not necessarily require transactional behavior. The purpose of this paper is to provide a state-of-the-art review and overview of some proposed standards surrounding Web services composition, co-ordination, and transaction. In particular the Business Process Execution Language for Web services (BPEL4WS), its co-ordination, and transaction frameworks (WS-Co-ordination and WS-Transaction) are discussed.

automated test case generation for the stress testing of multimedia systems

With the advancement in network bandwidth and computing power, multimedia systems have become a popular means for information delivery. However, general principles of system testing cannot be directly applied to testing of multimedia systems on account of their stringent temporal and synchronization requirements. In particular, few studies have been made on the stress testing of multimedia systems with respect to their temporal requirements under resource saturation. Stress testing is important because erroneous behavior is most likely to occur under resource saturation. This paper presents an automatable method of test case generation for the stress testing of multimedia systems. It adapts constraint solving techniques to generate test cases that lead to potential resource saturation in a multimedia system. Coverage of the test cases is defined upon the reachability graph of a multimedia system. The proposed stress testing technique is supported by tools and has been successfully applied to a real-life commercial multimedia system. Although our technique focuses on the stress testing of multimedia systems, the underlying issues and concepts are applicable to other types of real-time systems.

Crack tip behavior and crack-propagation in ductile materials

Dilatational plastic equations, which can include the effects of ductile damage, are derived based on the equivalency in expressions for dissipated plastic work. Void damage developed internally at the large-strain stage is represented by an effective continuum being strain-softened and plastically dilated. Accumulation of this local damage leads to progressive failure in materials. With regard to this microstructural background, the constitutive parameters included for characterizing material behaviour have the sense of internal variables. They are not able to be determined explicitly by macroscopic testing but rather through computer simulation of experimental curves and data. Application of this constitutive model to mode-I cracking examples demonstrates that a huge strain concentration accompanied by a substantial drop of stress does occur near the crack tip. Eventually, crack propagation is simulated by using finite elements in computations. Two numerical examples show good accordance with experimental data. The whole procedure of study serves as a justification of the constitutive formulation proposed in the text.

Static and fatigue failure behavior of carbon-fiber reinforced epoxy composite-materials with edge notch

A study of carbon fiber reinforced epoxy composite material with 0° ply or ±45°ply(unnotched or with edge notch) was carried out under static tensile and tension-tensioncyclic loading testing. Static and fatigue behaviour and damage failure modes in unnotched/notched specimens plied in different manners were analysed and compared with each other.A variety of techniques (acoustic emission, two types of strain extensometer, high speed pho-tography, optical microscopy, scanning electron microscope, etc.) were used to examine thedamage of the laminates. Experimental results show that when these carbon/epoxy laminateswith edge notch normal to the direction of the load are axially loaded in static or fatiguetension, the crack does not propagate along the length of notch but is in the interface (fiberdirection). The notch has no substantial effect on the stresses at the unnotched portion. Thedamage failure mechanism is discussed.

Collimation testing using axial intensity

We proposed a new method of measuring the degree of collimation of laser beam using axial intensity information near paraxial focus. Preceding methods for collimation testing are mainly either based on self-imaging or interferometric techniques. The new method is to employ the diffraction behavior of noncollimated wave in circular aperture diaphragm. The principle of the proposed method and experiment results are presented. Due to simplicity of the method and its low cost, it is a promising method for checking the collimation of laser beam. (c) 2005 Published by Elsevier GmbH.

Effect of counterpart on the tribological behavior and tribo-induced phase transformation of Si

The tribological behaviors and phase transformation of single crystal silicon against Si3N4, Ruby and steel were investigated in this study. It was found that the strong chemical action between silicon and Fe was the key factor to the tribological behavior of silicon as slid against steel. SEM and Raman spectroscopy indicated that phase transformation of single crystal silicon occurred during the running-in period at low sliding velocity as slid against Si3N4 and Ruby. and gave birth to single or a mixture phase of Si-III, Si-XII and amorphous silicon. The high hardness of counterpart and the absence of chemical action between silicon and counterpart facilitated the phase transformation of single crystal silicon. (C) 2008 Elsevier Ltd. All rights reserved.

Bulge testing and fracture properties of plasma-enhanced chemical vapor deposited silicon nitride thin films

The mechanical properties and fracture behavior of silicon nitride (SiNx) thin film fabricated by plasma-enhanced chemical vapor deposition is reported. Plane-strain moduli, prestresses, and fracture strengths of silicon nitride thin film; deposited both oil a bare Si substrate and oil a thermally oxidized Si substrate were extracted using bulge testing combined with a refined load-deflection model of long rectangular membranes. The plane-strain modu i and prestresses of SiNx thin films have little dependence on the substrates, that is, for the bare Si substrate, they are 133 +/- 19 GPa and 178 +/- 22 MPa, respectively, while for the thermally oxidized substrate, they are 140 +/- 26 Gila and 194 +/- 34 MPa, respectively. However, the fracture strength values of SiNx films grown on the two substrates are quite different, i.e., 1.53 +/- 0.33 Gila and 3.08 +/- 0.79 GPa for the bare Si substrate a A the oxidized Si substrate, respectively. The reference stresses were computed by integrating the local stress of the membrane at the fracture over the edge, Surface, and volume of the specimens and fitted with the Weibull distribution function. For SiNx thin film produced oil the bare Si Substrate, the Volume integration gave a significantly better agreement between data and model, implying that the volume flaws re the dominant fracture origin. For SiNx thin film grown on the oxidized Si substrate, the fit quality of surface and edge integration was significantly better than the Volume integration, and the dominant surface and edge flaws could be caused by buffered HF attacking the SiNx layer during SiO2 removal. Crown Copyright (C) 2008 Published by Elsevier B.V. All rights reserved.

Pressure dependence of Mn2+ luminescence in differently sized ZnS : Mn nanoparticles

The pressure behavior of Mn2+ emission in the 10-, 4.5-, 3.5-, 3-, and 1-nm-sized ZnS:Mn2+ nanoparticles is investigated. The emission shifts to lower energies with increasing pressure, and the shift rate (the absolute value of the pressure coefficient) is larger in the ZnS:Mn2+ nanoparticles than in bulk. The pressure coefficient increases with the decrease in particle size with the 1-nm-sized particles as an exception. Pressure coefficient calculations based on the crystal field theory are in agreement with the experimental results. The pressure dependence of the emission intensity is also size dependent. For nanoparticles 1 and 3 nm in size, the luminescence intensity of Mn2+ decreases dramatically with increasing pressure, while, for bulk and particles with average sizes of 3.5, 4.5, and 10 nm, the luminescence intensity of Mn2+ is virtually unchanged at different pressures. The bandwidth increases faster with increasing pressure for smaller particles. This is perhaps due to the fact that there are more Mn2+ ions at the near-surface sites and because the phonon frequency is greater for smaller particles. These new phenomena provide some insight into the luminescence behavior of Mn2+ in ZnS:Mn2+ nanoparticles.

an efficient method to generate feasible paths for basis path testing

Basis path testing is a very powerful structural testing criterion. The number of test paths equals to the cyclomatic complexity of program defined by McCabe. Traditional test generation methods select the paths either without consideration of the constraints of variables or interactively. In this note, an efficient method is presented to generate a set of feasible basis paths. The experiments show that this method can generate feasible basis paths for real-world C programs automatically in acceptable time.

异常处理机制研究

介绍了异常处理机制,包括异常的抛出、捕获、传播,并描述了异常的处理模式、传播机制、处理环境。不同应用领域的异常处理机制不同,以Java语言和工作流管理系统为例,分别介绍和讨论了程序设计语言层面和企业层面上的异常处理机制。