Pertanyaan yang diberi tag «theory»

Dalam Dijkstra's Notes on Structured Programming, dia banyak berbicara tentang kemampuan program komputer sebagai entitas abstrak. Sebagai akibat wajar, ia menyatakan bahwa pengujian tidak cukup. Misalnya, ia menunjukkan fakta bahwa tidak mungkin untuk menguji fungsi perkalian f (x, y) = x * y untuk setiap nilai besar x dan y …

22 theory  cpu 

Ini benar-benar hanya pertanyaan teoretis oleh pemula python yang ingin lebih memahami. Saya selalu lupa titik dua setelah blok pernyataan awal dengan python. Itulah yang saya maksud: for <variable> in <sequence>: if <blah blah>: Pikiran saya adalah bahwa salah satu alasan saya terus lupa adalah, bahwa mereka secara implisit bersifat …

19 python  syntax  theory 

Saya memiliki rekan kerja yang menolak untuk menerima kenyataan bahwa mesin Turing (dan mesin Von Neuman dengan ekstensi) tidak dapat memecahkan masalah mereka sendiri yang menyatakan: Anda dapat melakukan apa saja dengan cukup waktu dan uang. Dia juga tidak suka masalah teoritis dengan alasan bahwa: Di bidang kami, kami tidak …

17 computer-science  theory  business-logic 

Bagaimana dengan mengonfirmasi fungsi dalam tes positif, membuktikannya berfungsi - haruskah saya katakan itu buang-buang waktu? Konsep apa yang ada di balik kutipan ini? Tes yang gagal, yaitu tes yang tidak menemukan kesalahan adalah buang-buang waktu. Teknik Web: Disiplin Pengembangan Sistematis Aplikasi Web mengutip Cem Kaner .

15 testing  theory 

Saya tidak bisa melihat mengapa heapsort dianggap sebagai algoritma penyortiran inplace . Maksud saya struktur data ekstra diisi dengan elemen-elemen array yang akan diurutkan yaitu heap, digunakan untuk membantu dalam ekstraksi nilai min dan proses penyortiran. Jadi mungkin saya salah paham definisi inplace di sini? Tetapi jenis penyisipan misalnya jelas …

15 algorithms  computer-science  theory  sorting 

Pertanyaan saya mungkin tampak sangat ilmiah tetapi saya pikir ini adalah masalah umum dan pengembang dan programmer berpengalaman mudah-mudahan akan memiliki beberapa saran untuk menghindari masalah yang saya sebutkan dalam judul. Btw., Apa yang saya jelaskan di bawah adalah masalah nyata yang saya coba selesaikan secara proaktif dalam proyek iOS …

13 programming-practices  theory  finite-state-machine 

Saya telah membaca banyak artikel yang menyatakan bahwa kode tidak dapat bebas bug, dan mereka berbicara tentang teorema ini: Menghentikan masalah Teorema ketidaklengkapan Gödel Teorema Rice Sebenarnya teorema Rice tampak seperti implikasi dari masalah penghentian dan masalah penghentian berhubungan erat dengan teorema ketidaklengkapan Gödel. Apakah ini menyiratkan bahwa setiap program …

12 bug  theory 

"Teori pengujian perangkat lunak" Googling tampaknya hanya memberikan teori dalam arti kata yang lembut; Saya belum dapat menemukan apa pun yang akan diklasifikasikan sebagai teori dalam matematika, informasi teoretis atau pengertian bidang ilmiah lainnya. Apa yang saya cari adalah sesuatu yang memformalkan pengujian itu, pengertian yang digunakan, apa itu ujian, …

12 testing  math  theory  formal-methods  information-theory 

Saya bekerja di pabrik yang menugaskan TI untuk membuat program penjadwalan lantai toko (yang sangat dibutuhkan). Berdasarkan pengalaman orang lain, akan lebih baik untuk mengambil lebih sedikit waktu dan membangun kerangka dasar yang dapat digunakan dan kemudian membangunnya dengan menambahkan fitur atau memulai dengan menciptakan solusi yang sepenuhnya diimplementasikan di …

11 design  theory  methodology 

Dengan prediksi cabang, dan juga pengaruh optimisasi kompiler, kode mana yang cenderung menawarkan kinerja superior? Perhatikan bahwa bRareExceptionPresent mewakili kondisi yang tidak biasa. Ini bukan jalur logika yang normal. /* MOST COMMON path must branch around IF clause */ bool SomeFunction(bool bRareExceptionPresent) { // abort before function if(bRareExceptionPresent) { return …

10 optimization  theory 

Saya mencoba memikirkan cara terbaik untuk melakukan hal berikut: Saya memiliki daftar tugas yang disimpan dalam database. Suatu tugas memiliki prioritas yang ditetapkan padanya. Anda dapat mengubah prioritas tugas untuk menyusun ulang urutan yang seharusnya dijalankan. Saya sedang memikirkan sesuatu yang sangat mirip dengan Pelacak Penting. Jadi bayangkan kita memiliki …

10 database-design  data-structures  theory 

Kembali di perguruan tinggi, saya ingat seorang profesor mengajar di kelas salah satu hukum ilmu komputer. Dia mengatakan sesuatu seperti "Lebih banyak kode sama dengan lebih banyak bug" dan memberinya nama (The Law Of Whatchamacallit) dan menghubungkannya dengan seseorang. Adakah yang tahu dari mana "hukum" ini berasal, siapa yang mengatakannya …

10 bug  computer-science  theory 

Berdasarkan banyak sumber saya tidak percaya definisi sederhana bahwa tujuan pengujian adalah untuk menemukan bug sebanyak mungkin - kami menguji untuk memastikan bahwa itu berfungsi atau tidak. Misalnya followint adalah tujuan dari formulir pengujian ISTQB: Tentukan bahwa (produk perangkat lunak) memenuhi persyaratan yang ditentukan (saya pikir verifikasinya) Tunjukkan bahwa (produk …

9 testing  theory  verification 

Saya telah melihat beberapa lexer di berbagai bahasa tingkat yang lebih tinggi ( Python , PHP , Javascript antara lain) dan mereka semua tampaknya menggunakan ekspresi reguler dalam satu bentuk atau lainnya. Walaupun saya yakin regex mungkin adalah cara terbaik untuk melakukan ini, saya bertanya-tanya apakah ada cara untuk mencapai …

9 theory  regular-expressions  lexer 

Bagaimana saya bisa menulis fungsi yang dapat digunakan kembali tanpa mengorbankan kinerja? Saya berulang kali menghadapi situasi di mana saya ingin menulis fungsi dengan cara yang membuatnya dapat digunakan kembali (misalnya tidak membuat asumsi tentang lingkungan data) tetapi mengetahui keseluruhan aliran program saya tahu itu bukan yang paling efisien metode. …

8 optimization  theory  code-reuse  vba