title: Automated Boundary Testing from Z and B

authors: Legeard, Bruno

subjects: computer science

abstract: We present a method for black-box boundary testing from B and Z formal specifications. The basis of the method is to test every operation of the system at every boundary state using all input boundary values of that operation. The test generation process is highly automated. It starts by calculating boundary goals from Pre/Post predicates derived from the formal model. Then each boundary goal is instantiated to a reachable boundary state, by searching for a sequence of operations that reaches the boundary goal from the initial state. This process makes intensive use of a set-oriented constraint technology, both for boundary computation and to traverse the state space. The method was designed on the basis of industrial applications in the domain of critical software (Smart card and transportation). Application results show the effectiveness and the scalability of the method. In this paper, we give an overview of the method and focus on the calculation of the boundary goals and states.

text: Automated Boundary Testing from Z and B We present a method for black-box boundary testing from B and Z formal specifications. The basis of the method is to test every operation of the system at every boundary state using all input boundary values of that operation. The test generation process is highly automated. It starts by calculating boundary goals from Pre/Post predicates derived from the formal model. Then each boundary goal is instantiated to a reachable boundary state, by searching for a sequence of operations that reaches the boundary goal from the initial state. This process makes intensive use of a set-oriented constraint technology, both for boundary computation and to traverse the state space. The method was designed on the basis of industrial applications in the domain of critical software (Smart card and transportation). Application results show the effectiveness and the scalability of the method. In this paper, we give an overview of the method and focus on the calculation of the boundary goals and states.

year: 2002

title: Posterior sloping angle as a predictor of contralateral slip in slipped capital femoral epiphysis

authors: Phillips, Paul M.

subjects: Polynesian

abstract: Background: Slipped capital femoral epiphysis is a condition with potentially severe complications. Controversy remains as to when to undertake prophylactic pinning. We aimed to assess the utility of the posterior sloping angle as a predictor for contralateral slip in a large, multi-ethnic cohort including Polynesian children with a high incidence of slipped capital femoral epiphysis.
Methods: All patients presenting to our hospital between 2000 and 2009 were identified and records were reviewed to determine demographic data and determine whether they subsequently developed a contralateral slip. The presenting radiographs were reviewed and the posterior sloping angle was measured. Patients with bilateral slips at presentation and those without initial radiographs were excluded.
Results: Records and radiographs of 132 patients were analyzed for the posterior sloping angle in the unaffected hip. Forty-two patients who had subsequently developed a contralateral slip had a mean posterior sloping angle (and standard deviation) of 17.2 degrees +/- 5.6 degrees, which was significantly higher (p < 0.001) than that of 10.8 degrees +/- 4.2 degrees for the ninety patients who had had a unilateral slip. Children who had developed a subsequent contralateral slip were significantly younger (11.1 years) than those who had developed a unilateral slip (12.2 years) (p < 0.001). If a posterior sloping angle of 14 degrees were used as an indication for prophylactic fixation in this population, thirty-five (83.3%) of forty-two contralateral slips would have been prevented, and nineteen (21.1%) of ninety hips would have been pinned unnecessarily. The number needed to treat to prevent one subsequent contralateral slip is 1.79.
Conclusions: To our knowledge, this is the largest study to date that confirms that the posterior sloping angle is a reliable predictor of contralateral slip and can be used to guide prophylactic pinning. The posterior sloping angle is applicable in the high-risk Polynesian population and could be useful in preventing future slips in populations that are difficult to follow up.

text: Posterior sloping angle as a predictor of contralateral slip in slipped capital femoral epiphysis Background: Slipped capital femoral epiphysis is a condition with potentially severe complications. Controversy remains as to when to undertake prophylactic pinning. We aimed to assess the utility of the posterior sloping angle as a predictor for contralateral slip in a large, multi-ethnic cohort including Polynesian children with a high incidence of slipped capital femoral epiphysis.
Methods: All patients presenting to our hospital between 2000 and 2009 were identified and records were reviewed to determine demographic data and determine whether they subsequently developed a contralateral slip. The presenting radiographs were reviewed and the posterior sloping angle was measured. Patients with bilateral slips at presentation and those without initial radiographs were excluded.
Results: Records and radiographs of 132 patients were analyzed for the posterior sloping angle in the unaffected hip. Forty-two patients who had subsequently developed a contralateral slip had a mean posterior sloping angle (and standard deviation) of 17.2 degrees +/- 5.6 degrees, which was significantly higher (p < 0.001) than that of 10.8 degrees +/- 4.2 degrees for the ninety patients who had had a unilateral slip. Children who had developed a subsequent contralateral slip were significantly younger (11.1 years) than those who had developed a unilateral slip (12.2 years) (p < 0.001). If a posterior sloping angle of 14 degrees were used as an indication for prophylactic fixation in this population, thirty-five (83.3%) of forty-two contralateral slips would have been prevented, and nineteen (21.1%) of ninety hips would have been pinned unnecessarily. The number needed to treat to prevent one subsequent contralateral slip is 1.79.
Conclusions: To our knowledge, this is the largest study to date that confirms that the posterior sloping angle is a reliable predictor of contralateral slip and can be used to guide prophylactic pinning. The posterior sloping angle is applicable in the high-risk Polynesian population and could be useful in preventing future slips in populations that are difficult to follow up.

year: 2013

title: Te pā tūwatawata: Te reo i te kāinga

authors: Bailey, Iraia Thompson

subjects: te reo Māori

abstract: He tuhinga tēnei e whakaatu atu ana i ngā whakakitenga i puta mai ai i ngā rangahau mō te reo Māori i te kāinga ki ngā whānau o Tūwharetoa.  He toronga anō hoki ki tētahi huarahi hei whakatō iho anō i te reo Māori ki roto i ngā pātū o te kāinga, arā, ki roto i te whānau.

text: Te pā tūwatawata: Te reo i te kāinga He tuhinga tēnei e whakaatu atu ana i ngā whakakitenga i puta mai ai i ngā rangahau mō te reo Māori i te kāinga ki ngā whānau o Tūwharetoa.  He toronga anō hoki ki tētahi huarahi hei whakatō iho anō i te reo Māori ki roto i ngā pātū o te kāinga, arā, ki roto i te whānau.

year: 2019