Test coverage analysis is a structural testing technique, which helps to evaluate the sufficiency of software testing. This letter presents two test generation algorithms based on binary decision diagrams to produce t...Test coverage analysis is a structural testing technique, which helps to evaluate the sufficiency of software testing. This letter presents two test generation algorithms based on binary decision diagrams to produce tests for the Multiple-Condition Criterion(M-CC) and the Modified Condition/Decision Criterion(MC/DC), and describes the design of the C program Coverage Measurement Tool (CCMT), which can record dynamic behaviors of C programs and quantify test coverage.展开更多
This study is aimed at the thermal analysis of sealant mortar （usually a mixtures of bentonite and cemem with addition of sand） used in geothermal cooling and heating. In particular, thermal conductivity and diffusi...This study is aimed at the thermal analysis of sealant mortar （usually a mixtures of bentonite and cemem with addition of sand） used in geothermal cooling and heating. In particular, thermal conductivity and diffusivity measurements were performed on differem sealant mixtures by using Hot Disk thermal constants analyzer in order to identify the interesting thermal properties of grouting materials. The grouting materials that we considered are of porous nature and, if used in the presence of groundwater, have different levels of imbibitions. It is important to know the thermal behavior of these materials at different water content. A first set of measurements was performed on a not-tinted material at room temperature; then the samples were led to saturation conditions by contact capillary imbibitions with a cotton wool layer moistened in water. The determination of thermal conductivity in these test conditions appears to be critical compared to the measuremems on non-timed sample. The thermal conductivity tests have revealed how the thermal behavior of the samples analyzed is essentially determined by the density and water content of the material： in fact, the thermal conductivity increases of two to three times the value of the not-tinted material.展开更多
Studies of causal understanding of tool relationships in captive chimpanzees have yielded disparate findings, particularly those reported by Povinelli ＆ colleagues （2000） for tool tasks by laboratory chimpanzees. T...Studies of causal understanding of tool relationships in captive chimpanzees have yielded disparate findings, particularly those reported by Povinelli ＆ colleagues （2000） for tool tasks by laboratory chimpanzees. The present set of experiments tested nine enculturated chimpanzees on three versions of a support task, as described by Povinelli （2000）, during which food re- wards were presented in different experimental configurations. In Experiment 1, stimulus pairs included a choice between a cloth with a reward on the upper right comer or with a second reward off the cloth, adjacent to a comer, with the second pair comprised of a cloth with food on the upper right comer, and a second cloth with the reward on the substrate, partially covered. All subjects were successful with both test conditions in Experiment 1. In a second study, the experimental choices included one of two possi- ble correct options, paired with one of three incorrect options, with the three incorrect choices all involving varying degrees of perceptual containment. All nine chimpanzees scored significantly above chance across all six conditions. In Experiment 3, four unique conditions were presented, combining one of two possible correct choices with one of two incorrect choices. Six of the subjects scored significantly above chance across the four conditions, and group performance on individual conditions was also significant. Superior performance was demonstrated by female subjects in Experiment 3, similar to sex differences in tool use previously reported for wild chimpanzees and some tool tasks in captive chimpanzees. The present results for Experiments 2 ＆ 3 were significantly differed from those reported by Povinelli et al. （2000） for laboratory-born, peer-reared chimpanzees. One contribution towards the dramatic differences between the two study populations may be the significant rearing and housing differences of the chimpanzee groups. One explanation is that under conditions of enculturation, rich social interactions with humans and conspecifics, as well as active exploration of artifacts, materials, and other aspects of their physical environment had a significant impact on the animals＇ ability to recognize the support relationships among the stimulus choices. Overall, the present findings provide strong support for the hypothesis that our chimpanzee subjects based their responses on an understanding of functional support which represented one facet of their folk physics repertoire [Current Zoology 57 （4）： 429-440, 2011].展开更多
文摘Test coverage analysis is a structural testing technique, which helps to evaluate the sufficiency of software testing. This letter presents two test generation algorithms based on binary decision diagrams to produce tests for the Multiple-Condition Criterion(M-CC) and the Modified Condition/Decision Criterion(MC/DC), and describes the design of the C program Coverage Measurement Tool (CCMT), which can record dynamic behaviors of C programs and quantify test coverage.
文摘This study is aimed at the thermal analysis of sealant mortar （usually a mixtures of bentonite and cemem with addition of sand） used in geothermal cooling and heating. In particular, thermal conductivity and diffusivity measurements were performed on differem sealant mixtures by using Hot Disk thermal constants analyzer in order to identify the interesting thermal properties of grouting materials. The grouting materials that we considered are of porous nature and, if used in the presence of groundwater, have different levels of imbibitions. It is important to know the thermal behavior of these materials at different water content. A first set of measurements was performed on a not-tinted material at room temperature; then the samples were led to saturation conditions by contact capillary imbibitions with a cotton wool layer moistened in water. The determination of thermal conductivity in these test conditions appears to be critical compared to the measuremems on non-timed sample. The thermal conductivity tests have revealed how the thermal behavior of the samples analyzed is essentially determined by the density and water content of the material： in fact, the thermal conductivity increases of two to three times the value of the not-tinted material.
文摘Studies of causal understanding of tool relationships in captive chimpanzees have yielded disparate findings, particularly those reported by Povinelli ＆ colleagues （2000） for tool tasks by laboratory chimpanzees. The present set of experiments tested nine enculturated chimpanzees on three versions of a support task, as described by Povinelli （2000）, during which food re- wards were presented in different experimental configurations. In Experiment 1, stimulus pairs included a choice between a cloth with a reward on the upper right comer or with a second reward off the cloth, adjacent to a comer, with the second pair comprised of a cloth with food on the upper right comer, and a second cloth with the reward on the substrate, partially covered. All subjects were successful with both test conditions in Experiment 1. In a second study, the experimental choices included one of two possi- ble correct options, paired with one of three incorrect options, with the three incorrect choices all involving varying degrees of perceptual containment. All nine chimpanzees scored significantly above chance across all six conditions. In Experiment 3, four unique conditions were presented, combining one of two possible correct choices with one of two incorrect choices. Six of the subjects scored significantly above chance across the four conditions, and group performance on individual conditions was also significant. Superior performance was demonstrated by female subjects in Experiment 3, similar to sex differences in tool use previously reported for wild chimpanzees and some tool tasks in captive chimpanzees. The present results for Experiments 2 ＆ 3 were significantly differed from those reported by Povinelli et al. （2000） for laboratory-born, peer-reared chimpanzees. One contribution towards the dramatic differences between the two study populations may be the significant rearing and housing differences of the chimpanzee groups. One explanation is that under conditions of enculturation, rich social interactions with humans and conspecifics, as well as active exploration of artifacts, materials, and other aspects of their physical environment had a significant impact on the animals＇ ability to recognize the support relationships among the stimulus choices. Overall, the present findings provide strong support for the hypothesis that our chimpanzee subjects based their responses on an understanding of functional support which represented one facet of their folk physics repertoire [Current Zoology 57 （4）： 429-440, 2011].
