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

Solvable 3-Lie algebras with a maximal hypo-nilpotent ideal N

This paper obtains all solvable 3-Lie algebras with the m-dimensional filiform 3-Lie algebra N (m >= 5) as a maximal hypo-nilpotent ideal, and proves that the m-dimensional filiform 3-Lie algebra N can't be as the nilradical of solvable non-nilpotent 3-Lie algebras. By means of one dimensional extension of Lie algebras to the 3-Lie algebras, we get some classes of solvable Lie algebras directly

APPLIED STUDY OF BIRCH PULP BLEACHING USING DIMETHYLDIOXIRANE TO OBTAIN ACETATE-GRADE PULP

As a pulp bleaching agent, dimethyldioxirane (DMD) is effective and selective. In this study, it was employed as a delignifying agent or as an activating agent for hydrogen peroxide treatment in bleaching acetate-grade pulp. Brightness, kappa number, degree of polymerization (DP), and alpha-cellulose content were evaluated to determine the optimal charges of DMD: 2.5% AO, and 4% HSO5-, respectively. Results from the totally chlorine-free (TCF) sequences MEQMPA, MEpQMPA, and OQMPA suggested that DMD is both effective and selective as a delignifying agent but not as a brightening agent as compared to oxygen. And in a long sequence for the bleaching of dissolving pulp, acid treatment can be used in two approaches: to remove the metal ions without washing before the chelation stage, and to reduce hemicellulose and ash in the final stage