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.

Establishing a new testing protocol of the electrochemical stability window for electric double-layer capacitors

The electrochemical stability window(ESW)is crucial for determining the energy density of electric double-layer capacitors(EDLCs).However,current ESW testing protocols of EDLCs are strongly affected by artificial factors,thereby leading to unreliable result.To solve this problem,we first identify the key shortcomings of the traditional protocols by analyzing their test principles.Subsequently,taking an aqueous carbon-based EDLC as an example,we design a side reaction descriptor to represent the response difference in the charging capacitance to side reactions between the cyclic voltammetry and galvanostatic chargedischarge methods.With the aid of this descriptor,we propose a new ESW testing protocol,which is not only able to completely avoid the adverse influence of subjective factors but also fully consider the operating condition limitations.The protocol can be extended from the single electrode to the full device.This work proposes a more rigorous definition of ESW and provides a reliable protocol for evaluating the ESW of EDLCs.

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.

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.

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 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.

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.

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.

Exploring the effects of angle of incidence on stabbing resistance in advanced protective textiles:Novel experimental framework and analysis

Despite numerous research investigations to understand the influences of various structural parameters,to the authors'knowledge,no research has been the effect of different angles of incidence on stab response and performance of different types of protective textiles.Three distinct structures of 3D woven textiles and 2D plain weave fabric made with similar high-performance fiber and areal density were designed and manufactured to be tested.Two samples,one composed of a single and the other of 4-panel layers,from each fabric type structure,were prepared,and tested against stabbing at[0○],[22.5○],and[45○]angle of incidence.A new stabbing experimental setup that entertained testing of the specimens at various angles of incidence was engineered and utilized.The stabbing bench is also equipped with magnetic sensors and a UK Home Office Scientific Development Branch(HOSDB)/P1/B sharpness engineered knives to measure the impact velocity and exerted impact energy respectively.A silicon compound was utilized to imprint the Back Face Signature(BFS)on the backing material after every specimen test.Each silicon print was then scanned,digitized,and precisely measured to evaluate the stab response and performance of the specimen based on different performance variables,including Depth of Trauma(DOT),Depth of Penetration(DOP),and Length of Penetration(LOP).Besides,the post-impact surface failure modes of the fabrics were also measured using Image software and analyzed at the microscale level.The results show stab angle of incidence greatly influences the stab response and performance of protective textiles.The outcome of the study could provide not only valuable insights into understanding the stab response and capabilities of protective textiles under different angle of incidence,but also provide valuable information for protective textile manufacturer,armor developer and stab testing and standardizing organizations to consider the angle of incidence while developing,testing,optimizing,and using protective textiles in various applications.

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.

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.