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存在单位根是不确定的。     

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.     

光三角式传感器测距系统

主要介绍了光三角式距离传感器测距系统的结构组成和原理 ,分析了参数之间的转换关系 ,论述了以单片机为核心构成检测电路的原理和性能 ,以及单片机的软件功能。最后给出检测系统的主要技术指标。     

坚持科学发展观 开拓创新求发展

论述了贯彻落实科学发展观对水利水电工作必要性,以及如何在实际工作中坚持科学发展观,并从赣州市水利电力勘测设计研究院50年来在服务水利、改革发展、创新理念、人才队伍建设等方面取得的成就加以说明.     

Bi2WO6粉体光催化剂的制备方法及研究进展

光催化技术因其在环境污染净化、能源再生方面的应用前景而引起了广泛关注,新型光催化剂钨酸铋因其具有可见光催化活性成为了光化学领域的研究热点之一．作者简述了Bi2WO6粉体光催化剂的结构及光催化性,详细介绍了一些Bi2WO6粉体的制备方法,总结了Bi2WO6粉体光催化剂今后的研究方向与热点,可为有关人员提供参考．     

关于构建汉语语义修辞学的一点思考

汉语修辞研究渐入低谷,定位语言学的修辞研究逐渐被边缘化。深入开展语义修辞的研究,构建汉语语义修辞学新分支,积极确立其核心修辞学的地位,是继承与发展隶属语言学的现代汉语修辞学的可行路径。在研究中,于理论层面要着意构拟其特色的修辞范畴系统,于实践操作层面要创建起同其相匹配的修辞研究范式。     

小浪底景区旅游市场实证研究

文章以小浪底景区的客源市场问卷调查所获取的信息为依据,对小浪底景区的旅游市场进行实证研究。结果表明其游客以近程居民为主,景区旅游吸引力不足,游客对旅游商品的购买力有限,旅游动机单一,停留时间短暂,对景区的形象认知模糊,提出监须通过产品升级、形象突破、营销创新等方式改变现状的结论。     

我国超高分子质量聚乙烯纤维的检测手段及发展现状

根据国内主要超高分子质量聚乙烯纤维制造商产品的测试结果,论述了国产该纤维的主要性能及其与国外同类产品的质量差距,论述了目前我国各生产厂家及相关检测机构在强度、模量、断裂伸长、耐磨性、蠕变率、分子质量等纤维主要性能测试中存在的问题,提出了解决建议,同时指出了我国在超高分子质量聚乙烯纤维应用方面与国外的差距．