Principle and Design of a Test Suite Generation System——TSGS

Formal methods for test sequence generation from FSM have been studied widely andthoroughly,but most real communication systems can only be modeled as EFSM exactly.Data portion in EFSM brings difficulties for test suite generation.In this paper,the strategyof generating test suite from protocols modelled as EFSM is presented.This strategy consid-ers testing of both the control portion and data portion of protocols.A software,the testsuite generation system(TSGS)based on above strategy,is introduced.

Research on the Computer Network Protocol Test Model based on Genetic and Random Walk Algorithm

In this paper, we conduct research on the computer network protocol test model based on genetic and random walk algorithm.Network protocol is the abstract concept, is important in the process of the development of network system. Fully understand and grasp of thenetwork protocols for managers is there is a big diffi cult. Network covert channel is the evaluation of intrusion detection system and fi rewallsecurity performance of an important means, the paper will start from the angle of the attacker, the fl aws of the research, and use this kind ofdefect to realize network covert channel, the random walk algorithm will be feasible for dealing with this issue. For achieving this, we integratethe genetic and random walk algorithm for systematic optimization.

Facilitating Water electrolysers for electricity-grid services in Europe through establishing standardized testing protocols

Electrolysers,which convert electricity into hydrogen,have the potential to offer a variety of electrical-grid services,therefore facilitating the integration of intermittent renewables into electrical grids.Among various activities that aim to unlock this hidden value,the 3-year European Union project QualyGridS launched in 2017 aims to establish standardized testing protocols for electrolysers to perform electricity-grid services.This paper shares experience and intermediate results of QualyGridS with respect to the testing protocols,test benches and testing results.The results of this work facilitate mutual understanding between the electricity industry and the hydrogen industry,support further development of the cross-sector testing standards,guide the design and selection of grid-service-oriented electrolyser applications and foster the transition towards a fossil-free-energy future based on high shares of hydrogen and other renewable solutions.

The influence of particle size on the thermal performance of coal and its derived char in a Union stove

For low-income communities in South Africa,coal is the most common solid fuel which is burnt in a variety of devices,including imbaulas and cast-iron stoves.The present work was conducted with the aim of determining the effect of the fuel particle size on the performance of coal,typically sourced in low-income households in townships in South Africa,and to subsequently compare the performance with a feed char of a common cast iron stove.Four fuel particle sizes of 15,20,30,and 40 mm,as well as a composite of the sizes were tested at 550C,against their untreated coal analogues to evaluate the thermal performance of each fuel.The thermal performance assessment metrics are ignition time,water boiling time,heat transfer and combustion efficiencies,while CO and CO_(2)emissions were measured for the calculations of CO/CO_(2)ratios.Ignition times were found to decrease from coals to chars and to decrease with increasing particle size.The effects of fuel type on the water boiling time were only observed in the later stages of the burn cycle,with the char boiling a 2 L batch of water in an average 24 min,while the coals reported an average boiling time of 20 min.Heat transfer efficiencies showed no significant variation with fuel type or particle size,with the average efficiency for the coals and that of the chars being around 66%.The fuels’performance was better gauged by the combustion efficiency,which was found to improve marginally from the coal fuels to the chars,and to increase with increasing particle size.Results from this testwork could contribute to the performance inventories from the combustion of domestic coal mined in South Africa in a typical cast iron stove which is used in informal settlements.

A formal method to real-time protocol interoperability testing

Interoperability testing is an important technique to ensure the quality of implementations of network communication protocol. In the next generation Internet protocol, real-time applications should be supported effectively. However, time constraints were not considered in the related studies of protocol interoperability testing, so existing interoperability testing methods are difficult to be applied in real-time protocol interoperability testing. In this paper, a formal method to real-time protocol interoperability testing is proposed. Firstly, a formal model CMpTIOA （communicating multi-port timed input output automata） is defined to specify the system under test （SUT） in real-time protocol interoperability testing; based on this model, timed interoperability relation is then defined. In order to check this relation, a test generation method is presented to generate a parameterized test behavior tree from SUT model; a mechanism of executability pre-determination is also integrated in the test generation method to alleviate state space explosion problem to some extent. The proposed theory and method are then applied in interoperability testing of IPv6 neighbor discovery protocol to show the feasibility of this method.

A TTCN-3-based protocol testing system and its extension

The protocol testing technology used in the next generation Internet should satisfy some new challenges and requirements. This paper focuses on the test suite description and test implementation techniques. TTCN-3 is chosen as the test suite description language and extended in both syntax and semantics to satisfy the requirements of protocol robustness testing. PITSv3, a protocol integrated testing system based on TTCN-3, is developed, and the extensions for robustness testing are implemented. Finally, two practical test applications are presented.

A Formal Approach to Protocol Performance Testing

This paper proposes a formal approach to protocol performance test- ing based on the extended concurrent TTCN. To meet the needs of protocol perfor- mance testing, concurrent TTCN is extended, and the extended concurrent TTCN's operational semantics is defined in terms of input-Output Labeled Thansition Sys- tem. An architecture design of protocol performance test system is described, and an example of test cases and its test result are given.

Use of Global Behavior Tree for Conformance Testing of OSPF Protocol LSDB Synchronization

Protocol formalization is one of a class of hard problems in testing routing protocols and characterized by dynamic, concurrent and distributed behavior. For the purpose of performing conformance testing of the open shortest path first protocol link-state database (LSDB) synchronization process, the authors propose a formal model called global behavior tree, which describes global interactions among routers. The model is capable of representing distributed and concurrent behavior and allows for easy test derivation. The corresponding test notation and test derivation algorithm are studied. A simple test method is developed and a software tester is implemented. The results show that this model easily facilitates the testing process and allows a good test coverage.

Generating Conformance Tests for Nondeterministic Protocol Machines

We present a method of generating test cases from the software specifications which are modeled by nondeterministic finite state machines. It is applicable to both nondeterministic and deterministic finite state machines. When applied to deterministic machines, this method yields usually smaller test suites with full fault coverage than the existing methods that also assure full fault coverage. In particular, the proposed mehod can be used to test the control portion of software specified in the formalspecification languages SDL or ESTELLE.

Recent Advances in Stability Improvement Strategies of M-N_(x)/C Catalysts Towards Oxygen Reduction Reaction

Although fuel cells possess advantages of high energy conversion efficiency and zero-carbon emission,their large-scale commercialization is restricted by expensive and scarce platinum(Pt)catalysts.Metal-nitrogen-carbon(M-Nx/C)catalysts are hailed as the most promising candidates to replace Pt due to their considerable oxygen reduction reaction(ORR)activity and low cost.Despite tremendous progress in terms of active site identification and activity improvement being achieved in the past few decades,the M-Nx/C catalysts still suffer from insufficient durability,which drastically limits their practical application.In this regard,understanding degradation mechanisms and customizing stabilization strategies are of significant importance yet challengeable.In this review,we summarize the recent advances in the stability improvement of M-Nx/C catalysts.The stability test protocols of the M-Nx/C are firstly introduced.Subsequently,with the combination of advanced ex situ and in situ characterization techniques and density functional theory calculation,we present a comprehensive overview of the main degradation mechanisms during ORR process.Aiming at these deactivation issues,a variety of novel improvement strategies are developed to enhance the stability of M-Nx/C.Finally,the current challenges and prospects to design highly stable M-Nx/C catalysts are also proposed.

Assessment of pollutant emissions and energy efficiency of four commercialized charcoal stoves with modified Chinese cooking stove protocol

Charcoal stove is widely used in the developing countries especially in Africa and Central America.Even reported to have a high impact on human health,stoves promoted in the related areas still mainly focus on fuel saving and little knowledge was reported for the stove performance in the field.This research evaluated four commercialized charcoal stoves with clay baseline stove using a modified Chinese cooking stove protocol that considered the local cooking habit to make the testing results more useful for the local stove promotion.The results showed that the thermal efficiency of tested charcoal stoves ranged from 38.7%to 47.5%,and the cooking power was around 640-1200 W.The CO emission factors of the improved stove had a 60%reduction compared with baseline stove.Different indicators reporting the same aspect of the stove were evaluated,and it suggested choosing the indicators according to the project requirements.

Microwave assisted synthesis of poly（2-hydroxyethylmethacrylate） grafted agar （Ag-g-P（HEMA）） and its application as a flocculant for wastewater treatment

Poly（2-hydroxyethylmethacrylate） chains were grafted onto the backbone of agar using a microwave assisted method involving a combination of microwave irradiation and ceric ammonium nitrate to initiate the grafting reaction. The synthesized graft copolymers were characterized by intrinsic viscosity measurements, Fourier transform infrared spectroscopy, elemental analysis （C, H, N, O and S） and scanning electron microscopy. Ag-g-P （HEMA）-2 showed a much higher flocculation efficacy than agar. The optimized dosage of flocculation for Ag-g-P （HEMA）-2 in the wastewater was found to be 0.75 ppm. Compared to agar, Ag-g-P（HEMA）-2 was found to considerably reduce the pollutant load in the wastewater.