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 <i...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 <i>System under Test</i> (<i>SUT</i>). 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.展开更多
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 ...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.展开更多
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 c...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 CH<sub>2</sub> 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<span style="white-space:normal;">˚</span>C to 76.56<span style="white-space:normal;">˚</span>C for the glass transition temperature and from 494.71<span style="white-space:normal;">˚</span>C to 414.56<span style="white-space:normal;">˚</span>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.展开更多
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 prelimin...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.展开更多
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 implem...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.展开更多
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 f...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.展开更多
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 mach...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.展开更多
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 ...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.展开更多
文摘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 <i>System under Test</i> (<i>SUT</i>). 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.
文摘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.
文摘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 CH<sub>2</sub> 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<span style="white-space:normal;">˚</span>C to 76.56<span style="white-space:normal;">˚</span>C for the glass transition temperature and from 494.71<span style="white-space:normal;">˚</span>C to 414.56<span style="white-space:normal;">˚</span>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.
文摘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.
基金the National Natural Science Foundation of China (No. 60572082)
文摘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.
文摘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.
文摘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.
基金supported by the National Natural Science Foundation of China (Grant No.60241004 and 60602016)the National Basic Research and Development Program of China (No.2003CB314801)+1 种基金MOE-MS Key Laboratory of Multimedia Calculation and Communication Open Foundation (No.05071801)Huawei Foundation (No.YJCB2006044TS).
文摘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.