Empirical Evaluation of Test Coverage for Functional Programs

The diverse molecular architectures of terpene natural products are assembled by exquisite enzyme-catalyzed reactions. Successful recapitulation of these transformations using chemical synthesis is hard to predict from first principles and therefore challenging to execute. A means of evaluating the feasibility of such chemical reactions would greatly enable the development of concise syntheses of complex small molecules. Herein, we report the computational analysis of the energetic favorability of a key bio-inspired transformation, which we use to inform our synthetic strategy. This approach was applied to synthesize two constituents of the historically challenging indole diterpenoid class, resulting in a concise route to (–)-paspaline A in 9 steps from commercially available materials and the first pathway to and structural confirmation of emindole PB in 13 steps. This work highlights how traditional retrosynthetic design can be augmented with quantum chemical calculations to reveal energetically feasible synthetic disconnections, minimizing time-consuming and expensive empirical evaluation.

Download Full-text

Empirical Evaluation of Defect Prediction Model - ODC in a Portal Server

i-manager’s Journal on Software Engineering ◽

10.26634/jse.4.2.1068 ◽

2009 ◽

Vol 4 (2) ◽

pp. 7-15

Author(s):

P. Kabilan ◽

K. Iyakutti

Keyword(s):

Prediction Model ◽

Empirical Evaluation ◽

Defect Prediction

Download Full-text

A Manual Diagnosis Approach Using Targeted Fault Injection and Fault Simulation to Extend ATPG Diagnostic Resolution in Localizing Faults

ISTFA 2019: Conference Proceedings from the 45th International Symposium for Testing and Failure Analysis ◽

10.31399/asm.cp.istfa2019p0419 ◽

2019 ◽

Author(s):

Rommel Estores ◽

Karo Vander Gucht

Keyword(s):

Fault Injection ◽

Fault Simulation ◽

Fault Localization ◽

Pattern Generation ◽

Test Coverage ◽

Actual Case ◽

Electrical Failure ◽

Starting Point ◽

Diagnostic Resolution ◽

Diagnosis Approach

Abstract This paper discusses a creative manual diagnosis approach, a complementary technique that provides the possibility to extend Automatic Test Pattern Generation (ATPG) beyond its own limits. The authors will discuss this approach in detail using an actual case – a test coverage issue where user-generated ATPG patterns and the resulting ATPG diagnosis isolated the fault to a small part of the digital core. However, traditional fault localization techniques was unable to isolate the fault further. Using the defect candidates from ATPG diagnosis as a starting point, manual diagnosis through fault Injection and fault simulation was performed. Further fault localization was performed using the ‘not detected’ (ND) and/or ‘detected’ (DT) fault classes for each of the available patterns. The result has successfully deduced the defect candidates until the exact faulty net causing the electrical failure was identified. The ability of the FA lab to maximize the use of ATPG in combination with other tools/techniques to investigate failures in detail; is crucial in the fast root cause determination and, in case of a test coverage, aid in having effective test screen method implemented.

Download Full-text