Learn More
This book teaches model-based analysis and model-based testing, important new ways to write and analyze software specifications and designs, generate test cases, and check the results of test runs. These methods increase the automation in each of these steps, making them more timely, more thorough, and more effective. Using a familiar programming language,(More)
! Abstract—In unit testing, the programmer codes the test cases, and also codes assertions that check whether each test case passed. In model-based testing, the programmer codes a " model " that generates as many test cases as desired and also acts as the oracle that checks the cases. Model-based testing is recommended where so many test cases are needed(More)
PURPOSE Three-dimensional treatment planning depends upon exact and consistent delineation of target volumes. This study tested whether different physicians from different institutions vary significantly in their creation of planning target volumes (PTVs). METHODS AND MATERIALS Eight physicians from three different institutions created partial planning(More)
PURPOSE Software tools are seeing increased use in three-dimensional treatment planning. However, the development of these tools frequently omits careful evaluation before placing them in clinical use. This study demonstrates the application of a rigorous evaluation methodology using blinded peer review to an automated software tool that produces ICRU-50(More)
PURPOSE We describe the capabilities and performance of Prism, an innovative new radiotherapy planning system with unusual features and design. The design and implementation strategies are intended to assure high quality and clinical acceptability. The features include Artificial Intelligence tools and special support for multileaf collimator (MLC) systems.(More)
This report presents a formal speciication in the Z notation for a safety-critical control system. It describes a particular medical device but is quite generic and should be widely applicable. The speciication emphasizes safety interlocking and other discontinous features that are not considered in classical control theory. A method for calculating(More)
PURPOSE We have investigated the requirements, design, implementation, and operation of a computer-controlled medical accelerator with multileaf collimator (MLC), integrated with a radiation treatment-planning system (RTPS), and we report on the performance, benefits, and lessons learned from this experience. METHODS AND MATERIALS In 1984 the University(More)
PURPOSE Three dimensional (3D) target volumes are an essential component of conformal therapy because the goal is to shape the treatment volume to the target volume. The planning target volume (PTV) is defined by ICRU 50 as the clinical target volume (CTV) plus a margin to ensure that the CTV receives the prescribed dose. The margin must include all(More)
This report describes a systematic effort to test all functions of a large 3-D radiation therapy planning program, including graphics and user interaction. Previous studies in quality assurance for radiation therapy programs do not adequately address the problem of programming errors. They compare dose estimates calculated by planning programs to actual(More)
We show how model-based testing can be applied in the context of web applications using the NModel toolkit. The concrete case study is a commercial web-based positioning system called WorkForce Management (WFM). WFM allows subscribers to track the position of their employees for the purpose of, for example, improving the practice of a courier service. WFM(More)