title: Controlling test case explosion in test generation for B formal models: Research Articles

authors: Legeard, Bruno

subjects: computer science

abstract: BZ-TESTING-TOOLS (BZ-TT) is a tool set for automated test case generation from B and Z specifications. BZ-TT uses boundary and cause–effect testing on the basis of the formal model. It has been used and validated on several industrial applications in the domain of critical software, particularly smart card and transport systems. This paper presents the test coverage criteria supported by BZ-TT. On the one hand, these correspond to various classical structural coverage criteria, but specialized to the case of B abstract machines. The paper gives algorithms for these in Prolog. On the other hand, BZ-TT introduces new coverage criteria for complex data structures, based on boundary analysis: this paper defines weak and strong state-boundary coverage, input-boundary coverage and output-boundary coverage. Finally, the paper describes how BZ-TT presents a unified view of these criteria to the validation engineer, and allows him or her to control the test case explosion on a coarse basis (choosing from a range of coverage criteria) as well as a fine basis (selecting options for each state or input variable).

text: Controlling test case explosion in test generation for B formal models: Research Articles BZ-TESTING-TOOLS (BZ-TT) is a tool set for automated test case generation from B and Z specifications. BZ-TT uses boundary and cause–effect testing on the basis of the formal model. It has been used and validated on several industrial applications in the domain of critical software, particularly smart card and transport systems. This paper presents the test coverage criteria supported by BZ-TT. On the one hand, these correspond to various classical structural coverage criteria, but specialized to the case of B abstract machines. The paper gives algorithms for these in Prolog. On the other hand, BZ-TT introduces new coverage criteria for complex data structures, based on boundary analysis: this paper defines weak and strong state-boundary coverage, input-boundary coverage and output-boundary coverage. Finally, the paper describes how BZ-TT presents a unified view of these criteria to the validation engineer, and allows him or her to control the test case explosion on a coarse basis (choosing from a range of coverage criteria) as well as a fine basis (selecting options for each state or input variable).

year: 2004

title: Effect of stearic acid treatment on the properties of aligned short hemp fibre mats and their potential use as reinforcement in polypropylene matrix composites

authors: Pickering, Kim L.

subjects: Science & Technology

abstract: The main objective of this study was to assess the effect of stearic acid vapour treatment on hemp fibre mats produced using dynamic sheet forming, and the potential use of these treated mats as reinforcement in polypropylene matrix composites. Stearic acid was successfully applied through vapour treatment, appearing to form a layer on fibre surfaces. It was found that the presence of stearic acid increased hydrophobicity and thermal stability of fibre mats. It was also found to increase thermal stability of polypropylene matrix composites as well as their strength.

text: Effect of stearic acid treatment on the properties of aligned short hemp fibre mats and their potential use as reinforcement in polypropylene matrix composites The main objective of this study was to assess the effect of stearic acid vapour treatment on hemp fibre mats produced using dynamic sheet forming, and the potential use of these treated mats as reinforcement in polypropylene matrix composites. Stearic acid was successfully applied through vapour treatment, appearing to form a layer on fibre surfaces. It was found that the presence of stearic acid increased hydrophobicity and thermal stability of fibre mats. It was also found to increase thermal stability of polypropylene matrix composites as well as their strength.

year: 2021

title: “Landlords wouldn’t give my application a second look.” Discrimination exacerbates inequalities in access to private rental housing

authors: Terruhn, Jessica

abstract: This report and the key insights are based on findings from a housing survey that was conducted with 800 residents in neighbourhoods in Auckland, Hamilton and Christchurch. 
• Perceptions of unfairness in Aotearoa’s housing sector are widespread. Renters, Māori, younger people and low-income groups as well as residents in neighbourhoods with high levels of housing deprivation are most likely to think that people are treated unfairly when trying to rent or buy a home in Aotearoa. 
• Nearly one in three respondents reported having experienced discrimination when trying to rent or buy a home in Aotearoa. Renters, Māori, younger people and low-income groups as well as residents in neighbourhoods with high levels of housing deprivation are most likely to report experiences of discrimination. 
• Advantage and disadvantage in securing a home are determined by a combination of interlocking factors, including income and employment status, age, family status, and race/ethnicity or skin colour. These patterns suggest widespread experiences of potentially unlawful housing discrimination. 
• People strategically try to avoid and mitigate discrimination. Expectations of being discriminated against and of being advantaged influence where and how home seekers search for housing. This finding signals that experiences of rejection play a role in constraining people’s housing choices. 
• The survey findings suggest that discrimination, as part of tenant selection, contributes to housing precarity and inequalities in access to rental housing. Therefore, this research points to an urgent need to address housing discrimination, especially in the context of high levels of residential mobility among renters and intense competition for rental properties.

text: “Landlords wouldn’t give my application a second look.” Discrimination exacerbates inequalities in access to private rental housing This report and the key insights are based on findings from a housing survey that was conducted with 800 residents in neighbourhoods in Auckland, Hamilton and Christchurch. 
• Perceptions of unfairness in Aotearoa’s housing sector are widespread. Renters, Māori, younger people and low-income groups as well as residents in neighbourhoods with high levels of housing deprivation are most likely to think that people are treated unfairly when trying to rent or buy a home in Aotearoa. 
• Nearly one in three respondents reported having experienced discrimination when trying to rent or buy a home in Aotearoa. Renters, Māori, younger people and low-income groups as well as residents in neighbourhoods with high levels of housing deprivation are most likely to report experiences of discrimination. 
• Advantage and disadvantage in securing a home are determined by a combination of interlocking factors, including income and employment status, age, family status, and race/ethnicity or skin colour. These patterns suggest widespread experiences of potentially unlawful housing discrimination. 
• People strategically try to avoid and mitigate discrimination. Expectations of being discriminated against and of being advantaged influence where and how home seekers search for housing. This finding signals that experiences of rejection play a role in constraining people’s housing choices. 
• The survey findings suggest that discrimination, as part of tenant selection, contributes to housing precarity and inequalities in access to rental housing. Therefore, this research points to an urgent need to address housing discrimination, especially in the context of high levels of residential mobility among renters and intense competition for rental properties.

year: 2024-08