The overall goal of the work described in this thesis is: “To design a flexible tool for state-of-the-art model-based derivation and automatic application of black-box tests for reactive systems, usable both for education and outside an academic context.” From this goal, we derive functional and non-functional design requirements. The core of the thesis is a discussion of the design, in which w...

the present article reports a study carried out to investigate whether or not awareness of functional translation theories has any impact on the translation quality of translator trainees. 2oo iranian undergraduate students took part in this study. they were divided into four groups -two- experimental and two control groups. after homogenizing the participants by a toefl test, a translation pre...

Low power test set is generated by merging of the skewed load test cubes that are extracted from the functional broadside tests. The use of functional broadside tests ensures that switching activity of the extracted tests does not exceed that possible during functional operation of the circuit. As the switching activity is prevented from exceeding the switching activity that the circuit is desi...

Automated software test generation has been applied across the spectrum of test case design methods; this includes white-box (structural), black-box (functional), greybox (combination of structural and functional) and nonfunctional testing. In this paper, we undertake a systematic mapping study to present a broad review of primary studies on the application of search-based optimization techniqu...

We examine possibilities for modularizing the executable models of Service Providing Business Processes in a way that allows reuse of common patterns across different applications. We argue that this requires that we can create independent models for different aspects of the process, and then compose these requirements related partial behavioral models to form a complete solution. We identify t...

System Test in architectures composed of several asynchronous subsystems is a hard task. The simulation of external systems is usually performed in a limited way, considering only test cases provided, one by one. This paper presents a simulator based on MAS, used to test critical operation software. The simulator, with simple architecture and construction, has supported interface and integratio...

objectives: the purpose of this study was to determine the functional mobility and balance in the elders after total hip arthroplasty in healthy coparison to elders. methods & materials: the current cross-sectional study was done on 20 patients (70.9±4.2) with hip osteoarthritis 6 months after total hip arthroplasty and 20 healthy subjects (73±5.7) as control group. patient group was assigned w...