In the previous chapters, various formal testing theories have been discussed. The correctness of an implementation with respect to a model is denoted by a so-called conformance relation. Conformance relations are relations between mathematical abstractions of implementations and models. Based on these conformance relations, different testing strategies have been defined. In this chapter, we co...

prompt detection of renal involvement through evaluation of microalbuminuria can both reduce mortality in diabetic patients and significantly reduce the cost of managing these patients. to this end, micral test strips have been used as a screeing tool in this group of patients though not yet in our country. the present study aimed to evaluate this test and to abtain a simpler and less expensive...

Good language learners slot in a repertoire of strategies and when language tests are at stake, test-taking strategies and test-wiseness pave pay to a prolific outcome. Among such tests, TOEFL iBT seems to be a prerequisite to academic success and a nightmare many Iranian students struggle with. Therefore, the aim of the present study was to raise awareness about the type of questions in iBT, b...

Background The first pillar of the UNAIDS 90-90-90 goal seeks to accurately identify persons living with HIV (PLHIV), a process that is predicated on facilities having the necessary HIV tests available to perform the task. In many rural settings, the identification of PLHIV is accomplished through a two-step process involving the sequential use of 2 separate rapid diagnostic tests (RDTs)....

nowadays, high-voltage circuit breakers have reached such high short-circuit capabilities that testing them under the full rated voltage is generally not possible with direct tests, and they are conducted by using the synthetic test methods. although the phenomena associated with making tests is of particular importance especially in case of load break switches, but making tests are rather disr...

physicochemical and mechanical properties of wheat grains can have a great impact on the quality of the final products (bread). therefore, correct selection of wheat cultivar for specific applications seems to be crucial. in this study, the differences in the physicochemical and mechanical properties (under compression and impact loadings) of ten iranian wheat cultivars (azar2, alamut, bam, bah...

background whooping cough is caused by bordetella pertussis, and it remains a public health concern. whole-cell pertussis vaccines have been commonly employed for expanded immunization. there is no doubt of the efficacy of whole cell pertussis vaccine, but it is necessary to improve the vaccine to decrease its toxicity. objectives in this study, an inactivation process of dealing with pertussis...

background and objective: hyperalgesia is one of the marked clinical signs of patients with diabetes mellitus that affects their lifestyle. this study was conducted to assess the anti-nociceptive effect of chronic administration of curcumin in streptozotocin (stz)-diabetic rats using formalin, hot tail immersion, and paw pressure tests. materials and methods: this study was conducted on 40 male...