A novel model-based testing approach for software product lines

Model-based testing relies on a model of the system under test. FineFit is a framework for model-based testing of Java programs. In the FineFit approach, the model is expressed by a set of tables based on Parnas tables. A software product line is a family of programs (the products) with well-defined commonalities and variabilities that are developed by (re)using common artifacts. In this paper, we address the issue of using the FineFit approach to support the development of correct software product lines. We specify a software product line as a specification product line where each product is a FineFit specification of the corresponding software product. The main challenge is to concisely specify the software product line while retaining the readability of the specification of a single system. To address this, we used delta-oriented programming, a recently proposed flexible approach for implementing software product lines, and developed: (1) delta tables as a means to apply the delta-oriented programming idea to the specification of software product lines; and (2) DeltaFineFit as a novel model-based testing approach for software product lines.     

Role of acetylcholine in negative patterning in turtles (Chrysemys picta).

Turtles were run on a negative patterning task involving 2 positive elements, a key with white stripes on a black background, and a solid red key, and a compound stimulus combining the 2 elements, white stripes on a red background. Injections of scopolamine, methylscopolamine, or saline were started at the same time that the compound stimulus was introduced, after the animals had been autoshaped to press the key for each of the elements. Scopolamine disrupted the learning of negative patterning, but methylscopolamine had no effect. In contrast, learning of a simple discrimination between the elements was not affected by scopolamine. These results show that muscarinic cholinergic receptors are involved in the learning of negative patterning in turtles. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Analysis of explosives by nuclear magnetic resonance spectrometry

In order to evaluate the applicability of NMR to the analysis of explosives, the method was used to analyse explosives from actual cases. The results were then compared with results from other analytical methods, mainly TLC and GC/MS. For unexploded samples NMR was found to be a simple, fast and reliable method, often allowing the identification of mixtures without pre-separation. Some post-explosion samples were also successfully analysed by NMR. Although sensitivity problems still exist, NMR showed a surprisingly promising prospects for the difficult field of post-explosion analysis.     

四基色投影显示

我们采用多芯片HTPS屏结构,已开发出一种四基色前投式投影样机。这种投影机建立在对一种现行高端品牌产品的光学平台进行改进的基础之上。在KESHETTM芯片中,用ColorPeakTM算法,把标准720p输入信号转换成所需要的多基色输入信号,结果使色域和亮度都有了显著的提高。