In this paper we study the application of automated test derivation and execution based on formal specifications. The object of testing is the Payment Box (PB) of the Highway Tolling System, a device which handles electronic payments. Challenges of testing the PB are the transaction speed, parallelism and encryption. We describe a methodology for automated testing and apply this methodology to ...

purpose: to evaluate changes in tear condition following unilateral ptosis surgery. methods: in this case series all patients with unilateral ptosis who underwent ptosis surgery over a two-year period were studied. the patients did not have history of previous eye surgery or other eye problems. eyelid and lacrimal evaluation included schirmer’s test with and without anesthesia and tear break up...

hydraulic conductivity variations around the boreholes in uniformly graded sands for cyclic water injection pressure have been evaluated by laboratory tests. prototype laboratory devices have been designed and constructed for this research. the cell has a capability to model the well, the boundary condition and to measure the hydraulic conductivity. while increasing water injection pressure, hy...

Designing and manufacturing the multiple jets simulator and experimental investigation of the multiple jets in crossflow at low velocity ratios have been studied Together with design and build a low-speed wind tunnel. A specific rake is used to determine the flow field pressure and changes in static pressure measured by pressure taps in the near field of the jets. There are generally three regi...

The unique operational characteristics of microreactors are described in this article, with particular reference to their use as tools for chemical synthesis. With reference to the future automation, an example is presented to illustrate how microreactors can be readily integrated into current HPLC systems, to enable fully integrated chemical synthesis and product analysis to be performed.