软件质量与测试教学内容改革的探索

通过对软件质量与测试课程的现状展开调研和分析,提出了软件质量与测试课程教学内容改革的原则,并以此为基础,对课程的理论教学内容与实践教学内容分别进行了详细的设计。     

2HL055恒流二极管参数测试

2HL055是贵州博越公司生产的恒流二极管,该类器件恒定电流大,极限电压低,可以直接驱动负载,但器件形成实验室成品后,没有进行过参数测试,其基本参数范围不能确定。文章拟通过试验,进一步测试2HL055器件的基本参数,并确定部分参数的测试方法。     

SIFT在行星表面探测器视觉导航系统中的应用

介绍了行星探测器自主导航系统的相关背景,讨论了行星探测器自主视觉导航系统算法的主要目的和传感器信息融合的必要性,并就此引入了尺度不变特征变换(SIFT)的相关理论分析.对SIFT方法提出了改进,从而改善了算法的效果.最后给出了三维重建和目标追踪的实验结果.     

The research on mechanism of color management system based on iCAM color appearance model

Since color recording and color representing abilities of various media are very different, color information is often lost or misrepresented in the process of image transmission and reproduction. A Color Management System (CMS) based on iCAM color appearance model is presented in this paper. It can be used either in computer operation system software or application software for obtaining color consistency across different software applications, imaging devices, imaging media and viewing conditions.     

基于FDI算法在软件测试实践中的应用

软件测试对于软件系统的性能以及功能都有很重要的意义,是保证软件可靠运行的关键.在软件测试的实践应用中,对于软件故障定位时,提出了基于谓词统计故障定位的算法,也就是FDI频率差异积分算法.在软件测试实践中采用基于FDI频率差异积分算法,可以很好地监控软件程序,测试软件的覆盖率以及执行时间等内存占用情况,并找到软件的故障瓶颈,以便采取更好的方法改进软件性能.探讨了实践中基于FDI频率差异积分算法在软件测试内的应用.     

On the estimation of adequate test set size using fault failure rates

Test set size in terms of the number of test cases is an important consideration when testing software systems. Using too few test cases might result in poor fault detection and using too many might be very expensive and suffer from redundancy. We define the failure rate of a program as the fraction of test cases in an available test pool that result in execution failure on that program. This paper investigates the relationship between failure rates and the number of test cases required to detect the faults. Our experiments based on 11 sets of C programs suggest that an accurate estimation of failure rates of potential fault(s) in a program can provide a reliable estimate of adequate test set size with respect to fault detection and should therefore be one of the factors kept in mind during test set construction. Furthermore, the model proposed herein is fairly robust to incorrect estimations in failure rates and can still provide good predictive quality. Experiments are also performed to observe the relationship between multiple faults present in the same program using the concept of a failure rate. When predicting the effectiveness against a program with multiple faults, results indicate that not knowing the number of faults in the program is not a significant concern, as the predictive quality is typically not affected adversely.     

Conformance Tests for Real-Time Systems with Timed Automata Specifications

A method is introduced for testing the conformance of implemented real-time systems to timed automata specifications. Uppaal timed automata are transformed into testable timed transition systems (TTTSs) using a test view. Fault hypotheses and a test generation algorithm for TTTSs are defined. Results of applying the method are presented. Received October 1999 / Accepted in revised form November 2000     

我国GNP的单位根不确定性研究

对于一个实际的时间序列数据,我们并不知道其真正的数据生成过程,只能通过假设和基于假设的统计推断来确定。本文利用蒙特卡罗模拟进行有限样本的ADF检验。结果表明,当原假设是存在单位根,备择假设是趋势稳定时,ADF检验的势很低。这意味着,我国GNP存在单位根是不确定的。     

基于机器视觉的实时丸药检测系统

丸药是最为常见的药品剂型,最后成品的外观都要求圆整均匀、色泽一致,在丸药检测方面使用机器视觉技术有着良好的应用前景。通过对丸药实时检测方法和途径的分析探讨,提出了完整的工作循环模式。根据此模式,给出了利用Matlab和visual studio开发实时检测系统的完整方案。     

Property Testing of Regular Tree Languages

We consider the edit distance with moves on the class of words and the class of ordered trees. We first exhibit a simple tester for the class of regular languages on words and generalize it to the class of ranked and unranked regular trees. We also show that this distance problem is -complete on ordered trees. A preliminary version of this paper appeared in Proceedings of 31st International Colloquium on Automata, Languages and Programming, volume 3142 of Lecture Notes in Computer Science, pages 932–944, Springer, 2005. Work supported by ACI Sécurité Informatique: VERA of the French Ministry of research.