Usually, testing smart card software is carried-out by specialized engineers in a proprietary language. Testing represents generally half of smart card development effort. With the increasing use of semi-formal and formal modeling languages, such as UML, and the emergence of automatic test generators in the industry, we have studied a way to adapt these techniques for smart card. In this articl...

It is not possible to do automatic testing with step motors in Hardware-in-the-Loop (HIL) simulators because motors may be overheated if working for a long time. Furthermore, possibilities for fault injection are limited and physical interaction is needed to inject faults like a breakdown that can actually be mimicked. We present an emulator in an FPGA that allows to emulate a step motor for au...

This paper presents an integrated approach to verification and testing automation of UML projects. It consists of automatic model creation from UML specifications in the formal language of basic protocols, model’s verification by the means of VRS technology and automatic tests generation in TTCN language using TAT. The actuality of this task arises from necessity of software functionality’s cor...

This paper describes the specification-based testing and analysis tools, and associated processes, that were used to develop and certify safety-critical avionics systems in an industrial organization. These tools comprise an integrated development environment supporting specification acquisition and analysis, requirement-based automatic test vector generation, test coverage analysis, test drive...

Verification of component-based systems presents new challenges not yet completely addressed by existing testing techniques. This paper proposes a new approach for automatically testing highly reconfigurable component-based systems, i.e., systems that can be obtained by changing some components. The paper presents an industrial case that motivates our research and proposes a testing infrastruct...

This Project Objective is Software Testing using Optimization Techniques. Identification, characterization and automatic prioritization of test cases in software testing using optimization techniques. Proposing a new approach for software testing process, optimizing testing effort, testing complexity, quality & reliability issues. In software development life cycle (SDLC), testing phase is the ...

There are large development efforts directed toward unobtrusive methods for the monitoring of wakefulness and sleep. When testing these devices also the reference testing method should be easy to use and analyse. It is known that frontopolar electroencephalographic (EEG) and electro-oculography (EOG) electrodes outside the hairline can be used for sleep staging. We have recently demonstrated th...

In anti-seepage engineering, quality control and engineering applications are based on the accurate measurement of seepage indices for low-permeability materials. The test used to determine materials adopts an external source produce water pressure, flux produced during process requires manual measurement; thus, apparatus is complex difficult operate, thereby lowering testing efficiency restric...