Reduction of Faults in Software Testing by Fault Domination

Although mutation testing is one of the practical ways of enhancing test effectiveness in software testing, it could be sometimes infeasible in practical work for a large scale software so that the mutation testing becomes time-consuming and even in prohibited time. Therefore, the number of faults assumed to exist in the software under test should be reduced so as to be able to confine the time complexity of test within a reasonable period of time. This paper utilizes the concept of fault dominance and equivalence, which has long been employed in hardware testing, for revealing a novel way of reducing the number of faults assumed to hide in software systems. Once the number of faults assumed in software is decreased sharply, the effectiveness of mutation testing will be greatly enhanced and become a feasible way of software testing. Examples and experimental results are presented to illustrate the effectiveness and the helpfulness of the technology proposed in the paper.     

UNI-SPEC：An Instruction Set Description Language

Microprocessor development emphasizes hardware and software co-design. Hw/Sw co-design is a modem technique aimed at shortening the time-to-market in designing the real-time and embedded systems. Key feature of this approach is simultaneous development of the program tools and the target processor to match software application. An effective co-design flow must therefore support automatic software toolkits generation, without loss of optimizin4g efficiency. This has resulted in a paradigm shift towards a language-based design methodology for microprocessor optimization and exploration. This paper proposes a formal grammar, UNI-SPEC, which supports the automatic generation of assemblers, to describe the translation rules from assembly to binary.Based on UNI-SPEC, it implements two typical applications, i.e., automatically generating the assembler and the test suites.     

Research on Modeling and Reusing of Computer Numerical Control Software with Object-oriented Technology

To improve the reusable and configurable ability of computer numerical control (CNC) software, a new method to construct reusable model of CNC software with object-oriented (OO) technology is proposed. Based on analyzing function of CNC software, the article presents how to construct a general class library of CNC software with OO technology. Most function modules of CNC software can be reused because of inheritable capability of classes. Besides, the article analyzes the object relational model in request/report mode, and multitask concurrent management model, which can be applied on double-CPU hardware platform and Windows 95/NT environment. Finally, the method has been successfully applied on a turning CNC system and a milling CNC system, and some function modules have been reused.     

Task graph reduction algorithm for hardware/software partitioning

Hardware/software(HW/SW) partitioning is one of the key processes in an embedded system.It is used to determine which system components are assigned to hardware and which are processed by software.In contrast with previous research that focuses on developing efficient heuristic,we focus on the pre-process of the task graph before the HW/SW partitioning in this paper,that is,enumerating all the sub-graphs that meet the requirements.Experimental results showed that the original graph can be reduced to 67% in the worst-case scenario and 58% in the best-case scenario.In conclusion,the reduced task graph saved hardware area while improving partitioning speed and accuracy.     

Performance Prediction of Packet Mobile Communication through Wireless Multipath Fading Channel Modeling

This paper presents a software simulator applicable to multipath fading channels in urban environments of mobile communication networks. The simulator is constructed by a two-state Markov model and several statistical models for simulating the characterizations of different environments. A core idea of the simulator is to construct a Rice distribution-based multipath fading module produced by a modified Gans Doppler power spectrum,and in combination with a Markov model to predict the time-dependent characteristics of packet in different radio circumstances. It can simply predict the packet performance of the future channel and evaluate the relations between the radio channel and the modulation schemes,error control protocols and channel coding. Simulation results demonstrate that it is a reliable and efficient method.     

Control strategies and hardware-in-the-loop simulation for bus signal priority

It is considered to be an important and effective means to give priority to the development of public transport which can improve the efficiency of using traffic resources and alleviate traffic jams , public transit signal priority belongs to the "time priority" among right-of-way priorities .In the review of existing bus priority signal control strategies and the progress of related technologies at home and abroad, this article analysis the condition of our country for the bus signal priority and a breakthrough in optimizing the design direction, then propose hardware and software systems and modules for the bus priority signal control system. Finally, the hardware-in-the-loop simulation is introduced to evaluate and demonstrate bus priority signal control programs, which can better develop and optimize the control strategy.     

Experimental Evaluation of TCP and ICMP in Network Measurement

Network measurement is an important approach to understand network behaviors, which has been widely studied. Both Transfer Control Protocol （TCP） and Interact Control Messages Protocol （ICMP） are applied in network measurement, while investigating the differences between the measured results of these two protocols is an important topic that has been less investigated. In this paper, to compare the differences between TCP and ICMP when they are used in measuring host connectivity, RTT, and packet loss rate, two groups of comparison programs have been designed, and after careful evaluation of the program parameters, a lot of comparison experiments are executed on the Internet. The experimental results show that, there are significant differences between the host connectivity measured using TCP or ICMP; in general, the accuracy of connectivity measured using TCP is 20%- 30% higher than that measured using ICMP. The case of RTT and packet loss rate is complicated, which are related to path loads and destination host loads. While commonly, the RTF and packet loss rate＂ measured using TCP or ICMP are very close. According to the experimental results, some advices are also given on protocol selection for conducting accurate connectivity, RTF and packet loss rate measurements.     

RTEX A REAL TIME EXECUTIVE FOR DCCS

This paper presents the design idea and implementation of a real time multiprocess executivededicated to a distributed computer control system(abbreviated as DCCS),RTEX.The hostprecessor is an INTEL 8344 microcontroller proper for mini size industrial control work station.A real time executive is designed to provide a friendly environment for users to develop their ownapplied software.In consideration of reliability and ease of maintenance the executive is imple-mented by a hierarchical structure with eight layers which include user applied programs,net-work communication,real time clock manager,interprocess communication,processcoordination,process manager,memory manager,hardware.For practical purpose the networkcommunication software is implemented by four layers,namely physical,datalink,transport andapplication.The bottom two layers are designed according to the Bit Bus protocol,so that thework station is compatible with the INTEL distributed system.Three parts,the kernel,networkcommunication and facilities for system initialization and applied software development are in-cluded.     

(PM SLM) without position sens

ition of PMSLM, which is regarded as the feedback signal of control system. On the basis of hardware functions of DSP and the method of calculating the mover’s position of PMSLM,the design of system hardware frame and software flow is completed.permanent m     

Embedded integrated servo-controllers for intelligent modular actuators

This paper focuses on the development of an embedded integrated servo-controller （EISC） for servomotors. Comprising of mainly servo-controller and servo-amplifiers, this EISC is capable of controlling a wide range of servomotors to perform complieated tasks. Hence, integration of this EISC with a servomotor forms an intelligent modular actuator （IMA） that is essential to modern manufacturing industries. The development of such an EISC involves two major tasks： first, designing the hardware of a compact-sized and highly compatible EISC, and second, developing the software functions to facilitate its functionalities and capahilities. The developed EISC hence forms an integrated-servo-eontrol module, which determines the capability, functionality, flexibility and responsiveness of these IMAs.     

Announcing a Special Issue on Progress in Software ＆ Microelectronic Technologies in Science in China Series F： Information Sciences

The past decades have witnessed the fast increase of demands on various Internet applications, which work in the open and dynamic Internet environment and enable people to share and utilize various kinds of resources such as computing power, data, software, and services. The Internet applications bring great challenges to both microelectronics and software technologies that are the two indispensable underpinnings of information technologies： microelectronics is the foundation of all hardware devices, and software plays the director role of controlling those devices to function correctly and serve human society effectively. Much progress in software and microelectronicstechnologies has been made in recent years.     

Distributed and Parallel Component Library

Software component library is the essential part of reuse-based software development. It is shown that making use of a single component library to store all kinds of components and from which components are searched is very inefficient. We construct multi-libraries to support software reuse and use PVM as development environments to imitate Iargescale computer, which is expected to fulfill distributed storage and parallel search of components efficiently and improve software reuse.     

软件工程教育中的能力成熟度模型

Good software engineering education plays a vital role to improve the software development ability.In China,many software engineering education institutions have been established in recent years.Current research on the software engineering education is mostly focused on the certain concrete courses and body of knowledge,which lacks the view as an integrated education process.How to evaluate the institutions' education capability and how to help them to improve their capability is a critical issue.This paper describes a model for measuring the maturity of software engineering education processes,which leverages the CMM(Capability Maturity Model)of software process.We call this model SEEDU-CMM(Capability Maturity Model for Software Engineering Education).SEEDU-CMM is used to evaluate the capability of the software engineering education institutions,as well as to provide guide for them to improve their education quality.     

Route maintenance of on-demand routing protocol in mobile ad hoc networks

In mobile ad hoc networks （MANETs）, if a mnltihop route breaks, route maintenance is typically performed to establish a new route which causes high control overhead and long packet delay. To decrease the time of recovery and the overhead of maintenance, a new route maintenance mechanism in which the maintenance is confined to the vicinity of the broken link is proposed. This mechanism patches broken route through some other nodes in which only nodes near the broken link（s） may need to be substituted and the rest of nodes can be retained on the route. The broken link can be repaired without considering its relative position in the whole path, so the abihty of dealing with hnk failure is improved obviously. Simulation results show that the proposed strategy improves network performance significantly, such as in merits of control overhead and packet delay.     

Model based SOC estimation for high-power Li-ion battery packs used on FCHVs

A model based method which recruited the extended Kalman filter （EKF） to estimate the full state of charge （SOC） of Li-ion battery was proposed. The underlying dynamic behavior of the cell pack was described based on an equivalent circuit comprising of two capacitors and three resistors. Measurements in two tests were applied to compare the SOC estimated by model based EKF estimation with the SOC calculated by coulomb counting. Results have shown that the proposed method is able to perform a good estimation of the SOC of battery packs. Moreover, a corresponding battery management systems （BMS） including software and hardware based on this method was designed.     

Performance Flexibility Architecture of Core Service Platform for Next-Generation Network

The hardware and software architectures of core service platforms for next-generation networks were analyzed to compute the minimum cost hardware configuration of a core service platform. This method gives a closed form expression for the optimized hardware cost configuration based on the service requirements, the processing features of the computers running the core service platform software, and the processing capabilities of the common object request broker architecture middleware. Three simulation scenarios were used to evaluate the model. The input includes the number of servers for the protocol mapping （PM）, Parlay gateway （PG）, application sever （AS）, and communication handling （CH） functions. The simulation results show that the mean delay meets requirements. When the number of servers for PM, PG, AS, and CH functions were not properly selected, the mean delay was excessive. Simulation results show that the model is valid and can be used to optimize investments in core service platforms.     

Exploration of Complexity in Software Reliability

Traditionally, timing and the failure rate are the only two factors considered in software reliability formula, which is actually incomplete. Reliability should be redefined as a function of software complexity, test effectiveness, and operating environment. This paper focuses on software complexity with its relation to the soft- ware reliability. Today, many software complexity measurements have been proposed, but most of them treat the reliability model incompletely. This paper proposes a new method which considers a relatively complete view of software reliability including its complexity and test effectiveness of the software being tested.     

Supporting Consistency in Linked Specialized Engineering Models Through Bindings and Updating

Currently, some commercial software applications support users to work in an integrated environment. However, this is limited to the suite of models provided by the software vendor and consequently it forces all the parties to use the same software. In contrast, the research described in this paper investigates ways of using standard software applications, which may be specialized for different professional domains. These are linked for effective transfer of information and a binding mechanism is provided to support consistency. The proposed solution was implemented using a CAD application and an independent finite element application in order to verify the theoretical aspects of this work.     

Crystal-KMC: Parallel Software for Lattice Dynamics Monte Carlo Simulation of Metal Materials

Kinetic Monte Carlo(KMC) is a widely used method for studying the evolution of materials at the microcosmic level. At present, while there are many simulation software programs based on this algorithm, most focus on the verification of a certain phenomenon and have no analog-scale requirement, so many are serial in nature. The dynamic Monte Carlo algorithm is implemented using a parallel framework called SPPARKS, but it does not support the Embedded Atom Method(EAM) potential, which is commonly used in the dynamic simulation of metal materials. Metal material — the preferred material for most containers and components — plays an important role in many fields, including construction engineering and transportation. In this paper, we propose and describe the development of a parallel software program called Crystal-KMC, which is specifically used to simulate the lattice dynamics of metallic materials. This software uses MPI to achieve a parallel multiprocessing mode, which avoid the limitations of serial software in the analog scale. Finally, we describe the use of the parallel-KMC simulation software Crystal-KMC in simulating the diffusion of vacancies in iron, and analyze the experimental results. In addition, we tested the performance of Crystal-KMC in "meta-Era" supercomputing clusters, and the results show the Crystal-KMC parallel software to have good parallel speedup and scalability.     

Research on control technology of elderly-assistant & walking-assistant robot based on tactile-slip sensation

In this paper,according to the old people’s physical characteristics and their technical requirements for comfort and mastery when operating the robot,a control approach driven by tactile and slip senses is investigated to control the elderly-assistant & walking-assistant robot. First,on the basis of the proposed driving control system program of tactile and slip,a detection system of tactile and slip senses are designed. Based on the tactile and slip feature representation and extraction,an improved classification and recognition method is proposed which combines K-nearest neighbor (KNN) algorithm and K-means algorithm. And then,a robot control system based on TMS320F2812 is designed in this paper,including its hardware and software design. Then,a moving control method including the fuzzy adaptive control algorithm is presented for the walking-assistant robot to realize some different moving properties. At last,by the experimental verification in the walking-assistant robot,the research results show that the tactile and slip senses detection and recognition method is effective,and the whole control system has good feasibility and adaptability.