2 resultados para Formal Methods. Component-Based Development. Competition. Model Checking
em DigitalCommons@University of Nebraska - Lincoln
Resumo:
One problem with using component-based software development approach is that once software modules are reused over generations of products, they form legacy structures that can be challenging to understand, making validating these systems difficult. Therefore, tools and methodologies that enable engineers to see interactions of these software modules will enhance their ability to make these software systems more dependable. To address this need, we propose SimSight, a framework to capture dynamic call graphs in Simics, a widely adopted commercial full-system simulator. Simics is a software system that simulates complete computer systems. Thus, it performs nearly identical tasks to a real system but at a much lower speed while providing greater execution observability. We have implemented SimSight to generate dynamic call graphs of statically and dynamically linked functions in x86/Linux environment. A case study illustrates how we can use SimSight to identify sources of software errors. We then evaluate its performance using 12 integer programs from SPEC CPU2006 benchmark suite.
Resumo:
The purpose of this study was to investigate the effectiveness of implementing the Self-Regulated Strategy Development (SRSD) model of instruction (Graham & Harris, 2005; Harris & Graham, 1996) on the writing skills and writing self-regulation, attitudes, self-efficacy, and knowledge of 6 first grade students. A multiple-baseline design across participants with multiple probes (Kazdin, 2010) was used to test the effectiveness of the SRSD instructional intervention. Each participant was taught an SRSD story writing strategy as well as self-regulation strategies. All students wrote stories in response to picture prompts during the baseline, instruction, independent performance, and maintenance phases. Stories were assessed for essential story components, length, and overall quality. All participants also completed a writing attitude scale, a writing self-efficacy scale, and participated in brief interviews during the baseline and independent performance phases. Results indicated that SRSD can be beneficial for average first grade writers. Participants wrote stories that contained more essential components, were longer, and of better quality after SRSD instruction. Participants also showed some improvement in writing self-efficacy from pre- to post-instruction. All of the students maintained positive writing attitudes throughout the study.