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.

Timing issues in distributed testing

The objective of conformance testing is to determine whether an implementation under test (IUT) conforms to its specification. In distributed test architecture where there are multiple remote testers, the objective can be complicated by the fact that testers may encounter controllability and observability problems during the application of a test sequence. A certain amount of work has been done in the area of generating test sequence that is free from these problems. However, few researchers investigate them from the aspect of test execution. This work studies the test execution phase when test sequences are applied to the imple- mentation and it is pointed out that controllability and observability problems can be resolved if and only if the test system im- plements some timing constraints. When determining these constraints, the dynamic time information during test is taken into account, which reduces the test execution time and improves test efficiency further.

<i>Inmap-t</i>: Leveraging TTCN-3 to Test the Security Impact of Intra Network Elements

This paper rejuvenates the notion of conformance testing in order to assess the security of networks. It leverages the Testing and Test Control Notation Version 3 (TTCN-3) by applying it to a redefined notion of System under Test (SUT). Instead of testing, as it is classically done, a software/firmware/ hardware element, an intangible object, namely the network, is tested in order to infer some of its security properties. After a brief introduction of TTCN-3 and Titan, its compilation and execution environment, a couple of use cases are provided to illustrate the feasibility of the approach. The pros and cons of using TTCN-3 to implement a scalable and flexible network testing environment are discussed.

Review of Model-Based Testing Approaches in Production Automation and Adjacent Domains—Current Challenges and Research Gaps

As production automation systems have been and are becoming more and more complex, the task of quality assurance is increasingly challenging. Model-based testing is a research field addressing this challenge and many approaches have been suggested for different applications. The goal of this paper is to review these approaches regarding their suitability for the domain of production automation in order to identify current trends and research gaps. The different approaches are classified and clustered according to their main focus which is either testing and test case generation from some form of model automatons, test case generation from models used within the development process of production automation systems, test case generation from fault models or test case selection and regression testing.

A Study on the Testing Procedures of IEC 61850 Based Transformer Protective lED

Korea Electric Power Corporation in charge of the power IT project ＂Development of Prototype for Advanced Substation Automation System based on the Digital Control Technology＂, is performing the verification of performance of the substation automation system based on IEC 61850. In order to verify a transformer protective lED that might be operating in substation automation system, the new standardized document and procedures are required in the aspect of the utility like KEPCO. But there is nothing to describe systematically how to verify IEC 6 1850 based lED in the system environment except an individual IED testing way. This paper will present the substation automation system based ways and procedures to verify the protective function of the IED using UML （Unified Modeling Language）.

SIP Conformance Testing Based on TTCN-2

The session initiation protocol (SIP) is a signaling protocol for Internet telephony, multimedia conferencing, presence, event notification, and instant messaging. With the gaining popularity, more and more SIP implementations have been developed and deployed. How to guarantee the conformance of those SIP implementations is the key point of interconnection and interoperation among them. This paper proposes the test method and architecture for the SIP protocol based on the IPv6 tester system. Tree and tabular combined notation (TTCN-2) is adopted to describe the test suite. With an enhanced reference implementation, the data-processing ability to the original test system has been greatly improved. In the following test practices, some errors have been found in the SIP entities under test. It is proved that the proposed test method and architecture are effective to verify the conformance of the SIP entities, and the result of the conformance test may provide helpful reference to the development of SIP products.

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.

Conformance testing of FMI calling sequence for simulation environments

Exchanging simulation models is currently of utmost importance.To improve interoperability between suppliers and original equipment manufacturers(OEMs),the functional mock-up interface(FMI)is exchanged in a standard format called functional mock-up unit(FMU).Since its first release,many simulation tools took the initiative to support FMI.However,since then,there have been many complaints stating that exchanging models via FMI does not work as stable as expected.The reason usually turned out to be the implementation of tool vendors that sometimes fail to comply with the standard fully.This paper introduces a methodology for testing FMI compliance of importing simulation tools using a set of reference FMUs.The standard defines the implementation of FMI functions calling sequence in a state machine.Therefore,conformance testing(also called fault detection)from automata theory is utilized to produce reference FMUs based on the FMI state-machine.

A framework for interoperability of BPEL-based workflows

With the prevalence of service-oriented architecture （SOA）, web services have become the dominating technology to construct workflow systems. As a workflow is the composition of a series of interrelated web services which realize its activities, the interoperability of workflows can be treated as the composition of web services. To address it, a framework for interoperability of business process execution language （BPEL）-based workflows is presented, which can perform three phases, that is, transformation, eonformance test and execution. The core components of the framework are proposed, especially how these components promote interoperability. In particular, dynamic binding and re-composition of work-flows in terms of web service testing are presented. Besides, an example of business-to-business （B2B） collaboration is provided to illustrate how to perform composition and conformance test.

Industrial Elaboration by Extrusion of PVC Tubes Loaded with Micronized Dura Palm Kernel Shell Powder

We present in this work how to use the dura palm kernel shell powders as loads for the elaboration by extrusion of PVC tubes. The transformation of dura palm kernel shells into micronized shell powder as well as its characterization was the subject of recent work. We carried out, the formulations by using the industrial scales of precision, the mixtures of the instrants with an industrial machine of mark HENSHLLE N˚2 MAIN 570762, the routine tests by ATG/DSC then by IRTF, the extrusion of the tubes with an extruder twin-screw with 9 rooms of transformation finally the tests of conformity by the observations and the analyses. We obtained for the formulations the dosage of 0%, 4.01%, 12.54%, 23.03%, 32.01%, 38.01%, 51.02% representing the percentage of hull powder in the mixture, the machine mixing gave perfectly homogeneous powders, the routine tests showed that the hull powder keeps all its properties until the end of the shaping whatever the percentage of hulls contained in the PVC, the extrusion gave tubes for each formulation and the conformity tests gave perfectly round tubes of diameter 90 × 82 mm, a coloration going from white grey at 0% to dark black at 51.02% showing the influence of the carbon black and the color of the shell powder according to its proportion. The infrared of the tubes obtained shows for each formulation a variation of the CH2 and CH bonds and a decrease of the −OH bonds. The thermogravimetric analyses and the differential calorimetric analyses of the tubes of each formulation, show each time that the quantity of shell powders in the mixture influences the PVC tubes obtained. Thus, we obtain a variation of the phase temperatures according to the dosage, giving from 108.72˚C to 76.56˚C for the glass transition temperature and from 494.71˚C to 414.56˚C for the melting temperature, at the DSC and a progressive decrease of the mass following the heat absorption with each time 4 phases instead of 5 for the unloaded PVC tubes at the ATG according to the dosage.

An Approach to Concurrent TTCN Test Generation

The basis of distributed system conformance testing is to test theconformance of each entity with its standard. This paper addresses the approach toentity conformance testing based on concurrent TTCN. First a preliminary framework for entity conformance testing is introduced and a specification model CEBEis presented. Then a test generation method, which could directly derive concurrentTTCN test suite from CEBE, is proposed.

A new method for improving efficiency of protocol testing

Traditional solutions have encountered some bottleneck in improving the efficiency of protocol testing.A novel method that records the test sequence dynamically is proposed.Three dynamically reordering algorithms are brought forward in line with different fault conditions.The impact of the new method of testing efficiency is also presented.Simulation results demonstrate that the proposed solution is better than the traditional ones in terms of testing efficiency.

Monitoring the quality of drugs in circulation using rapid NIR spectral comparison methods

Four rapid spectral comparison methods are introduced in mobile labs.They are conformity test method,general correlation coefficient method,reverse correlation coefficient method and correlation coefficient method using characteristic spectral ranges.The first method is used for tracking the movements of drugs in the distribution channels;the second is used for quickly identify new counterfeit drugs;the last two are used to screen drugs illegally added in Traditional Chinese Medicine （TCM）.The applicability of the four methods is evaluated with counterfeit and authentic drugs.Our results show that these methods can be quickly constructed and used to identify counterfeit drugs accurately.