Desenvolvimento e caracterização de um sistema microemulsionado contendo anfotericina b para uso oftalmológico

Universidade Federal do Rio Grande do Norte

Análise in vitro da atividade antifúngica e de toxicidade da anfotericina B pré-aquecida

The aim of this work was to evaluate how an aqueous micellar system containing Amphotericin B (AmB) and sodium deoxycholate (DOC) can be rebuilt after heating treatment. Also a review of the literature about the new physicochemical and biological properties of this new system was carried out. Afterwards, heated (AmB-DOC-H) and unheated (AmB-DOC) micelles were subsequently diluted at four different concentrations (50mg.L-1, 5mg.L-1, 0.5mg.L-1 and 0.05mg.L-1) to perform the physicochemical study and, then, the pharmacotoxicity assay, in which two cell models were used for the in vitro experiments, Red Blood Cells (RBC) from human donors and Candida parapisilosis (Cp). While potassium (K+) and hemoglobin leakage from RBC were the used parameters to evaluate the acute and chronic toxicity, respectively, the efficacy of AmB-DOC and AmB-DOC-H were assessed by K+ leakage and cell survival rate from Cp. The spectral study revealed a slight change on the aggregate peak from 327nm to 323nm for AmB-DOC-H compared to AmB-DOC. Concerning the toxicity, although AmB-DOC and AmB-DOC-H presented different behavior for hemoglobin leakage, AmB-DOC produced higher leakage than AmB-DOC-H at high concentrations (from 5mg.L-1) with values tending to zero. However, concerning K+ leakage, both AmB-DOC and AmB-DOC-H, showed similar profile for both cell models, RBC and Cp (p<0,05). AmB-DOC-H and AmB-DOC also revealed similar profile of activity against Cp with equivalent survival rate. In short, the AmB-DOC-H showed much less toxicity than AmB-DOC, but remained as active as the late one against fungal cell. Therefore, the results highlight the importance of this new procedure as a simple, inexpensive and safe alternative to produce a new kind of micelle system for treatment of systemic fungal infections

Geração de casos de teste a partir de especificações B

With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization of faults in software by using formally specified tests. The combination of testing and formal specifications is gaining strength in searches mainly through the MBT (Model-Based Testing). The development of software from formal specifications, when the whole process of refinement is done rigorously, ensures that what is specified in the application will be implemented. Thus, the implementation generated from these specifications would accurately depict what was specified. But not always the specification is refined to the level of implementation and code generation, and in these cases the tests generated from the specification tend to find fault. Additionally, the generation of so-called "invalid tests", ie tests that exercise the application scenarios that were not addressed in the specification, complements more significantly the formal development process. Therefore, this paper proposes a method for generating tests from B formal specifications. This method was structured in pseudo-code. The method is based on the systematization of the techniques of black box testing of boundary value analysis, equivalence partitioning, as well as the technique of orthogonal pairs. The method was applied to a B specification and B test machines that generate test cases independent of implementation language were generated. Aiming to validate the method, test cases were transformed manually in JUnit test cases and the application, created from the B specification and developed in Java, was tested. Faults were found with the execution of the JUnit test cases