Checking Completeness of Tests for Finite State Machines

In testing from a Finite State Machine (FSM), the generation of test suites which guarantee full fault detection, known as complete test suites, has been a long-standing research topic. In this paper, we present conditions that are sufficient for a test suite to be complete. We demonstrate that the existing conditions are special cases of the proposed ones. An algorithm that checks whether a given test suite is complete is given. The experimental results show that the algorithm can be used for relatively large FSMs and test suites.

Electrostatic Interactions Are Not Sufficient to Account for Chitosan Bioactivity

Recent studies involving chitosan interacting with phospholipid monolayers that mimic cell membranes have brought molecular-level evidence for some of the physiological actions of chitosan, as in removing a protein from the membrane. This interaction has been proven to be primarily of electrostatic origin because of the positive charge OF chitosan in low pH solutions, but indirect evidence has also appeared of the presence of hydrophobic interactions. In this study, we provide definitive proof that model membranes are not affected merely by the charges in the amine groups of chitosan. Such a proof was obtained by comparing surface pressure and surface potential isotherms of dipalmitoyl phosphatidyl choline (DPPC) and dipalmitoyl phosphatidyl glycerol (DPPG) monolayers incorporating either chitosan or poly(allylamine hydrochloride) (PAH). As the latter is also positively charged and With the same charged Functional group as chitosan, similar effects should be observed in case the electrical charge was the only relevant parameter. Instead, we observed a large expansion in the surface pressure isotherms upon interaction with chitosan, whereas PAH had much smaller effects. Of particular relevance for biological implications, chitosan considerably reduced the monolayer elasticity, whereas PAH had almost no effect. it is clear therefore that chitosan action depends strongly either on its functional uncharged groups and/or on its specific conformation in solution.

An algorithm for automatic checking of exercises in a dynamic geometry system: iGeom

One of the key issues in e-learning environments is the possibility of creating and evaluating exercises. However, the lack of tools supporting the authoring and automatic checking of exercises for specifics topics (e.g., geometry) drastically reduces advantages in the use of e-learning environments on a larger scale, as usually happens in Brazil. This paper describes an algorithm, and a tool based on it, designed for the authoring and automatic checking of geometry exercises. The algorithm dynamically compares the distances between the geometric objects of the student`s solution and the template`s solution, provided by the author of the exercise. Each solution is a geometric construction which is considered a function receiving geometric objects (input) and returning other geometric objects (output). Thus, for a given problem, if we know one function (construction) that solves the problem, we can compare it to any other function to check whether they are equivalent or not. Two functions are equivalent if, and only if, they have the same output when the same input is applied. If the student`s solution is equivalent to the template`s solution, then we consider the student`s solution as a correct solution. Our software utility provides both authoring and checking tools to work directly on the Internet, together with learning management systems. These tools are implemented using the dynamic geometry software, iGeom, which has been used in a geometry course since 2004 and has a successful track record in the classroom. Empowered with these new features, iGeom simplifies teachers` tasks, solves non-trivial problems in student solutions and helps to increase student motivation by providing feedback in real time. (c) 2008 Elsevier Ltd. All rights reserved.