Sökning: "Aiko Fallas Yamashita"

Hittade 1 uppsats innehållade orden Aiko Fallas Yamashita.

1. 1. Testing a radiotherapy support system with QuickCheck

   D-uppsats, IT-universitetet i Göteborg/Tillämpad informationsteknologi

   Författare :Aiko Fallas Yamashita; Andreas Bergqvist; [2007-06-27]
   Nyckelord :Light-weight formal methods; medical devices; software verification; software testing;

   Sammanfattning : In this report we present a case study on using light-weight formal methods for testing an implementation of a medical device. The device is a real-time organ position tracking system used in radiotherapy. The system properties to be tested were modeled and verified through automated test cases generated by QuickCheck. LÄS MER