Testing is a standard method for verification of software performance. Producing efficient and appropriate test case is an important aspect in testing. Specification based testing presents a method to derive test dat...Testing is a standard method for verification of software performance. Producing efficient and appropriate test case is an important aspect in testing. Specification based testing presents a method to derive test data from software specification. Because of the precision and concision of specification, the test data derived from specification can test the software efficiently and entirely. This paper demonstrates a test class framework(TCF) on a file reading case study, specified using Z notation. This test class framework defines test case sets, providing structure to the testing process. Flexibility is preserved so that many testing strategies can be used.展开更多
This paper presents a framework that can be used to formalize the specification-based single-class test generation process. Object-Z is used to describe both software requirements and the proposed framework. Using thi...This paper presents a framework that can be used to formalize the specification-based single-class test generation process. Object-Z is used to describe both software requirements and the proposed framework. Using this framework, test engineers can automatically get the testing process model during the test generation process. With this model, properties of test cases （ such as relationship between test cases and methods can easily be captured. Furthermore, with the framework, the test process model can be updated automatically with the test generation process. The properties of test cases can then be updated correspondingly. It will greatly facilitate the regression testing. The main contribution of this paper is that it provides an approach to formalizing testing process by extending existing framework to class testing, and a way to represent test cases as multi-part, multi-step, multi-level artifacts.展开更多
A new model of event and message driven Petri network(EMDPN) based on the characteristic of class interaction for messages passing between two objects was extended. Using EMDPN interaction graph, a class hierarchical ...A new model of event and message driven Petri network(EMDPN) based on the characteristic of class interaction for messages passing between two objects was extended. Using EMDPN interaction graph, a class hierarchical test-case generation algorithm with cooperated paths (copaths) was proposed, which can be used to solve the problems resulting from the class inheritance mechanism encountered in object-oriented software testing such as oracle, message transfer errors, and unreachable statement. Finally, the testing sufficiency was analyzed with the ordered sequence testing criterion(OSC). The results indicate that the test cases stemmed from newly proposed automatic algorithm of copaths generation satisfies synchronization message sequences testing criteria, therefore the proposed new algorithm of copaths generation has a good coverage rate.展开更多
Introduction: The Six-Minute Walk Test (6MWT) is an inexpensive method to objectively evaluate physical capacity or limitation and stratify prognosis in patients with Heart Failure (HF). Since the clinical p...Introduction: The Six-Minute Walk Test (6MWT) is an inexpensive method to objectively evaluate physical capacity or limitation and stratify prognosis in patients with Heart Failure (HF). Since the clinical perception of symptoms may be adapted or compromised, regular evaluation from medical interviews often fails to determine functional classification. This study aimed to assess the correlation between New York Heart Association Functional Class (NYHA-FC) and the distance walked in the 6MWT. Methods: We conducted a cross-sectional observational study that included patients with HF with reduced ejection fraction followed up at an outpatient service of a teaching hospital, from August 2018 to April 2019. Patients in NYHA-FC I, II, or III were included. We compared NYHA-FC subjectively obtained during the consultation with the 6MWT performed after medical consultation, and the correlation between these two parameters was assessed. Results: The study included 70 patients with HF, 41 (58.6%) of whom were female. The mean age was 61.2 ± 12.7 years. The most prevalent etiologies were dilated idiopathic cardiomyopathy (35.7%) followed by ischemic cardiomyopathy (25.7%). The mean ejection fraction was 34.1% ± 9.8%. The average distance walked in the 6MWT by NYHA-FC I patients was 437.8 ± 95.8 meters, NYHA-FC II 360.1 ± 96.4, and NYHA-FC III 248.4 ± 98.3. Functional class measured by the 6MWT was different than that estimated by NYHA-FC in 34 patients (48.6%), 23 (32.9%) for a higher functional class and 11 (15.7%) for a lower one (p = 0.07). Pearson’s correlation coefficient between NYHA-FC and the 6MWT was -0.55. Conclusion: There was a moderate correlation between the subjective NYHA-FC and the 6MWT. The 6MWT revealed a different classification from NYHA-FC in almost half of the patients. Among those who presented discrepancies between methods, 6MWT reclassification towards a higher functional class was more common.展开更多
文摘Testing is a standard method for verification of software performance. Producing efficient and appropriate test case is an important aspect in testing. Specification based testing presents a method to derive test data from software specification. Because of the precision and concision of specification, the test data derived from specification can test the software efficiently and entirely. This paper demonstrates a test class framework(TCF) on a file reading case study, specified using Z notation. This test class framework defines test case sets, providing structure to the testing process. Flexibility is preserved so that many testing strategies can be used.
文摘This paper presents a framework that can be used to formalize the specification-based single-class test generation process. Object-Z is used to describe both software requirements and the proposed framework. Using this framework, test engineers can automatically get the testing process model during the test generation process. With this model, properties of test cases （ such as relationship between test cases and methods can easily be captured. Furthermore, with the framework, the test process model can be updated automatically with the test generation process. The properties of test cases can then be updated correspondingly. It will greatly facilitate the regression testing. The main contribution of this paper is that it provides an approach to formalizing testing process by extending existing framework to class testing, and a way to represent test cases as multi-part, multi-step, multi-level artifacts.
基金Project(05JT1035) supported by the Science and Technology Plan of Hunan Province
文摘A new model of event and message driven Petri network(EMDPN) based on the characteristic of class interaction for messages passing between two objects was extended. Using EMDPN interaction graph, a class hierarchical test-case generation algorithm with cooperated paths (copaths) was proposed, which can be used to solve the problems resulting from the class inheritance mechanism encountered in object-oriented software testing such as oracle, message transfer errors, and unreachable statement. Finally, the testing sufficiency was analyzed with the ordered sequence testing criterion(OSC). The results indicate that the test cases stemmed from newly proposed automatic algorithm of copaths generation satisfies synchronization message sequences testing criteria, therefore the proposed new algorithm of copaths generation has a good coverage rate.
文摘Introduction: The Six-Minute Walk Test (6MWT) is an inexpensive method to objectively evaluate physical capacity or limitation and stratify prognosis in patients with Heart Failure (HF). Since the clinical perception of symptoms may be adapted or compromised, regular evaluation from medical interviews often fails to determine functional classification. This study aimed to assess the correlation between New York Heart Association Functional Class (NYHA-FC) and the distance walked in the 6MWT. Methods: We conducted a cross-sectional observational study that included patients with HF with reduced ejection fraction followed up at an outpatient service of a teaching hospital, from August 2018 to April 2019. Patients in NYHA-FC I, II, or III were included. We compared NYHA-FC subjectively obtained during the consultation with the 6MWT performed after medical consultation, and the correlation between these two parameters was assessed. Results: The study included 70 patients with HF, 41 (58.6%) of whom were female. The mean age was 61.2 ± 12.7 years. The most prevalent etiologies were dilated idiopathic cardiomyopathy (35.7%) followed by ischemic cardiomyopathy (25.7%). The mean ejection fraction was 34.1% ± 9.8%. The average distance walked in the 6MWT by NYHA-FC I patients was 437.8 ± 95.8 meters, NYHA-FC II 360.1 ± 96.4, and NYHA-FC III 248.4 ± 98.3. Functional class measured by the 6MWT was different than that estimated by NYHA-FC in 34 patients (48.6%), 23 (32.9%) for a higher functional class and 11 (15.7%) for a lower one (p = 0.07). Pearson’s correlation coefficient between NYHA-FC and the 6MWT was -0.55. Conclusion: There was a moderate correlation between the subjective NYHA-FC and the 6MWT. The 6MWT revealed a different classification from NYHA-FC in almost half of the patients. Among those who presented discrepancies between methods, 6MWT reclassification towards a higher functional class was more common.
