• 한국신뢰성학회지:신뢰성응용연구
• /
• 제9권2호
• /
• pp.107-119
• /
• 2009

Reliability tests should be designed to verify whether reliability requirements are satisfied or not effectively and efficiently. The portion of reliability requirements that a reliability test scheme composed of different types of tests can cover is defined as test coverage in software engineering. For the cases of hardwares, to be effective, a reliability test scheme should enhance the test coverage. This study is to develop an evaluation method of test coverage for a reliability test scheme proposed for new products. Case studies are also given.

• 동아시아식생활학회지
• /
• 제12권2호
• /
• pp.173-186
• /
• 2002

Red pepper have affected traditional cuisines through various ways since they were first introduced in Korea over 400 years. But we on easily determine that red pepper powder and red pepper paste were not used daily dishes until 1940 as we look into traditional cookbooks. Chinese pepper and black pepper were used for hot spices before red pepper was introduced in Korea. It is estimated that red pepper was introduced during the last of 1500s the Japanese invasion of Chosun dynasty, but it was first used to make Sunchang red pepper paste in $\boxDr$Sumunsasul(수문사설)$\boxUl$(1740), and to make Kimchi in $\boxDr$Jeungbo Sanlimkungje(증보 산림경제)$\boxUl$(1766), and it became a general spice for vegetables in the middle of the 1800s. Pepper is mostly used to make Kochujang(red pepper paste), Kimchi, Jutkal(salted flesh) and Jangaji(salited very.) etc as fermentable cuisines. The attribute of using pepper was developed fur fermentable spices, and to give spicy flavor to cuisines. The types of peppers using traditional cuisines are various such as unripened pepper, red pepper, red pepper powder, red pepper paste, and pepper leaves. Traditional dishes with vegetables mostly use red peppers. Fish dishes(soup, stew, bracing, roasting, steaming) also use red peppers. Soup '||'&'||' stew with meat item partly use red pepper but steaming, roasting dishes with meat item not use pepper. roasted pork, pork ribs, steamed chicken of spicy meat cuisines in the 1930s did not use pepper. Kochujangbokkum(고추장볶음) is one of the oldest cuisines for using red pepper paste in the 1800s. Sliced red peppers and red pepper powder are mostly used for garnishing of cuisines.

• 한국군사과학기술학회지
• /
• 제20권5호
• /
• pp.688-699
• /
• 2017

Model-based test, a well-known method of the black box tests, is consisted of the following four steps : model construction using requirement, test case generation from the model, execution of a SUT (software under test) and detection failures. Among models constructed in the first step, state-based models such as UML standard State Machine are commonly used to design event-based embedded systems (e.g., weapon control systems). To generate test cases from state-based models in the next step, coverage-based techniques such as state coverage and transition coverage are used. Round-trip path coverage technique using W-Method, one of coverage-based techniques, is known as more effective method than others. However it has a limitation of low failure observability because the W-Method technique terminates a testing process when arrivals meet states already visited and it is hard to decide the current state is completely same or not with the previous in the case like the GUI environment. In other words, there can exist unrevealed faults. Therefore, this study suggests a Extended W-Method. The Extended W-Method extends the round-trip path to a final state to improve failure observability. In this paper, we compare effectiveness and efficiency with requirement-item-based technique, W-Method and our Extended W-Method. The result shows that our technique can detect five and two more faults respectively and has the performance of 28 % and 42 % higher failure detection probability than the requirement-item-based and W-Method techniques, respectively.

• 정보기술과데이타베이스저널
• /
• 제2권2호
• /
• pp.25-34
• /
• 1995

본 논문에서는 멀티미디어 처리를 제공하는 객체지향 데이타베이스 시스템에 관한 기능 시험도구의 설계 전략에 대하여 설명한다. 시험도구의 설계시 시험 데이터베이스의 스키마는 추상화, 상속, 집단화(aggregation) 등의 객체 지향적인 성질을 시험할 수 있도록 하며, 포함되는 인스턴스는 사용자의 이해를 돕기 위해 의미있는 값으로 인위적으로 구성한다. 기능 시험항목은 경계값 분석, 동치 분할 등의 기법을 이용한 블랙박스 시험방법으로 작성되며, 각 시험항목은 서로 독립적으로 구현되어 실행 순서에 영향받지 않도록 한다. 시험항목이 수행된 후에는 성공적인 수행, 제외된 기능, 올바르지 않은 수행 등의 시험결과에 대한 목록이 출력되도록 한다. 이러한 설계 전략에 의하여 UniSQL/X를 위한 기능 시험도구를 C++로 개발하였다. 시험도구의 수행은 스키마의 생성, 인스턴스 삽입, 시험프로그램의 컴파일과 링크, 시험프로그램 실행 및 결과확인, 시험 데이타베이스 제거 순으로 이루어진다. 본 시험도구는 UniSQL/C++의 멤버 함수에 대응하는 90여개의 시험프로그램을 이용하여 140여개의 시험항목을 제공한다.