«theory» 태그된 질문

Dijkstra의 구조적 프로그래밍에 대한 노트에서 그는 컴퓨터 프로그램의 추상 엔티티로서의 가능성에 대해 많이 이야기합니다. 결과적으로 그는 테스트가 충분하지 않은 방법을 말합니다. 예를 들어, 그는 x와 y의 전체 범위에서 x와 y의 큰 값에 대해 곱셈 함수 f (x, y) = x * y를 테스트하는 것이 불가능하다는 사실을 지적합니다. 내 질문은 그의 …

22 theory  cpu 

이것은 실제로 더 많은 것을 알고 싶어하는 파이썬 초보자의 이론적 인 질문입니다. 파이썬에서 블록 초기 문장 다음에 콜론을 잊어 버렸습니다. 이것이 내가 의미하는 바입니다. for <variable> in <sequence>: if <blah blah>: 내 생각은 내가 잊어 버린 한 가지 이유는 그것들이 사실상 암시 적이라는 것입니다. 즉 콜론인지 아닌지에 대한 진술은 그 …

19 python  syntax  theory 

Turing 머신 (및 Von Neuman 머신)은 자체 정지 문제를 해결할 수 없다는 사실을 받아들이기를 거부하는 동료가 있습니다. 충분한 시간과 돈으로 무엇이든 할 수 있습니다. 그는 또한 이론적 문제를 싫어한다고 주장했다. 우리 분야에서는 그러한 질문에 절대 빠지지 않을 것입니다. 우리는 이론 과학자가 아닌 응용 프로그램 개발자입니다. 그에게 이것을 확신시키는 데 사용할 …

17 computer-science  theory  business-logic 

긍정적 인 테스트에서 기능을 확인하고 작동하는지 확인하는 것은 어떻습니까? 시간 낭비라고 말해야합니까? 이 인용문 뒤에 어떤 개념이 있습니까? 실패한 테스트, 즉 오류를 찾지 못하는 테스트는 시간 낭비입니다. 웹 엔지니어링 : Cem Kaner를 인용 하는 웹 애플리케이션의 체계적인 개발 원칙 .

15 testing  theory 

왜 힙 정렬 이 내부 정렬 알고리즘으로 간주되는지 알 수 없습니다 . I는 평균 추가 로 배열 요소로 채워 데이터 구조를 정렬 힙 즉, 최소 값의 추출 및 정렬하는 과정을 돕기 위해 사용된다. 여기에 inplace의 정의가 잘못 이해되어 있습니까? 그러나 삽입 정렬 예를 들어 삽입 알고리즘이 제자리에 있다는 것, 즉 …

15 algorithms  computer-science  theory  sorting 

내 질문은 매우 과학적으로 보일 수 있지만 일반적인 문제라고 생각하며 숙련 된 개발자와 프로그래머는 제목에서 언급 한 문제를 피하기 위해 조언을 줄 것입니다. Btw., 아래에 설명하는 것은 iOS 프로젝트에서 적극적으로 해결하려고하는 실제 문제이며 모든 비용을 피하고 싶습니다. 유한 상태 머신으로 나는 이것을 의미합니다.> 몇 개의 버튼이있는 UI, 해당 UI와 관련된 …

14 programming-practices  theory  finite-state-machine 

나는 코드에 버그가 없다고 말하는 많은 기사를 읽었으며 이러한 이론에 대해 이야기하고 있습니다. 정지 문제 괴델의 불완전 성 정리 쌀 정리 실제로 라이스 정리는 정지 문제에 대한 함의로 보이며 정지 문제는 고델의 불완전 정리와 밀접한 관련이 있습니다. 이것은 모든 프로그램이 의도하지 않은 동작을 하나 이상 가질 것이라는 것을 의미합니까? 아니면 …

12 bug  theory 

인터넷 검색 "소프트웨어 테스팅 이론"은 단어의 부드러운 의미에서 이론을 제공하는 것 같습니다. 나는 수학적, 정보 이론적 또는 다른 과학 분야의 의미에서 이론으로 분류 할 수있는 것을 찾을 수 없었습니다. 내가 찾고있는 것은 테스트가 무엇인지, 사용 된 개념, 테스트 케이스가 무엇인지, 테스트 가능성, 테스트 실용성, 테스트 대상 범위, 공식 정의 / …

12 testing  math  theory  formal-methods  information-theory 

작업 현장 예약 프로그램을 만드는 데 IT 업무를 맡은 제조 공장에서 일하고 있습니다 (매우 필요합니다). 다른 경험을 바탕으로 사용 시간을 줄이고 사용 가능한 기본 프레임 워크를 구축 한 다음 기능을 추가하거나이를 기반으로 완전히 구현 된 솔루션을 구축하여 시작하는 것이 좋습니다. 나는 약 1 년 동안 개발자 였으며이 크기의 앱을 처음 …

11 design  theory  methodology 

분기 예측과 컴파일러 최적화의 영향으로 어떤 코드가 우수한 성능을 제공합니까? bRareExceptionPresent는 일반적이지 않은 조건을 나타냅니다. 정상적인 논리 경로가 아닙니다. /* MOST COMMON path must branch around IF clause */ bool SomeFunction(bool bRareExceptionPresent) { // abort before function if(bRareExceptionPresent) { return false; } .. function primary body .. return true; } …

10 optimization  theory 

대학으로 돌아가서 저는 컴퓨터 과학의 법칙 중 하나를 가르치는 교수를 기억합니다. 그는 "더 많은 코드는 더 많은 버그와 같다"고 말하고 이름 (Whatchamacallit의 법칙)을 부여하고 누군가에게 귀속시켰다. 누구든지이 "법"이 어디에서 왔는지, 누가 말했는지 또는 원래의 언어가 무엇인지 알고 있습니까?

10 bug  computer-science  theory 

다음을 수행하는 가장 좋은 방법을 생각하고 있습니다. 데이터베이스에 저장된 작업 목록이 있습니다. 작업에 할당 된 우선 순위가 있습니다. 작업 우선 순위를 변경하여 수행 순서를 다시 정렬 할 수 있습니다. Pivotal Tracker와 매우 비슷한 것을 생각하고 있습니다. 우리가 다음을 가졌다 고 상상해보십시오. 1 Task A 2 Task B 3 Task C …

9 database-design  data-structures  theory 

많은 소스를 기반으로 테스트의 목표가 가능한 많은 버그를 찾는 것이라고 생각하지 않습니다. 우리는 그것이 작동하는지 또는 작동하지 않는지 테스트합니다. 예를 들어 다음은 ISTQB 양식 테스트의 목표입니다. (소프트웨어 제품)이 지정된 요구 사항을 충족하는지 확인 (소프트웨어 제품)이 목적에 적합 함을 증명합니다 (유효하다고 생각합니다) 결함 감지 테스트는 검증, 검증 및 결함 감지라는 데 …

9 testing  theory  verification 

다양한 고급 언어 ( Python , PHP , Javascript 등) 의 몇 가지 어휘 분석기를 살펴 보았으며 모두 정규식을 한 형태 또는 다른 형태로 사용하는 것 같습니다. 정규식이 아마도 이것을 수행하는 가장 좋은 방법이라고 확신하지만 정규 표현식없이 기본적인 어휘를 얻을 수있는 방법이 있는지 궁금합니다. 예, 어떤 형태의 정규 표현식을 사용하지 …

9 theory  regular-expressions  lexer