Automatic Software Test Data Generation for Spanning Sets Coverage Using Genetic Algorithms

Software testing takes a considerable amount of time and resources spent on producing software. Therefore, it would be useful to have ways to reduce the cost of software testing. The new concepts of spanning sets of entities suggested by Marré and Bertolino are useful for reducing the cost of testing. In fact, to reduce the testing effort, the generation of test data can be targeted to cover the entities in the spanning set, rather than all the entities in the tested program. Marré and Bertolino presented an algorithm based on the subsumption relation between entities to find spanning sets for a family of control flow and data flow-based test coverage criteria. This paper presents a new general technique for the automatic test data generation for spanning sets coverage. The proposed technique applies to the algorithm proposed recently by Marré and Bertolino to automatically generate the spanning sets of program entities that satisfy a wide range of control flow and data flow-based test coverage criteria. Then, it uses a genetic algorithm to automatically generate sets of test data to cover these spanning sets. The proposed technique employed the concepts of spanning sets to limit the number of test cases, guide the test case selection, overcome the problem of the redundant test cases and automate the test path generation

Ameliorative Effect of Ketogenic Diet on High Fat Diet Induced Metabolic Syndrome in Rats Via GLP-1R and PGC-1α

Metabolic syndrome (MetS) is a kind of metabolic disorder, including abdominal obesity, hyperglycemia, dyslipidemia, hypertension, etc.  Dietary intervention was thought to be one of the lifestyle strategies, along with others like nutritional intervention, psychological intervention, etc., that might effectively treat MetS. the ketogenic diet (KD) is a high-fat diet that has been shown to be helpful in a variety of diseases such as polycystic ovarian syndrome, acne, cancer, and respiratory distress. The study was conducted to investigate the therapeutic potential of a ketogenic diet on rat MetS models. In this study, 40 males’ rats were divided into four groups, for a period of 24 weeks, the rats were received KD. Some biochemical, molecular parameters and histopathology of liver tissues were determined. Our results demonstrated that compared to rats in the MetS group, the KD group and MetS +KD group reduced glucose, insulin, HOMA-IR, alanine aminotransferase (ALT), aspartate aminotransferase (AST), Alkaline phosphatase (ALP) levels and Malondialdehyde (MDA), while the KD group and MetS +KD group increased glutathione (GSH), catalase (CAT), and superoxide dismutase (SOD) levels (P < 0.05). An upregulation was found in the gene expression levels of the homogenate of Peroxisome proliferator-activated receptor gamma coactivator 1-alpha (PGC-1α) and the Glucagon-like peptide-1 receptor (GLP-1R) in control group, KD group, and MetS +KD group compared with Mets group. In conclusion based on these results, KD can be suggested as a healthy weight loss diet with positive metabolic and hepatic benefits