Sökning: "quickcheck"

Visar resultat 6 - 10 av 10 uppsatser innehållade ordet quickcheck.

1. 6. Verifying Finite State Machine Behavior using QuickCheck EQC_fsm

   Uppsats för yrkesexamina på avancerad nivå, Institutionen för informationsteknologi

   Författare :Ida Lindgren; Robin Malmros; [2010]
   Nyckelord :;

   Sammanfattning : In order to communicate properly, mobile telephones connect to base transceiver stations which forward the telephones’ signals. These base transceiver stations are called Node Bs. As the use of mobile telephones expands every day, the number of Node Bs in the world increases with rapid speed. LÄS MER

3. 7. Model Based Testing of Data Constraints

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

   Författare :Nicolae Paladi; [2009-12-21]
   Nyckelord :;

   Sammanfattning : Correct implementation of data constraints, such as referential integrity constraints and business rules is an essential precondition for data consistency. Though most modern commercial DBMSs support data constraints, the latter are often implemented in the business logic of the applications. LÄS MER

4. 8. 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

5. 9. Automated Testing of Java ABNF Grammar Parsers with QuickCheck

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

   Författare :Pablo Álvarez Yáñez; [2007-06-18]
   Nyckelord :Property Based Testing; Parser Testing; Protocol Testing;

   Sammanfattning : I present a new technique to test Java ABNF grammar parsers using Erlang/QuickCheck, a property based test tool. Its development was lead through the case study of the Java reference implementation of the SIP protocol. The result was successful in the case study, and the technique was also used with some other parser to prove its portability. LÄS MER

7. 10. NBAP message construction using QuickCheck

   Magister-uppsats, Institutionen för datavetenskap

   Författare :Daniel Jernberg; Andreas Granberg; [2007]
   Nyckelord :QuickCheck; NBAP; Radio Base Station; Automated Testing; Testing;

   Sammanfattning : Traffic and Feature SW is a department based in Kista. At this department the main processor software, or MPSW in short, in Ericssons Radio Base Stations is tested prior to integration of new releases. LÄS MER