정형 명세를 이용해서
버그를 잡아 내는 리눅스 툴들이 있나요
혹시 아시고 계신분 답변부탁드립니다. :D
정형 명세를 이용해서 버그를 찾아내는 툴이라~~ 솔직히 어떤 걸 원하신건지 감이 안잡히네요... 그냥 버그를 찾아내는 툴이라고 한다면 몇가지 테스팅 툴이 있고 리눅스로 나와있다고 들었습니다.(원도우 용은 있는데 리눅스 용도 있겠죠??)
그런데 정형 명세를 이용한 버그를 잡아내는 툴은 약간 다른 개념인데~ 정확히 어떤걸 원하시는건지 자세히 알고 싶네요
일반적으로 정형명세자체가 일반적인 개발 방법은 아닙니다. 또한 버그를 찾기위한 목적이 첫번째 목적이 아니기 땜시...^^;; 그리고 정형 검증이라고 해서 버그를 찾아내기 위한 목적으로 만들어진 기술이 있습니다
정확히 어떤 분야에 대한 정보를 원하는 건지알려주시면 제가 아는한 자세히 알려드리겠습니다
정형 명세를 이용해서 버그를 찾아내는 툴이라~~솔직히 어떤 걸 원하신
정형 명세를 이용해서 버그를 찾아내는 툴이라~~
솔직히 어떤 걸 원하신건지 감이 안잡히네요...
그냥 버그를 찾아내는 툴이라고 한다면
몇가지 테스팅 툴이 있고
리눅스로 나와있다고 들었습니다.(원도우 용은 있는데 리눅스 용도 있겠죠??)
그런데 정형 명세를 이용한 버그를 잡아내는 툴은 약간 다른 개념인데~
정확히 어떤걸 원하시는건지 자세히 알고 싶네요
일반적으로
정형명세자체가 일반적인 개발 방법은 아닙니다.
또한 버그를 찾기위한 목적이 첫번째 목적이 아니기 땜시...^^;;
그리고 정형 검증이라고 해서 버그를 찾아내기 위한 목적으로 만들어진 기술이 있습니다
정확히 어떤 분야에 대한 정보를 원하는 건지알려주시면 제가 아는한 자세히 알려드리겠습니다