本质内容

This paper provides a method of variable integrity testing to detect the faults of software By checking the definition domain of the variable itself and the restriction condition of consistency between variables, we only need to determine the bound of each output data, rather than the exact value Although the output of testing case cannot be easily caught, this method can improve the efficiency of detecting faults Furthermore, the checking point is not limited to the final output place, but spreads over the reference places in the program code to key variables just like those at the checkpoints under debugging As a consequence, the testing becomes more precise

由于软件测试用例的输出部分很难确定，而通过测试变量自身的定义域和变量间的一致性约束关系，只需要确定输出值的范围而不用知道其确切的值，就可以提高了错误检测的效率同时，检测的范围不局限于程序最后的输出结果，而是散布在程序中的各个有意义的变量，正如调试过程中设置断点观察的那些变量，使得检测错误更加精准1 引言软件测试的本质在于针对要测试的内容确定一组测试用例[1] 测试用例分为输入和输出两部分功能测试和结构测试等基本的软件测试方法，都比较关心测试用例的输入部分定义域的确定，而对测试用例的输出部分考虑得较少例如，边界测试和等价类测试[2 ] 只考虑测试用

The main contents include: research problems about the theory gist of mode construct, the meaning of the mode^ the teaching essence and inquiry teaching"s character, and elaborateness of the mode"s construction, teaching procedure, teaching strategy and the way to judge students" ability of inquiry in teaching , Moreover ,it also explains the use of mode teaching with examples.After one year"s practical teaching.

主要内容包括：模式构建的理论依据，模式的内涵、教学本质以及探究教学特征等问题的探讨，比较详细地阐述了模式的结构、教学程序、教学策略及教学中学生探究能力评价的方法，且结合实例，说明了模式的教学应用。

It is the ethnical awareness that constitutes the key contents and essence, that is the reality and practice.

正是这种伦理意识构成了中国传统思维方式的核心内容和本质特征，即现世性和实用性。

Economy determines ethic only in the final analysis and if we make economy as the ethical starting-point it will inevitably get rid of the humanity nature of ethics and make the subject free of moral responsibility and bring about economical conciliarism. Although convention has same origins as ethics in etymon, content and function, it's difficult for it to qualify as the ethical starting-point for it lacks the spiritual essence that ethics has. Religious love-knot of ethics is just an artificial ultimate hypothesis of the rationality of value, but the religion's nature of inversion of man and God make it unable to be the ethical starting-point.

经济只是在"归根结底"的意义上"决定"伦理，若把经济作为伦理始点必将抹煞伦理的人文本性，消解主体的道德责任，导致经济至上主义；习俗尽管在词源、内容、功能上与伦理有诸多渊源，但由于习俗缺乏伦理的精神内涵而难以成为伦理始点；伦理的宗教情结不过是对价值合理性的虚拟的终极设定，宗教人神倒置的本质决定它无法成为伦理始点。

Economy determines ethic only in the final analysis and if we make economy as the ethical starting-point it will inevitably get rid of the humanity nature of ethics ethic and make the subject free of moral responsibility and bring about economical conciliarism. Although convention has the same origins as ethics ethic in etymon, content and function, it ' s difficult for it to qualify be qualified as the ethical starting-point for it lacks the spiritual essence that ethics ethic has. Religious love-knot of ethics ethic is just an artificial ultimate hypothesis of the rationality of value, but and the religion ' s nature of inversion of man and God make it unable to be the ethical starting-point.

经济只是在"归根结底"的意义上"决定"伦理，若把经济作为伦理始点必将抹煞伦理的人文本性，消解主体的道德责任，导致经济至上主义；习俗尽管在词源、内容、功能上与伦理有诸多渊源，但由于习俗缺乏伦理的精神内涵而难以成为伦理始点；伦理的宗教情结不过是对价值合理性的虚拟的终极设定，宗教人神倒置的本质决定它无法成为伦理始点。

To be biblical, evangelism must have content and convey information about the true nature of spiritual things.

要圣经，福音必须有内容和传达信息的本质精神的东西。

Firstly, a probe into the dual implications of burden of proof and the expurgation of its intrinsic meaning and result meaning is burden of proof in applied conditions of burden of proof .We should make a definition of applied conditions of burden of proof .The thesis makes a research into the internal structure of applied conditions of burden of proof so as to clearly show the triple contents of its internal structure. In addition, the thesis makes a probe into its regulating mechanism. It points out clearly that applied conditions of burden of proof must ensure the correct application and cautious application of burden of proof.

首先，通过对证明责任的双重含义进行考辨，廓清证明责任的两层含义中本质意义抑或结果意义乃是我所说的证明责任适用条件中的证明责任，对于证明责任适用条件的含义进行界定；继而，文章对证明责任适用条件的内部构造进行研究，指明其内部构造的三重内容；进而文章对证明责任适用条件的约束机制进行了探讨，明确指出，证明责任适用条件必须能够保障证明责任的正确适用与谨慎适用。

The recent decision by two parliamentarians from the dominant coalition party, Fianna Fail, to oppose a central plank of the government's public health reforms underlines the fragility of the two-party administration.

日前，政府主要政改内容之一公共卫生政策改革遭到主要执政党——爱尔兰共和党两名议员反对，此事格外凸显了两党联合执政的脆弱本质，而这只是近来后座议员数次反对政府决策中的一例。

The characteristic of telecom network resource data is generous and has tight relationship with the map, fiber network as a example, all kinds of its resource(for example, equipment rooms, pipes, fiber, fiber connecting boxes) contains all space vector information that tokens space position and topology relation, and attribute information that records idiographic content and entitative characteristic.

电信网络资源数据的特点是量大而且与地图的关系十分密切，以光纤网络为例，它的各类资源(如机房、管道、光缆、光交接箱)都包含表征空间位置及拓扑关系的空间矢量信息，以及记录具体内容及本质特征的属性信息。

From the global viewpoint and criteria of play, the Chinese and foreign classical drama have the common feature of popularization such as generalisation of characters, life-orientation of conflicts and wide-ranging of content, which are the essences of drama.

如果用真正全球性的眼光和戏剧性的标准来打量中外古典正剧，首先在戏剧要素上就体现出了大众性特征，它主要表现在人物的普遍化、冲突的日常化和内容的泛化这三个方面，这是戏剧的艺术本质所致。

Life. But the intrinsic way of the Internet by wire confines accessing and using of the network information.

然而，Internet固有的有线连接方式大大限制了人们对网络信息的访问和使用。

I have a strong persuasion that this is true .

我坚信这是正确的。