소프트웨어 테스트 단계에서 발생하는 비용은 소프트웨어 개발비의 50\% 이상을 상회하고 있으며 또한 에러를 수정하는 데 소요되는 비용은 다른 어느단계에서 보다 많다. 보다 좋은 소프트웨어 테스트를 위한 computer-aided tool의 개발은 소프트웨어 테스트의 비용과 노력을 감소시켜 준다. 이 논문에서는 ISLDM/SEM으로 인-과 그래프 specification language가 정의되어 있으며, specification의 불완전성, 모호성, 모순성을 찾을 수 있는 checking rules이 기술되어 있으며, 자동적으로 specification을 limited ...
소프트웨어 테스트 단계에서 발생하는 비용은 소프트웨어 개발비의 50\% 이상을 상회하고 있으며 또한 에러를 수정하는 데 소요되는 비용은 다른 어느단계에서 보다 많다. 보다 좋은 소프트웨어 테스트를 위한 computer-aided tool의 개발은 소프트웨어 테스트의 비용과 노력을 감소시켜 준다. 이 논문에서는 ISLDM/SEM으로 인-과 그래프 specification language가 정의되어 있으며, specification의 불완전성, 모호성, 모순성을 찾을 수 있는 checking rules이 기술되어 있으며, 자동적으로 specification을 limited entry decision table로 바꿔주는 방법을 설명하였으며 예제를 통하여 검증되었다. 이 자동화 도구는 테스트 입력자료를 설계하는데 도움을 주며, 프로그램의 생산성을 높이는데 기여하며, 자연언어로 시스템 specification을 기술하는 것보다 그래프를 이용함으로서 이해를 쉽게 할 수 있도록 도와준다.
소프트웨어 테스트 단계에서 발생하는 비용은 소프트웨어 개발비의 50\% 이상을 상회하고 있으며 또한 에러를 수정하는 데 소요되는 비용은 다른 어느단계에서 보다 많다. 보다 좋은 소프트웨어 테스트를 위한 computer-aided tool의 개발은 소프트웨어 테스트의 비용과 노력을 감소시켜 준다. 이 논문에서는 ISLDM/SEM으로 인-과 그래프 specification language가 정의되어 있으며, specification의 불완전성, 모호성, 모순성을 찾을 수 있는 checking rules이 기술되어 있으며, 자동적으로 specification을 limited entry decision table로 바꿔주는 방법을 설명하였으며 예제를 통하여 검증되었다. 이 자동화 도구는 테스트 입력자료를 설계하는데 도움을 주며, 프로그램의 생산성을 높이는데 기여하며, 자연언어로 시스템 specification을 기술하는 것보다 그래프를 이용함으로서 이해를 쉽게 할 수 있도록 도와준다.
The software testing cost in the software lifecycle is greater than 50\% of total programming cost, and error fixing cost in this phase is greater than any other phase of software lifecycle. The development of computer-aided tools for better software testing reduces the effort and cost of software t...
The software testing cost in the software lifecycle is greater than 50\% of total programming cost, and error fixing cost in this phase is greater than any other phase of software lifecycle. The development of computer-aided tools for better software testing reduces the effort and cost of software testing. In this paper, cause-effect graph specification language was implemented by ISLDM/SEM, and checking rules for detecting ambiguity, incompleteness, and inconsistency in specifications were defined. Also, the specification could be used to automatically convert to the limited entry decision table. This automated tool contributes to test cases design and programming productivities, and this formal language helps better understanding than the natural language specification.
The software testing cost in the software lifecycle is greater than 50\% of total programming cost, and error fixing cost in this phase is greater than any other phase of software lifecycle. The development of computer-aided tools for better software testing reduces the effort and cost of software testing. In this paper, cause-effect graph specification language was implemented by ISLDM/SEM, and checking rules for detecting ambiguity, incompleteness, and inconsistency in specifications were defined. Also, the specification could be used to automatically convert to the limited entry decision table. This automated tool contributes to test cases design and programming productivities, and this formal language helps better understanding than the natural language specification.
주제어
#Graph theory Automation 그래프 소프트웨어 공학 자동화 Software engineering
학위논문 정보
저자
Yoon, Sang-Woo
학위수여기관
한국과학기술원
학위구분
국내석사
학과
경영과학과
발행연도
1987
총페이지
[iii], 67, [1] p.
키워드
Graph theory Automation 그래프 소프트웨어 공학 자동화 Software engineering
AI-Helper
※ AI-Helper는 부적절한 답변을 할 수 있습니다.