• Physical Therapy Korea
• /
• v.28 no.3
• /
• pp.186-193
• /
• 2021

Background: While the formal test has been used to provide a quantitative measurement of core stability, studies have reported inconsistent results regarding its test-retest and intraobserver reliabilities. Furthermore, the validity of the formal test has never been established. Objects: This study aimed to establish the concurrent validity and test-retest reliability of the formal test. Methods: Twenty-two young adults with and without core instability (23.1 ± 2.0 years) were recruited. Concurrent validity was determined by comparing the muscle thickness changes of the external oblique, internal oblique, and transverse abdominal muscle to changes in core stability pressure during the formal test using ultrasound (US) imaging and pressure biofeedback, respectively. For the test-retest reliability, muscle thickness and pressure changes were repeatedly measured approximately 24 hours apart. Electromyography (EMG) was used to monitor trunk muscle activity during the formal test. Results: The Pearson's correlation analysis showed an excellent correlation between transverse abdominal thickness and pressure biofeedback unit (PBU) pressure as well as internal oblique thickness and PBU pressure, ranging from r = 0.856-0.980, p < 0.05. The test-retest reliability was good, intraclass correlation coefficient (ICC1,2) = 0.876 for the core stability pressure measure and ICC1,2 = 0.939 to 0.989 for the abdominal muscle thickness measure. Conclusion: Our results provide clinical evidence that the formal test is valid and reliable, when concurrently incorporated into EMG and US measurements.

• The KIPS Transactions:PartD
• /
• v.11D no.4
• /
• pp.855-864
• /
• 2004

Programmers can be got the test-related information for implementation without interference of source code complexity by use of the formal specification. Especially the external inputs and system responses can be represented precisely by formal specification in testing phase of web-based software systems. This paper suggests a method of extracting test cases by use of formal specification. Object-Z formal specification represents various test-related information for complex functions of web-based applications. State Transition Models could be built from the formal specification so that test scenarios were extracted from STDs from the highest level to detail levels. The target system for verification of this method is a web-based banking system which is necessary to be secured and critical on errors. This method would be an important factor in automatizing test procedure for web-based application software systems combining the user-base test technique.

• Journal of The Korean Association For Science Education
• /
• v.6 no.2
• /
• pp.9-13
• /
• 1986

This study was designed to investigate students' preferences of instructional modes in CAI which have concrete of formal operational level instructions. Thirty five students of the high school in America were assessed using Longeot test and were given CAI material on the Apple II e computer. The results of this study showed that students who were only capable of functioning at the concrete level of operations frequently preferred to attempt formal operational level instructions for which they were not capable of success. Further, formal operational students frequently preferred concrete operational instructions. There was also no significant difference in the selection of formal operational level of instructions between concrete and formal operational students. There was also no significant correlation between the number of selected formal operational level instructions and the Longeot test score. These results suggested the student's preference to a cognitive developmental level of instruction in CAI was independent of his or her cognitive developmental level.

• Journal of Information Processing Systems
• /
• v.6 no.2
• /
• pp.197-208
• /
• 2010

Test scenarios can be derived based on some system models for requirements validation purposes. Model-based test suite reduction aims to provide a smaller set of test scenarios which can preserve the original test coverage with respect to some testing criteria. We are proposing to apply Formal Concept Analysis (FCA) in analyzing the association between a set of test scenarios and a set of transitions specified in a state machine model. By utilizing the properties of concept lattice, we are able to determine incrementally a minimal set of test scenarios with adequate test coverage.

• Journal of the Korean Society of Clothing and Textiles
• /
• v.20 no.3
• /
• pp.481-492
• /
• 1996

The purposes of the present study were (1) to examine the differences between the experienced group in buying foreign-brand formal wear and the non-experienced group in terms of demographic characteristics, clothing expenditures, and purchase behaviors of formal wear, and (2) to investigate the purchase behaviors of and the extent of post-purchase satisfaction to foreign-brand formal wears for purchase group of foreign-brand formal wear. By using questionnaire consisting of 20 questions, data were collected from 754 female consumers in age range of 20~59. Chi-square analysis and t-test were used for data analysis. Significant differences were found between the groups in educational levels, monthly clothing expenditures, monthly household income, the number of formal wear purchased per season, store patronage, items often purchased, perceived proper price per item, and criteria for selecting stores and evaluating products. The group with experiences in purchasing foreign-brand formal wear showed high satisfaction levels with the quality of foreign-brand formal wears. When buying foreign-brand formal wears, the experienced group considered styles and color as important evaluative criteria, and favored stores having sales with wide assortmetsn.

• 제어로봇시스템학회:학술대회논문집
• /
• 2004.08a
• /
• pp.358-362
• /
• 2004

Verification and testing are complementary techniques that are used to increase the level of confidence in the correct functioning of communication systems as prescribed by their specifications. This paper presents an experience of model checking for a formal railway signaling protocol specified in LTS (Labeled Transition System). This formal approach checks deadlock, livelock and reachability for the state and action to verify whether properties expressed in modal logic are true on specifications. We also propose a formal method for semi-automated test case generation for a railway signaling protocol described in I/O FSM (Input/Output Finite State Machine). This enables the generation of more complete and consistent test sequence for conformance testing. The above functions are implemented by C++ language and included within RSPVTE (Railway Signaling Protocol Verification and Testing Environment).

• The Journal of Korean Association of Computer Education
• /
• v.7 no.6
• /
• pp.129-139
• /
• 2004

In developing highly reliable systems such as C4I systems formal methods provide both developers and clients with assurance that they are in the right development processes. This paper investigates into techniques for formal specifications and tests for software components where rigorous verification is required. In particular, the paper suggests decomposition techniques for state-model based specifications using the weakest precondition, and suggests test methods for the specification by generating black box test-cases.

• Journal of the Korean Home Economics Association
• /
• v.43 no.4 s.206
• /
• pp.97-110
• /
• 2005

The need for children's formal wear is growing as parents take their children into formal occasions more often than before. Yet there are some problems to be solved in order to generalize about children's formal wear such as high price and the development of patterns for better fit and design. Mothers of boys were surveyed to find out the needs, complaints, and required improvements of boy's formal wear. Pattern designers of children's formal wear brands were interviewed to determine the size specifications, pattern drafting methods and design features of each brand. Based on these results, several pattern drafting methods were selected. Jackets and pants for 9-year-olds were made by each pattern drafting method using the us standard size. They were compared through wearing test to improve the fit. As a result, pattern drafting methods for children's tailored suits and two formal jackets were suggested.

• Journal of The Korean Association For Science Education
• /
• v.7 no.1
• /
• pp.19-32
• /
• 1987

The primary purpose of this study was to assess understanding of concrete and formal operational science content by concrete and formal operational students in secondary school physical science classes. To carry out this study subjects were selected from junior high schools of over 2500 students, and they were identified as concrete, transitional, or formal operational using GALT(Group Assessment of Logical Thinking) developed by Roadrangka, Yeany and Padilla(1983). Instructional objectives were extracted from the science content taught during the second term of the academic year in the 7th, 8th and 9th grade, and they were classified as concrete or formal operational. Written test involving those objectives were constructed and administered. The results of this study suggested that formal operational thought brought deeper understanding to concrete science content as well as formal science content. Differential effects by sex on understanding of both concrete and formal science content were contradictory through the grade levels. Results of multiple comparison tests suggested that students categorized as formal operational demonstrated no better understanding of concrete science content than those categorized as transitional. However, they demonstrated better understanding of formal science content.

• Journal of the Korean Society for Railway
• /
• v.7 no.2
• /
• pp.114-119
• /
• 2004

According to the computerization of railway signalling systems. the communication protocol for interface between these systems are required. Therefore the new communication protocol for railway signaling system is required. Generally, there are two verification method for new designed protocol in the industrial and academic fields. One is the laboratory testing method which is very popular and general technique. In our research the comparison between existing and new designed protocol for signaling is described and the verification test results are also represented. From these laboratory test, we are verified the conformance of new designed protocol. Another method is verified by formal method. The format verification method is widely used at safety-critical system design but this approach is nor popular at verification communication protocol. However it is very important to verify the safety of new designed protocol for railway signaling system because signaling systems are very safety-critical systems. So, the methodology for formal verification of designed protocol is also reviews in this paper.