SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded Software in Industry

In this paper, we aim at the automated unit coverage-based testing for embedded software. To achieve the goal, by analyzing the industrial requirements and our previous work on automated unit testing tool CAUT, we rebuild a new tool, SmartUnit, to solve the engineering requirements that take place in our partner companies. SmartUnit is a dynamic symbolic execution implementation, which supports statement, branch, boundary value and MC/DC coverage. SmartUnit has been used to test more than one million lines of code in real projects. For confidentiality motives, we select three in-house real projects for the empirical evaluations. We also carry out our evaluations on two open source database projects, SQLite and PostgreSQL, to test the scalability of our tool since the scale of the embedded software project is mostly not large, 5K-50K lines of code on average. From our experimental results, in general, more than 90% of functions in commercial embedded software achieve 100% statement, branch, MC/DC coverage, more than 80% of functions in SQLite achieve 100% MC/DC coverage, and more than 60% of functions in PostgreSQL achieve 100% MC/DC coverage. Moreover, SmartUnit is able to find the runtime exceptions at the unit testing level. We also have reported exceptions like array index out of bounds and divided-by-zero in SQLite. Furthermore, we analyze the reasons of low coverage in automated unit testing in our setting and give a survey on the situation of manual unit testing with respect to automated unit testing in industry.Comment: In Proceedings of 40th International Conference on Software Engineering: Software Engineering in Practice Track, Gothenburg, Sweden, May 27-June 3, 2018 (ICSE-SEIP '18), 10 page

Impact of Heavy Metals in Ambient Air in Insulin Resistance of Shipyard Welders in Northern Taiwan

Exposure to metals poses potential health risks, including insulin resistance (IR), to those exposed to them in excess. Limited studies have examined such risks in occupational workers, including welders, and these have yielded inconsistent results. Thus, we examined the associations between exposure to welding metals and IR in welders. We recruited 78 welders and 75 administrative staff from a shipyard located in northern Taiwan. Personal exposure to heavy metals, including chromium (Cr), manganese (Mn), iron (Fe), nickel (Ni), copper (Cu), zinc (Zn), and cadmium (Cd), was monitored through particulate matter with an aerodynamic diameter of less than 2.5 μm (PM2.5) and urine analysis by inductively coupled plasma mass spectrometry (ICP–MS). After each participant fasted overnight, blood samples were collected and analyzed for IR assessment through updated homeostasis model assessment (HOMA2) modeling. Air sampling in the personal breathing zone was performed during a Monday shift prior to the blood and urine sample collection the following morning. The welders’ median personal Cr, Mn, Fe, Ni, Cu, and Zn airborne PM2.5 levels and urinary Cd levels were significantly higher than those of the administrative staff. After adjustment for covariates, logarithmic PM2.5-Mn, PM2.5-Fe, PM2.5-Cu, and PM2.5-Zn levels were positively correlated with logarithmic fasting plasma glucose (P-FGAC) levels (PM2.5-Mn: β = 0.0105, 95% C.I.: 0.0027–0.0183; PM2.5-Fe: β = 0.0127, 95% C.I.: 0.0027–0.0227; PM2.5-Cu: β = 0.0193, 95% C.I.: 0.0032–0.0355; PM2.5-Zn: β = 0.0132, 95% C.I.: 0.0005–0.0260). Logarithmic urinary Zn was positively correlated with logarithmic serum insulin and HOMA2-IR levels and negatively correlated with logarithmic HOMA2-insulin sensitivity (%S; βinsulin = 0.2171, 95% C.I.: 0.0025–0.4318; βIR = 0.2179, 95% C.I.: 0.0027–0.4330; β%S = −0.2180, 95% C.I.: −0.4334 to −0.0026). We observed that glucose homeostasis was disrupted by Mn, Fe, Cu, and Zn exposure through increasing P-FGAC and IR levels in shipyard welders

A comprehensive functional map of the hepatitis C virus genome provides a resource for probing viral proteins.

UnlabelledPairing high-throughput sequencing technologies with high-throughput mutagenesis enables genome-wide investigations of pathogenic organisms. Knowledge of the specific functions of protein domains encoded by the genome of the hepatitis C virus (HCV), a major human pathogen that contributes to liver disease worldwide, remains limited to insight from small-scale studies. To enhance the capabilities of HCV researchers, we have obtained a high-resolution functional map of the entire viral genome by combining transposon-based insertional mutagenesis with next-generation sequencing. We generated a library of 8,398 mutagenized HCV clones, each containing one 15-nucleotide sequence inserted at a unique genomic position. We passaged this library in hepatic cells, recovered virus pools, and simultaneously assayed the abundance of mutant viruses in each pool by next-generation sequencing. To illustrate the validity of the functional profile, we compared the genetic footprints of viral proteins with previously solved protein structures. Moreover, we show the utility of these genetic footprints in the identification of candidate regions for epitope tag insertion. In a second application, we screened the genetic footprints for phenotypes that reflected defects in later steps of the viral life cycle. We confirmed that viruses with insertions in a region of the nonstructural protein NS4B had a defect in infectivity while maintaining genome replication. Overall, our genome-wide HCV mutant library and the genetic footprints obtained by high-resolution profiling represent valuable new resources for the research community that can direct the attention of investigators toward unidentified roles of individual protein domains.ImportanceOur insertional mutagenesis library provides a resource that illustrates the effects of relatively small insertions on local protein structure and HCV viability. We have also generated complementary resources, including a website (http://hangfei.bol.ucla.edu) and a panel of epitope-tagged mutant viruses that should enhance the research capabilities of investigators studying HCV. Researchers can now detect epitope-tagged viral proteins by established antibodies, which will allow biochemical studies of HCV proteins for which antibodies are not readily available. Furthermore, researchers can now quickly look up genotype-phenotype relationships and base further mechanistic studies on the residue-by-residue information from the functional profile. More broadly, this approach offers a general strategy for the systematic functional characterization of viruses on the genome scale

Gujin Dan is a Chinese medicine formulation that stimulates cell proliferation and differentiation by controlling multiple genes involved in MC3T3-E1 cells

Background: With the development of Traditional Chinese medicine (TCM) in recent years, the use of TCM in the treatment of osteoporosis has received much attention and research. Gujin Dan (GJD) is one of the representative Chinese medicine formulations that work synergistically with 19 herbs and has been used for decades to treat cervical spondylosis, lumbar disc herniation, osteoarthritis and osteoporosis. However, the exact molecular mechanism by which GJD is used to strengthen bones in the treatment of osteoporosis remains largely unknown. / Methods: In this study, an aqueous extract of GJD was prepared and its components were identified by high-performance liquid chromatography (HPLC). The effect of GJD aqueous extract on MC3T3-E1 cells was determined by Cell Counting Kit-8 (CCK-8) assay, alkaline phosphatase (ALP), and alizarin red S staining (ARS), combined with RNA sequencing (RNA-seq) and qRT-PCR. / Results: Our study showed that GJD significantly promoted the proliferation of MC3T3-E1 cells, as well as the synthesis and mineralisation of the extracellular matrix. GJD significantly increased the expression levels of genes that promote cell proliferation such as Adamts1, Mcam, Cyr61, Fos, Cebpd, Fosl2, Sirt1, Nipbl, Sema3c and Kcnq1ot1, up-regulated genes that inhibit apoptosis such as Gadd45a, Birc3, up-regulated genes that inhibit osteoclastogenesis such as Bcl6, Nfkbiz, Clcf1, Bcl3, Lgals3, Wisp1, Dusp1 and Fblim1, up-regulated genes that promote MC3T3-E1 cell differentiation such as Junb, Egr1, Klf10, Atf6, Malat1, Btg2, Sertad4, Zfyve16, Tet2, Creb5, Snai2, Fam46a, Calcrl and Pdzrn3. In addition, GJD mildly upregulated the expression levels of gene markers such as Atf4, Fn1, Usp7, Sox4, Col16a1, Spp1, Bmp1, Runx2, Bglap, Col12a1, and Alpl in osteoblasts. / Conclusions: Our results show that GJD promotes the differentiation and proliferation of MC3T3-E1 cells, inhibits osteoclast formation, and prevents osteoblast apoptosis. The present study significantly improves the current understanding of the molecular effects of GJD on MC3T3-E1 cells. This study also provides a new strategy for the further use of Chinese medicinal preparations against bone metabolism-related diseases

Research progress on rapid determination of edible vegetable oil components

This paper summarizes the rapid detection methods of edible vegetable oil components from the aspects of analysis principle and application technology, such as simulation sensory analysis, spectral analysis, electromagnetic spectrum analysis and biochip technology. The application results of these techniques in the component mixing identification of edible vegetable were further analyzed. It was showed that the integrated online rapid detection technology of multi-channel, multi parameter and multi capacity will be the developing direction of component analysis of edible vegetable oil and will lay a technical foundation for further improving the quality supervision of edible vegetable oil and safeguarding the interests of consumers in China

Corpus Synthesis for Zero-shot ASR domain Adaptation using Large Language Models

While Automatic Speech Recognition (ASR) systems are widely used in many real-world applications, they often do not generalize well to new domains and need to be finetuned on data from these domains. However, target-domain data usually are not readily available in many scenarios. In this paper, we propose a new strategy for adapting ASR models to new target domains without any text or speech from those domains. To accomplish this, we propose a novel data synthesis pipeline that uses a Large Language Model (LLM) to generate a target domain text corpus, and a state-of-the-art controllable speech synthesis model to generate the corresponding speech. We propose a simple yet effective in-context instruction finetuning strategy to increase the effectiveness of LLM in generating text corpora for new domains. Experiments on the SLURP dataset show that the proposed method achieves an average relative word error rate improvement of $28\%$ on unseen target domains without any performance drop in source domains

Endemic melioidosis in central Taiwan—A longitudinal case cohort study

BackgroundMelioidosis is a systemic and suppurative disease endemic in the Southeast Asia. In Taiwan, most cases are reported in the southern region and no relevant profiles have been reported in central region. In this study, we performed the epidemiologic and clinical analyses from the melioidosis cases in central Taiwan.MethodsThe demographic, clinical, laboratory, radiologic, and outcome profiles were collected retrospectively and analyzed from patients whom Burkhoderia pseudomallei was isolated from clinical specimens during the 12-year study period (2011–2022).ResultsTotally 11 melioidosis cases (10 males and 1 female) were diagnosed, among them only 2 (18.2%) cases lived in suburban areas. Seven (63.6%) cases were diagnosed during 2019–2020, and diabetes mellitus was the most relevant comorbidity (5, 45.4%). All cases presented with fever at arrival, but only 4 (36.4%) and 2 (18.2%) cases presented with dyspnea and shock, respectively. Pneumonitis and extrapulmonary involvement were found in 5 cases (45.4%) each. Appropriate empiric and targeted antibiotic treatments were found in 4 (36.4%) and 10 (91.0%) case, respectively. Two cases (18.2%) succumbed to infection despite appropriate treatment including targeted antibiotics.ConclusionMelioidosis has become endemic in central Taiwan. Septic patients who present with suppurative or undetermined foci and have unsatisfied responses to standard treatment should arouse clinicians to take melioidosis into consideration