数组越界软件测试系统的设计与实现

软件测试系统的研制是现阶段软件测试领域研究的一个热点.首先针对C/C 语言常见数组越界错误类型进行了分析,介绍了软件测试的一些基本概念,而后给出了软件测试系统设计,对系统设计的各个阶段进行了说明,并且给出了一种错误类型检查的算法设计,它在软件测试检测中具有通用性和代表性,最后给出了软件测试的实验结果.     

Worldwide military spending, 1990–95

The decline in military spending that began in the mid‐1980s continued through 1995, and this decline was widespread both geographically and by level of development. Cuts in military spending appear to have potentially important implications for non‐military spending and fiscal adjustment. In contrast to findings for previous periods, military spending has declined more than proportionately in those countries that have reduced total spending. Countries with Fund programs have reduced military spending more sharply than other developing countries, largely reflecting outcomes in the transition economies. Further, military spending appears to have been less resilient in program countries than other developing countries.     

传播学视野下墨子教育思想的推行

墨子在推行自己的思想时,采用的形式多种多样,已经初具传播学的素养。本文试图从传播者、受传者、讯息、传播手段等方面来阐述墨子教育思想的推行。墨子及其弟子组成的墨家学团是直接传播者。其受传者为天下之民。其传播的讯息包括道德教育与技能教育。其传播手段包括组织传播、群体传播、人际传播,墨家学团跟随墨子聚众讲学、游说奔走,该团体进行的即为组织传播;墨子重视学校教育,且经常聚众讲学,这种对群体的传播方式使得有群体目标的受众比较容易接受教育;另外,墨子及其弟子采用劝教、游说、论辩等形式进行的人际之间的传播,也使墨子的教育思想得到了推行。     

A note on necessary and sufficient conditions for ordering properties of coherent systems with exchangeable components

We give necessary and sufficient conditions based on signatures to obtain distribution‐free stochastic ordering properties for coherent systems with exchangeable components. Specifically, we consider the stochastic, the hazard (failure) rate, the reversed hazard rate, and the likelihood ratio orders. We apply these results to obtain stochastic ordering properties for all the coherent systems with five or less exchangeable components. Our results extend some preceding results. © 2011 Wiley Periodicals, Inc. Naval Research Logistics, 2011     

On optimal system designs in reliability‐economics frameworks

Reliability Economics is a field that can be defined as the collection of all problems in which there is tension between the performance of systems of interest and their cost. Given such a problem, the aim is to resolve the tension through an optimization process that identifies the system which maximizes some appropriate criterion function (e.g. expected lifetime per unit cost). In this paper, we focus on coherent systems of n independent and identically distributed (iid) components and mixtures thereof, and characterize both a system's performance and cost as functions of the system's signature vector (Samaniego, IEEE Trans Reliabil (1985) 69–72). For a given family of criterion functions, a variety of optimality results are obtained for systems of arbitrary order n. Approximations are developed and justified when the underlying component distribution is unknown. Assuming the availability of an auxiliary sample of N component failure times, the asymptotic theory of L‐estimators is adapted for the purpose of establishing the consistency and asymptotic normality of the proposed estimators of the expected ordered failure times of the n components of the systems under study. These results lead to the identification of ε‐optimal systems relative to the chosen criterion function. © 2007 Wiley Periodicals, Inc. Naval Research Logistics, 2007