In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we propose a set of functions which describe the test generation process in a generic way. Each coverage criterion is mapped to a set of test goals. Based on this set of functions, we propose a generic framework enabling fle...

Test Coverage is a vital pointer of programming quality and a key piece of programming support. It helps in assessing the feasibility of testing by giving information on diverse coverage things. even though much research exertion has been put on the most proficient method to get possibility data by either code based testing or precondition based testing, very little has been paid to gauge and e...

BACKGROUND As social health is a condition-driven, dynamic and fluid concept, it seems necessary to construct and obtain a national and relevant concept of it for every society. Providing an empirical back up for Iran's concept of social health was the aim of the present study. METHODS This study is an ecologic study in which available data for 30 provinces of Iran in 2007 were analyzed. In o...

In order to realize node deployment in monitoring area and improve the network coverage, this paper propose a mobile node deployment method based on improved probability sensor model and dynamic multiple population particle swarm algorithm. Firstly, the improved probability sensor model was introduced by adding the energy factor to the traditional probability model, and then the node deployment...

Prior research indicates that cost-sharing and lack of insurance coverage reduce preventive services use among low-income persons. State Medicaid policy may affect the uptake of recommended adult vaccinations. We examined the impact of three aspects of Medicaid benefit design (coverage for vaccines, prohibiting cost-sharing, and copayment amounts) on vaccine uptake in the fee-for-service Medica...

introduction: direct cash payments are the principal sources of health care finance in most countries. health services may impose a regressive cost burden on households, especially in developing countries. the purpose of this study was to calculate households encountered with catastrophic healthcare expenditures in qazvin, iran. methods: the statistical society included 100 household equaled to...

private healthcare services in vietnam are seen as a major part of the solution to the rapid increase in need and demand for healthcare services. formally recognized over 20 years ago, the private health services coexist with public services and are available all over the country. however, the scale and size of private sector is still small compared to the public sector and public acceptance an...

ISSUE: Prior to the Affordable Care Act (ACA), people with preexisting health conditions could be denied insurance coverage or charged higher rates. If the law is repealed, these protections could be diluted or lost altogether. GOALS: Assess the ACA's impact on coverage and access for people with preexisting conditions and compare their coverage gains with state high-risk-pool enrollment pre-AC...

Testable software has two inherent properties – observability and controllability. Observability facilitates observation of internal behavior of software to required degree of detail. Controllability allows creation of difficult-to-achieve states prior to execution of various tests. In this paper, we describe COTT, a Controllability and Observability Testing Tool, to create testable object-orie...