Automatic static analysis (ASA) tools analyze the source or compiled code of a software system looking for violations of recommended programming practices (called issues) that might either cause failures or degrade some dimensions of software quality. Dr. Antonio Vetr , under the supervision of Prof. Dr. Maurizio Morisio and Prof. Dr. Marco Torchiano, has focused his doctoral research in studying how to improve software quality by applying ASA. He has taken the standard ISO/IEC 25010 as a reference model and has focused on four main areas: Functional suitability, Reliability, Performance and Maintainability (in terms of Technical Debt). The epistemological approach used is that one of empirical software engineering. Dr. Vetr has also investigated new research directions for this field, i.e. using ASA for improving software energy efficiency and to detect problems derived from the interaction of different languages. The contribution is finally enriched with a generalized process for researchers and practitioners to improve software quality through ASA and create a body of knowledge on the topic based on empirical evidence. This book represents a first step towards these goals.
ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.