Sökning: "testing"

Visar resultat 26 - 30 av 3255 avhandlingar innehållade ordet testing.

1. 26. Software Testing in Agile Development : Technological and Organisational Challenges

   Författare :Adnan Čaušević; Sasikumar Punnekkat; Feldt Robert; Mälardalens högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; software testing; agile development; test-driven development; role of testers; empirical study; controlled experiment; Software engineering; Programvaruteknik; Computer Science; datavetenskap;

   Sammanfattning : The emerging industrial trend towards agile software development processes brings forth new concerns, challenges as well as opportunities. One of the main concerns is with respect to the achievable quality levels of the final product, for which testing is the well-known assurance mechanism. LÄS MER

3. 27. Structuring Exploratory Testing through Test Charter Design and Decision Support

   Författare :Ahmad Nauman Ghazi; Kai Petersen; Jürgen Börstler; Burak Turhan; Blekinge Tekniska Högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Exploratory Testing; Software Testing; Test Charter Design; Decision Support; Survey Research; Software Engineering; Session based test management; SBTM; ET;

   Sammanfattning : Context: Exploratory testing (ET) is an approach to test software with a strong focus on personal skills and freedom of the tester. ET emphasises the simultaneous design and execution of tests with minimal test documentation. LÄS MER

4. 28. Weldability of Precipitation Hardening Superalloys – Influence of Microstructure

   Författare :Joel Håkan Andersson; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Hot cracking; GTAW; Transvarestraint testing; Varestraint testing; Gleeble testing; Solidification cracking; HAZ liquation cracking; Repair welding; Strain age cracking; EBW; DSC thermal analysis;

   Sammanfattning : Superalloys and in particular the precipitation hardened Ni-based superalloys havealways been used extensively in the hot sections of jet engines. Large hot structuralengine components with complex geometry have preferably been cast as single piececomponents since the large scale vacuum investment casting process becameavailable about fifty years ago. LÄS MER

5. 29. Testing and Proving using Narrowing

   Författare :Fredrik Lindblad; Göteborgs universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; program correctness; software testing; formal verification; proof construction; dependent types; type theory; narrowing; dependent types;

   Sammanfattning : In order to know if a program is correct a specification of its intended behaviour must be stated. The two main activities concerning program correctness are testing and verification. LÄS MER

7. 30. Techniques for Automatic Generation of Tests from Programs and Specifications

   Författare :Jon Edvardsson; Mariam Kamkar; Maud Göthe-Lundgren; Jeff Offutt; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; testing; automatic test data generation; partition testing; constraint solving; program coverage; specification coverage; Software engineering; Programvaruteknik;

   Sammanfattning : Software testing is complex and time consuming. One way to reduce the effort associated with testing is to generate test data automatically. This thesis is divided into three parts. In the first part a mixed-integer constraint solver developed by Gupta et. LÄS MER