A tool for automatic flow analysis of C-programs for WCET calculation

Author(s):  
J. Gustafsson ◽  
B. Lisper ◽  
C. Sandberg ◽  
N. Bermudo
Keyword(s):  
2021 ◽  
Vol 2021 ◽  
pp. 1-10
Author(s):  
Zhenpeng Liu ◽  
Xianwei Yang ◽  
Yi Liu ◽  
Yonggang Zhao ◽  
Xiaofei Li

Mutation testing is an effective defect-based software testing method, but a large number of mutants lead to expensive testing costs, which hinders the application of variation testing in industrial engineering. To solve this problem and enable mutation testing to be applied in industrial engineering, this paper improves the method of identifying redundant mutants based on data flow analysis and proposes the inclusion relationship between redundant mutants, so that the redundancy rate of mutants is reduced. In turn, the cost of mutation testing can be reduced. The redundant mutants identification method based on definition and reference of variables (ImReMuDF) was validated and evaluated using 8 C programs. The minimum improvement in redundant mutant identification rate was 34.0%, and the maximum improvement was 71.3% in the 8 C programs tested, and the verification results showed that the method is feasible and effective and has been improved in reducing redundant mutants and effectively reducing the execution time of mutation testing.


1963 ◽  
Vol 42 (12) ◽  
pp. 742 ◽  
Author(s):  
John L. Burbidge

2020 ◽  
Vol 14 (4) ◽  
pp. 7446-7468
Author(s):  
Manish Sharma ◽  
Beena D. Baloni

In a turbofan engine, the air is brought from the low to the high-pressure compressor through an intermediate compressor duct. Weight and design space limitations impel to its design as an S-shaped. Despite it, the intermediate duct has to guide the flow carefully to the high-pressure compressor without disturbances and flow separations hence, flow analysis within the duct has been attractive to the researchers ever since its inception. Consequently, a number of researchers and experimentalists from the aerospace industry could not keep themselves away from this research. Further demand for increasing by-pass ratio will change the shape and weight of the duct that uplift encourages them to continue research in this field. Innumerable studies related to S-shaped duct have proven that its performance depends on many factors like curvature, upstream compressor’s vortices, swirl, insertion of struts, geometrical aspects, Mach number and many more. The application of flow control devices, wall shape optimization techniques, and integrated concepts lead a better system performance and shorten the duct length.  This review paper is an endeavor to encapsulate all the above aspects and finally, it can be concluded that the intermediate duct is a key component to keep the overall weight and specific fuel consumption low. The shape and curvature of the duct significantly affect the pressure distortion. The wall static pressure distribution along the inner wall significantly higher than that of the outer wall. Duct pressure loss enhances with the aggressive design of duct, incursion of struts, thick inlet boundary layer and higher swirl at the inlet. Thus, one should focus on research areas for better aerodynamic effects of the above parameters which give duct design with optimum pressure loss and non-uniformity within the duct.


2006 ◽  
Vol 16 (7) ◽  
pp. 763-776 ◽  
Author(s):  
T. Funada ◽  
J. Wang ◽  
Daniel D. Joseph

Sign in / Sign up

Export Citation Format

Share Document