«theory» etiketlenmiş sorular

Dijkstra'nın Yapısal Programlama Üzerine Notlarında, bilgisayar programlarının soyut varlıklar olarak kullanılabilirliği hakkında çok konuşur. Bunun bir sonucu olarak, testin nasıl yapılmayacağını anlatıyor. Örneğin, f (x, y) = x * y çarpım işlevini tüm x ve y aralıklarında x ve y büyük değerleri için test etmenin imkansız olacağına dikkat çekiyor. Benim …

22 theory  cpu 

Bu gerçekten daha fazlasını anlamak isteyen bir python acemi tarafından teorik bir sorudur. Python'daki blok ilk ifadelerinden sonra iki nokta üst üste unutmaya devam ediyorum. Demek istediğim bunlar: for <variable> in <sequence>: if <blah blah>: Benim düşüncem unutmaya devam etmemin bir nedeni, fiili olarak örtük olmalarıdır: iki nokta üst üste …

19 python  syntax  theory 

Turing makinelerinin (ve Von Neuman makinelerinin uzatma ile) kendi durma problemini çözemediğini kabul etmeyi reddeden bir iş arkadaşım var: Yeterli zaman ve para ile her şeyi yapabilirsiniz. Ayrıca, aşağıdakileri savunarak teorik sorunları sevmez: Alanımızda asla bu sorularla karşılaşmayacağız. Teorik bilim adamları değil, uygulama geliştiricileriz. Onu buna ikna etmem için kullanabileceğim, …

17 computer-science  theory  business-logic 

Olumlu testlerde işlevselliği onaylamaya, çalıştığını kanıtlamaya ne dersiniz - zaman kaybı olduğunu söylemeliyim? Bu teklifin arkasında nasıl bir kavram var? Başarısız testler, yani hata bulamayan testler zaman kaybıdır. Web Mühendisliği: Cem Kaner'den alıntı yapan Web Uygulamalarının Sistematik Gelişimi Disiplini .

15 testing  theory 

Yığın dizisinin neden bir yerinde sıralama algoritması olarak kabul edildiğini göremiyorum . Demek istediğim, sıralanacak dizinin elemanları ile doldurulmuş bir ek veri yapısı yani bir yığın, min değerinin ve sıralama işleminin çıkarılmasına yardımcı olmak için kullanılır. Öyleyse burada inplace'in tanımını yanlış anlayabilir miyim? Ancak yerleştirme sıralaması örneğin, yerinde algoritma olduğu …

15 algorithms  computer-science  theory  sorting 

Sorum çok bilimsel görünebilir, ancak bence bu yaygın bir sorundur ve deneyimli geliştiriciler ve programcılar, bahsettiğim sorunu önlemek için bazı tavsiyelerde bulunacaklardır. Btw., Aşağıda tarif ettiğim şey, iOS projemde proaktif olarak çözmeye çalıştığım gerçek bir problem, ne pahasına olursa olsun önlemek istiyorum. Sonlu durum makinesi ile bunu kastediyorum> birkaç düğmeli …

14 programming-practices  theory  finite-state-machine 

Ben kod hatasız olamaz, ve bu teoremler hakkında konuşurken devlet makaleleri çok okudum: Durdurma sorunu Gödel'in eksiklik teoremi Pirinç teoremi Aslında Rice'ın teoremi durma probleminin bir sonucuna benziyor ve durma problemi Gödel'in eksiklik teoremi ile yakın ilişki içindedir. Bu, her programın en az bir istenmeyen davranışa sahip olacağı anlamına mı …

12 bug  theory 

Googling "yazılım test teorisi" sadece kelimenin yumuşak anlamında teoriler veriyor gibi görünüyor; Matematiksel, teorik veya başka bir bilimsel alanda bir teori olarak sınıflandıracak hiçbir şey bulamadım. Aradığım şey, testin ne olduğunu, kullanılan kavramları, bir test senaryosunun ne olduğunu, bir şeyi test etmenin fizibilitesini, bir şeyi test etmenin pratikliğini, bir şeyin …

12 testing  math  theory  formal-methods  information-theory 

Ben bir atölye planlama programı (çok kötü bir şekilde gerekli) oluşturmak ile BT görev yaptı bir üretim tesisinde çalışıyorum. Başkalarının deneyimlerine dayanarak, daha az zaman ayırıp kullanılabilir olan temel bir çerçeve oluşturmak ve daha sonra özellikler ekleyerek ya da kapıdan tam olarak uygulanmış bir çözüm oluşturarak işe başlamak daha iyi …

11 design  theory  methodology 

Şube tahmini ve ayrıca derleyici optimizasyonlarının etkisi göz önüne alındığında, hangi kod üstün performans sunar? BRareExceptionPresent'in nadir bir koşulu temsil ettiğini unutmayın. Bu normal mantık yolu değildir. /* MOST COMMON path must branch around IF clause */ bool SomeFunction(bool bRareExceptionPresent) { // abort before function if(bRareExceptionPresent) { return false; } …

10 optimization  theory 

Üniversiteye geri döndüğümde, sınıfa bilgisayar bilimi yasalarından birini öğreten bir profesörü hatırlıyorum. "Daha fazla kod daha fazla hataya eşittir" gibi bir şey söyledi ve ona bir isim verdi (Whatchamacallit Kanunu) ve birisine atfetti. Herkes bu "yasanın" nereden geldiğini, kimin söylediğini ya da orijinal sözlüğünün ne olduğunu biliyor mu?

10 bug  computer-science  theory 

Aşağıdakileri yapmanın en iyi yolunu düşünmeye çalışıyorum: Veritabanında depolanan görevlerin bir listesi var. Bir görevin kendisine atanmış bir önceliği vardır. Yapılması gereken sırayı yeniden sıralamak için görevin önceliğini değiştirebilirsiniz. Pivotal Tracker'a çok benzeyen bir şey düşünüyorum. Öyleyse aşağıdakilere sahip olduğumuzu hayal edin: 1 Task A 2 Task B 3 Task …

9 database-design  data-structures  theory 

Birçok kaynağa dayanarak test etmenin basit tanımının mümkün olduğunca çok hata bulmak olduğuna inanmıyorum - çalıştığından veya çalışmadığından emin olmak için test ediyoruz. Örneğin, takip formu ISTQB'yi test etmenin hedefleridir: (Yazılım ürünleri) belirtilen gereksinimleri karşıladığını belirleyin (Bence doğrulama) (Yazılım ürünleri) amaca uygun olduğunu gösterin (bence bu doğrulamadır) Hataları tespit et …

9 testing  theory  verification 

Çeşitli üst düzey dillerde ( Python , PHP , diğerleri arasında Javascript ) birkaç lexer bakıyordum ve hepsi bir şekilde veya başka bir şekilde düzenli ifadeler kullanıyor gibi görünüyor. Regex'in muhtemelen bunu yapmanın en iyi yolu olduğundan emin olmakla birlikte, düzenli ifadeler olmadan temel lexing elde etmenin herhangi bir yolu …

9 theory  regular-expressions  lexer