Özet Yazılım testinde uygulanabilecek en basit yaklaşım verilen bir kod parçasındaki bütün olasılıkları test etmektir. Bu durum zaman ve bütçe kısıtları nedeniyle pratikte imkansızdır. Yazılım hata tahmini yöntemleri proje yöneticileri tarafından, test aşamasında, kısıtlı olan kaynakları efektif bir şekilde dağıtmak için kullanılmaktadır. Bu alandaki çalışmalar özellikle 2005 yılından itibaren ...

A novel chip-on-metal structure of the advanced wafer level chip scale package (WLCSP) which has the capability of redistributing the electrical circuit is proposed in this study. In the WLCSP, the solder on rubber (SOR) design expands the chip area and also provides a buffer layer for the deformation energy from the coefficient of thermal expansion (CTE) mismatch. By using the solder ball shea...

I n i t i a l r e s u l t s a r e a v a i l a b l e from t h e f i r s t experiment t o c a l i b r a t e t h e heat e x t r a c t i o n h i s t o r y o f a p h y s i c a l l y s imu la ted f r a c t u r e d hydrothermal r e s e r v o i r us i ng a r o c k l oad ing o f l a r g e , regular-shaped g r a n i t e b locks. Thermocouples embedded i n a s e t o f t h e rock b locks and i n water a t ...

The paper describes the strategy for efficient solving of difficult inverse problems, utilizing Finite Element Method (FEM) as a direct problem solver. The strategy consists of finding an optimal balance between the accuracy of global optimization method and the accuracy of an hp-adaptive FEM used for the multiple solving of the direct problem. The crucial relation among errors was found for th...

Consider a portfolio of n obligors subject to possible default. We propose a new structural model for the loss given default, which takes into account the severity of default. Then we study the tail behavior of the loss given default under the assumption that the losses of the n obligors jointly follow a multivariate regular variation structure. This structure provides an ideal framework for mo...

4 Non-technical summary 5

Özet. Test Güdümlü Yazılım Geliştirme modeli önce test koşullarının yazılmasını, sonrasında da yazılan testleri geçecek ve kendinden beklenen işlevi yerine getirecek kodun yazılarak bir yazılımın geliştirilmesini öngören yazılım geliştirme modelidir. Başarılı test sürecinin gerçekleştirilmesi ile en az hataya sahip yüksek doğrulukta yazılımlar üretilebilmektedir. Günümüzde test güdümlü yazılım ...