Results 1 - 10
of
350
Model-Based Software Development and Usability Testing
"... Abstract. In this paper we discuss a user-centered approach of developing software, which is based on models and allows bridging the gap between software engineering and usability engineering. The development process consists of a sequence of interactive model transformations. It is demonstrated how ..."
Abstract
- Add to MetaCart
how first prototypes of interactive systems, which are animated models, can help to capture requirements and how the models evolve to the final interactive system. This model-based approach provides excellent opportunities for testing the usability of software based on the tasks users have to perform
ABSTRACT MVT — A system for visual testing of software
"... Software development is prone to time-consuming and expensive errors. Finding and correcting errors in a program (debugging) is usually done by executing the program with different inputs and examining its intermediate and/or final results (testing). The tools that are currently available for debugg ..."
Abstract
- Add to MetaCart
for debugging (debuggers) do not fully make use of several potentially useful visualisation and interaction techniques. This article presents a prototype debugging tool (MVT — Matrix Visual Tester) based on a new interactive graphical software testing methodology called visual testing. A programmer can use a
ABSTRACT
"... This paper discusses the design and implementation of a unique software tool, the enhanced restricted focus viewer (ERFV), for tracking the visual attention of users in hyperlinked environments such as web sites. The software collects data such as mouse clicks along with the path of the user’s visua ..."
Abstract
- Add to MetaCart
This paper discusses the design and implementation of a unique software tool, the enhanced restricted focus viewer (ERFV), for tracking the visual attention of users in hyperlinked environments such as web sites. The software collects data such as mouse clicks along with the path of the user’s
Creating and Visualizing Test Data from Programming Exercises
, 2006
"... Abstract. Automatic assessment of programming exercises is typically based on testing approach. Most automatic assessment frameworks execute tests and evaluate test results automatically, but the test data generation is not automated. No matter that automatic test data generation techniques and tool ..."
Abstract
-
Cited by 3 (0 self)
- Add to MetaCart
to visualize and how to abstract test data automatically for students? Interesting outcomes of our research are that with minor refinements generalized symbolic execution with lazy initialization (a test data generation algorithm implemented in PathFinder) can be used to construct test data directly from
Automatic extraction of abstract-object-state machines from unit-test executions
- In ICSE ’06: Proc. of the 28th International Conference on Software Engineering
, 2006
"... Some requirement modelling languages such as UML’s statechart diagrams allow developers to specify requirements of state-transition behavior in a visual way. These requirement specifications are useful in many ways, including helping program understanding and specification-based testing. However, th ..."
Abstract
-
Cited by 14 (1 self)
- Add to MetaCart
Some requirement modelling languages such as UML’s statechart diagrams allow developers to specify requirements of state-transition behavior in a visual way. These requirement specifications are useful in many ways, including helping program understanding and specification-based testing. However
Synthesizing Executable Simulations from Structural Models of Component-Based Systems
- In Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling
, 2009
"... Abstract: Experts in robotics systems have developed substantial software tools for simulation, execution, and hardware-in-the-loop testing. Unfortunately, many of these robotics-domain software infrastructures pose challenges for a robotics expert to use, unless that robotics expert is also familia ..."
Abstract
-
Cited by 3 (1 self)
- Add to MetaCart
Abstract: Experts in robotics systems have developed substantial software tools for simulation, execution, and hardware-in-the-loop testing. Unfortunately, many of these robotics-domain software infrastructures pose challenges for a robotics expert to use, unless that robotics expert is also
ABSTRACT Visualizing Software Architecture with Off-The-Shelf Components
"... Software Architecture provides a high-level model of the components and connectors that comprise a complex system. Visualizing both its static description and dynamic execution facilitates understanding of its key properties by software architects. Off-the-shelf components provide a rich foundation ..."
Abstract
- Add to MetaCart
Software Architecture provides a high-level model of the components and connectors that comprise a complex system. Visualizing both its static description and dynamic execution facilitates understanding of its key properties by software architects. Off-the-shelf components provide a rich foundation
Visualizing Multiple Program Executions to Assist Behaviour Verification
"... Abstract—Visualization techniques have been widely used in representing software artifacts. They play a central role in conveying program information to software developers. While numerous tools have been developed to visualize information such as static software architectures, dynamic program behav ..."
Abstract
-
Cited by 2 (0 self)
- Add to MetaCart
Abstract—Visualization techniques have been widely used in representing software artifacts. They play a central role in conveying program information to software developers. While numerous tools have been developed to visualize information such as static software architectures, dynamic program
Verifying Execution Traces
"... Runtime Verification (RV) [8,10] is an approach to modeling and verification of software systems, which focuses on analyzing program executions. An execution can abstractly be considered as represented by an execution trace, a sequence of events. RV is, amongst other things, concerned with checking ..."
Abstract
- Add to MetaCart
Runtime Verification (RV) [8,10] is an approach to modeling and verification of software systems, which focuses on analyzing program executions. An execution can abstractly be considered as represented by an execution trace, a sequence of events. RV is, amongst other things, concerned with checking
Contemplating Navel: Improving Software Error Reporting by Classifying Program Behavior Abstract
"... End-user software problems take too much time to resolve, in part due to unclear or ambiguous error messages. The quality of error messages embedded within software is unlikely to improve given the variety of contexts in which errors can occur, the programming complexity of sophisticated error repor ..."
Abstract
- Add to MetaCart
particular execution is an instance of a known error. As a program executes, Navel builds a compact abstraction of the program’s behavior (a behavior profile) using control flow information. Navel classifies behavior profiles using a machine learning model trained on known errors by vendors, support
Results 1 - 10
of
350