41 |
Introduction of Automation for the Production of Bilingual, Parallel-Aligned Text
|
|
|
|
In: DTIC (2011)
|
|
BASE
|
|
Show details
|
|
44 |
An OCL-Based approach to derive constraint test cases for database applications
|
|
|
|
Abstract:
The development of database applications in most CASE tools has been insufficient because most of these tools do not provide the software necessary to validate these appli-cations. Validation means ensuring whether a given application fulfils the user require-ments. We suggest validation of database applications by using the functional testing technique, which is a fundamental black-box testing technique for checking the software without being concerned about its implementation and structure. Our main contribu-tion to this work is in providing a MDA approach for deriving testing software from the OCL specification of the integrity constraints. This testing software is used to validate the database applications, which are used to enforce these constraints. The generated testing software includes three components: validation queries, test cases and initial data inserted before the testing process. Our approach is implemented as an add-in tool in Rational Rose called OCL2TestSW. ; This work has been partially supported by the project Thuban: Natural Interaction Platform for Virtual Attending in Real Environments (TIN2008-02711), and also by the Spanish research projects: MA2VICMR: Improving the access, analysis and visibility of the multilingual and multimedia information in web for the Region of Madrid (S2009/TIC-1542). ; Publicado
|
|
Keyword:
CASE tools; equivalence class testing; Functional testing software; Informática; MDA; software validation
|
|
URL: http://hdl.handle.net/10016/20252 https://doi.org/10.1142/S0218194011005426
|
|
BASE
|
|
Hide details
|
|
45 |
Verification Architectures: Compositional Reasoning for Real-time Systems
|
|
|
|
In: Integrated Formal Methods - IFM 2010 ; https://hal.inria.fr/inria-00525132 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.152-167 (2010)
|
|
BASE
|
|
Show details
|
|
46 |
Maritime Domain Awareness via Agent Learning and Collaboration
|
|
|
|
In: DTIC (2010)
|
|
BASE
|
|
Show details
|
|
47 |
Enhancing a Web Crawler with Arabic Search Capability
|
|
|
|
In: DTIC (2010)
|
|
BASE
|
|
Show details
|
|
48 |
Entity Profiling for Intelligence Using the Graphical Overview of Social and Semantic Interactions of People (GOSSIP) Software Tool
|
|
|
|
In: DTIC (2010)
|
|
BASE
|
|
Show details
|
|
49 |
Why Smalltalk wins the host languages shootout
|
|
|
|
In: http://scg.unibe.ch/archive/papers/Reng09bLanguageShootout.pdf (2009)
|
|
BASE
|
|
Show details
|
|
51 |
Blog Fingerprinting: Identifying Anonymous Posts Written by an Author of Interest Using Word and Character Frequency Analysis
|
|
|
|
In: DTIC (2009)
|
|
BASE
|
|
Show details
|
|
52 |
Using Adversary Text to Detect Adversary Phase Changes
|
|
|
|
In: DTIC (2009)
|
|
BASE
|
|
Show details
|
|
53 |
Design Of Domain-Specific Software Systems With Parametric Code Templates ...
|
|
|
|
BASE
|
|
Show details
|
|
54 |
Design Of Domain-Specific Software Systems With Parametric Code Templates ...
|
|
|
|
BASE
|
|
Show details
|
|
55 |
CEMAP II: An Architecture and Specifications to Facilitate the Importing of Real-World Data into the CASOS Software Suite
|
|
|
|
In: DTIC (2008)
|
|
BASE
|
|
Show details
|
|
56 |
A Sensemaking Visualization Tool with Military Doctrinal Elements
|
|
|
|
In: DTIC (2008)
|
|
BASE
|
|
Show details
|
|
59 |
DESIDERATA FOR LINGUISTIC SOFTWARE DESIGN
|
|
|
|
In: International Journal of English Studies; Vol. 8 No. 1 (2008): Monograph: Software-aided Analysis of Language; 67-94 ; International Journal of English Studies; Vol. 8 Núm. 1 (2008): Monograph: Software-aided Analysis of Language; 67-94 ; 1989-6131 ; 1578-7044 (2008)
|
|
BASE
|
|
Show details
|
|
60 |
Conceiving and Implementing a language-oriented approach for the design of automated learning scenarios
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00156874 ; Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2007. Français (2007)
|
|
BASE
|
|
Show details
|
|
|
|