• Title/Summary/Keyword: Test coverage

Search Result 522, Processing Time 0.026 seconds

VHDL Code Coverage Checker for IP Design and Verification (IP 설계 환경을 위한 VHDL Code Coverage Checker)

  • 김영수;류광기;배영환;조한진
    • Proceedings of the IEEK Conference
    • /
    • 2001.06b
    • /
    • pp.325-328
    • /
    • 2001
  • This paper describes a VHDL code coverage checker for If design and verification. Applying the verification coverage to IP design is a methodology rapidly gaining popularity. This enables the designers to improve the IP design quality and reduces the time-to-market by providing the Quantitative measure of simulation completeness and test benches. To support this methodology, a VHDL code coverage model was defined and the measurement tool was developed.

  • PDF

Validation of COMS Ka band Antenna Beam Coverage (천리안위성 Ka대역 안테나 빔 커버리지 검증)

  • Jo, Jin-Ho;You, Moon-Hee;Lee, Seong-Pal;Kim, Jae-Hoon
    • Journal of Satellite, Information and Communications
    • /
    • v.7 no.1
    • /
    • pp.86-91
    • /
    • 2012
  • This paper described validation results of COMS Ka band antennas beam coverages which were developed by ETRI. After satellite launch, In Orbit Test(IOT) activities are stat to check spacecraft and payloads are still in healthy condition after launch. During IOT phase, ETRI measured radiation patterns of COMS Ka band antennas and compare with ground test(CATR) results. The antenna patterns similarity between IOT results and CATR results show that COMS Ka band antenna withstand launch vibration and in the good healthy condition. After IOT, ETRI performed field test for beam coverage measurements with vehicle to check if Ka band beam coverage are formed well as designed. For the beam coverage measurement, 17 points were selected over the Korean peninsula. The field measurement data were very similar with CATR data and this confirms that beam coverage are formed well over the Korean peninsula as expected.

Transformation Method for a State Machine to Increase Code Coverage (코드 커버리지를 높이기 위한 상태 머신 변환 방법)

  • Yoon, YoungDong;Choi, HyunJae;Chae, HeungSeok
    • Journal of KIISE
    • /
    • v.43 no.9
    • /
    • pp.953-962
    • /
    • 2016
  • Model-based testing is a technique for performing the test by using a model that represents the behavior of the system as a system specification. Industrial domains such as automotive, military/aerospace, medical, railway and nuclear power generation require model-based testing and code coverage-based testing to improve the quality of software. Despite the fact that both model-based testing and code coverage-based testing are required, difficulty in achieving a high coverage using model-based testing caused by the abstraction level difference between the test model and the source code, results in the need for performing model-based testing separately. In this study, to overcome the limitations of the existing model-based testing, we proposed the state machine transformation method to effectively improve the code coverage using the protocol state machine, one of the typical modeling methods is used as the test model in model-based testing, as the test model. In addition, we performed a case study of both systems and analyzed the effectiveness of the proposed method.

Dynamic Protocol Conformance Test (동적 프로토콜 적합성 시험)

  • Park, Jin-Hee;Kim, Myung-Chul;Choe, Ji-Young;Yoo, Sang-Jo
    • Journal of KIISE:Information Networking
    • /
    • v.28 no.3
    • /
    • pp.355-368
    • /
    • 2001
  • Protocol conformance test is used to promote interoperability of protocol implementatons developed by venders. Non-interopcrability between protocol implementations may be caused by ambiguity and/or misintellJretation of the protocol specifications by vendors. Conventional method on protocol conformance test has been standardized by IS0;IEC JTCI with the purpose of whether a protocol implementation conforms to its specification. However, sometimes the conventional method gives wrong test results because the test is based on static test sequences. This problem is caused by the fact as some failed transitions of a protocol FSM included in test sequences have an effect on the test result of transitions to be tested. In this paper, a new approach called Dynamic Conformance Test Method (DCTM) is proposed to solve this problem. DCTM dynamically selects test sequence durng testing depending on an information showing an alternative path without failed tranistions. As a result, the fault coverage of the DCTM is better than that of the conventional test method. In order to demonstrate the fault coverage of DCTM compared to that of the conventional method. a testing tool is implemented and appied to the TCP protocol.

  • PDF

A Study on Test Coverage for Software Reliability Evaluation (소프트웨어 신뢰도 평가를 위한 테스트 적용범위에 대한 연구)

  • Park, Jung-Yang;Park, Jae-Heung;Park, Su-Jin
    • The KIPS Transactions:PartD
    • /
    • v.8D no.4
    • /
    • pp.409-420
    • /
    • 2001
  • Recently a new approach to evaluation of software reliability, one of important attributes of a software system, during testing has been devised. This approach utilizes test coverage information. The coverage-based software reliability growth models recently appeared in the literature are first reviewed and classified into two classes. Inherent problems of each of the two classes are then discussed and their validity is empirically investigated. In addition, a new mean value function in coverage and a heuristic procedure for selecting the best coverage are proposed.

  • PDF

Analysis of factors affecting vegetation cover for stabilization of granite weathered soil forest road cut slopes

  • Seong-Man Kim;Sung-Min Choi;Ye Jun Choe;Yun-Jin Shim;Joon-Woo Lee
    • Korean Journal of Agricultural Science
    • /
    • v.49 no.4
    • /
    • pp.809-819
    • /
    • 2022
  • This study was conducted to improve the stability of cut slopes of forest roads in granitic weathered soil areas. The study area is a national forest road (road length 28.48 km) in Pyeongchang-gun, Gangwon-do. After data collection, a statistical analysis was performed using IBM SPSS (Ver. 26.0). First, the correlation analysis showed that structure, slope position, soil erosion, slope, and aspect (N, S) were correlated with vegetation coverage (p < 0.05). Elapsed years, slope distance, and aspect (E, W) were found to have no correlation with vegetation coverage. (p > 0.05) Second, one-way ANOVA and Kruskal-Wallis test results showed that vegetation coverage was worse when the slope was located at the top or the middle of the slope than at the bottom of the slope. In addition, the site with sheathing and gabions showed good vegetation coverage when compared with the site without structures. In the case of soil erosion, areas with severe damage and moderate damage showed worse vegetation coverage. Therefore, it is necessary to strengthen the slope angle of the cut soil of the granitic weathered soil area from 1 : 0.5 - 1.2 to 1 : 0.8 - 1.5. In addition, structures such as sheathing and gabions should be installed on granitic weathered land.

Reducing Test Power and Improving Test Effectiveness for Logic BIST

  • Wang, Weizheng;Cai, Shuo;Xiang, Lingyun
    • JSTS:Journal of Semiconductor Technology and Science
    • /
    • v.14 no.5
    • /
    • pp.640-648
    • /
    • 2014
  • Excessive power dissipation is one of the major issues in the testing of VLSI systems. Many techniques are proposed for scan test, but there are not so many for logic BIST because of its unmanageable randomness. This paper presents a novel low switching activity BIST scheme that reduces toggle frequency in the majority of scan chain inputs while allowing a small portion of scan chains to receive pseudorandom test data. Reducing toggle frequency in the scan chain inputs can reduce test power but may result in fault coverage loss. Allowing a small portion of scan chains to receive pseudorandom test data can make better uniform distribution of 0 and 1 and improve test effectiveness significantly. When compared with existing methods, experimental results on larger benchmark circuits of ISCAS'89 show that the proposed strategy can not only reduce significantly switching activity in circuits under test but also achieve high fault coverage.

Influence of gingival biotype on the amount of root coverage following the connective tissue graft (치은의 biotype이 결합조직이식 후 치근피개도에 미치는 영향)

  • Joo, Ji-Young;Lee, Ju-Youn;Kim, Sung-Jo;Choi, Jeom-Il
    • Journal of Periodontal and Implant Science
    • /
    • v.39 no.2
    • /
    • pp.111-118
    • /
    • 2009
  • Purpose: The integrity of interproximal hard/soft tissue has been widely accepted as the key determinant for success or degree of root coverage following the connective tissue graft. However, we reason that the gingival biotype of an individual, defined as the distance from the interproximal papilla to gingiva margin, may be the key determinant that influence the extent of root coverage regardless of traditional classification of gingival recession. Hence, the present study was performed with an aim to verify that individual gingival scalloping pattern inherent from biotype influence the level of gingival margin following the connective tissue graft for root coverage. Methods: Test group consisted of 43 single-rooted teeth from 21 patients (5 male and 16 female patients, mean age: 36.6 years) with varying degrees of gingival recession requiring connective tissue graft; 20 teeth of Miller class I and 23 teeth of Miller class III gingival recession, respectively. The control group consisted of contralateral teeth which did not demonstrate apparent gingival recession, and thus not requiring root coverage. For a biotype determination, an imaginary line connecting two adjacent papillae of a test tooth was drawn. The distance from this line to gingival margin at mid-buccal point and this distance (P-M distance) was designated as "gingival biotype" for a given individual. The distance was measured at baseline and 3 to 6 months examinations postoperatively both in test and control groups. The differences in the distance between Miller class I and III were subject to statistical analysis by using Student.s t-test while those between the test and control groups within a given patient were by using paired t-test. Results: The P-M distance at 3 to 6 months postoperatively was not significantly different between Miller class I and Miller class III. It was not significantly different between the test and control group in a given patient, either, both in Miller class I and III. Conclusions: The amount of root coverage following the connective tissue graft was not dependent on Miller's classification, but rather was dependent on P-M distance, strongly implying that the gingival biotype of a given patient may play a critical impact on the level of gingival margin following connective tissue graft.

Improving Code Coverage for the FPGA Based Nuclear Power Plant Controller (FPGA기반 원전용 제어기 코드커버리지 개선)

  • Heo, Hyung-Suk;Oh, Seungrohk;Kim, Kyuchull
    • Journal of IKEEE
    • /
    • v.18 no.3
    • /
    • pp.305-312
    • /
    • 2014
  • IIt takes a lot of time and needs the workloads to verify the RTL code used in complex system like a nuclear control system which is required high level reliability using simple testbench. UVM has a layered testbench architecture and it is easy to modify the testbench to improve the code coverage. A test vector can be easily constructed in the UVM, since a constrained random test vector can be used even though the construction of testbench using UVM. We showed that the UVM testbench is easier than the verilog testbench for the analysis and improvement of code coverage.

A Proposal for Protocol Conformance Testing Method using Idle Virtual Channel (유휴 가상 채널을 이용한 ATM프로토콜 적합성 시험 방법 제안)

  • Hong, Beom-Kee;Jung, Yoon-Hee;Oh, Chang-Seok;Lee, Joon-Won
    • The Transactions of the Korea Information Processing Society
    • /
    • v.4 no.11
    • /
    • pp.2832-2839
    • /
    • 1997
  • In this paper, a testing architecture and procedure that an idle ATM virtual channel can be utilized for TCP channel is proposed. Four kinds or methodologies for protocol conformance testing have been standardized in ISO. Remote testing method used popularly have some disadvantages that developer must operate system manually in case of System Under Test (SUT) active testing and we cannot control and observe Implementation Under Test (IUT) often. It is proper to adopt distribute testing method than remote test in order to maximize test coverage and optimize fault coverage for conformance testing in ATM systems, and it is required that TCP channel is prepared for distribute testing method. The proposed architecture can adopt distributed testing method without extra physical channel for testing control. Also we can maximize the test coverage and implement the automation of testing without intervention of operator sustaining normal operation of ATM equipment.

  • PDF