Mercaptobenzothiazole [KLH]

Context: Model-Based Testing (MBT) is a technique that employs formal models to represent reactive systems' behavior and generates test cases. Such systems are mostly specified and verified using Finite State Machines (FSMs). There is a plethora of test generation algorithms in the literature. Most of them are graph-based once an FSM can be formally defined as a graph. Nevertheless, there is a lack of studies on analyzing cost and efficiency of FSM-based test generation algorithms. Objective: This study aims to compare graph-based algorithms employed to generate test cases from FSM models. In particular, we compare the Chinese Postman Problem (CPP) and H-Switch Cover (HSC) algorithms with the well-known depth-first and breadth-first searches algorithms in the context of covering all-transitions and all-transition-pairs criteria in an FSM. Method: First, a systematic literature mapping was conducted to summarize the algorithms that have been adopted in MBT, considering FSM. The main algorithms found were implemented and analyzed in different experiments. Results: CPP presented better results with the FSMs used in terms of number of test cases and test suite size. In addition, CPP also presented low distribution of average length compared to other algorithms.

The aim of this study was to establish an analytical method for the simultaneous determination of menbutone in muscle, fat, liver and kidney tissues of swine. The extraction and purify process had been optimized, acetonitrile was set as extraction solvent, a C18 solid phase extraction cartridge in conjunction with an alkaline alumina (ALA) SPE cartridge to avoid matrix interference at last. MBT was detected by HPLC-UV and separation was achieved on a Shim-pack VP-ODS C18 HPLC column using phosphoric acid solution (0.5%, v/v) and acetonitrile (45/55, v/v) at a flow rate of 1.0 mL/min. The effluents were monitored at 235 nm and the column temperature was set to 30 degrees C. The optimized method has specificity, accuracy, and sensitivity, with a good linear relationship, successfully applied to swine tissues. The good analytical features of the proposed method makes it useful to carry out the quality control of food products to assure the safety of people.