Using the Power to Prove

Sep 20, 2013Download as pptx, pdf1 like2,801 views

This document discusses using the prove command-line tool to run tests and other scripts. Prove is a test runner that uses the Test Anything Protocol (TAP) to aggregate results. It can run tests and scripts written in any language by specifying the interpreter with --exec. Extensions other than .t can be run by setting --ext. Prove searches for tests in the t/ directory by default but can run any kind of scripts or tasks placed in t/, such as service monitoring scripts. The .proverc file can save common prove options for a project.

Using the
Power to Prove
DeNA Co., Ltd.
Kazuho Oku

Do you know prove?
Have you ever used it?
Sep 20 2013 Using the Power to Prove 2

Prove is…
command-line interface of Test::Harness
Test::Harness is the test runner
Sep 20 2013 Using the Power to Prove 3
$ make test
PERL_DL_NONLAZY=1 /usr/bin/perl "-MExtUtils::Command::MM" "-e"
"test_harness(0, 'inc', 'blib/lib', 'blib/arch')" t/00-base.t t/01-new.t t/02-use.t
t/03-use-error.t t/04-use-defaults.t
t/00-base.t .......... ok
t/01-new.t ........... ok
…
$ prove
t/00-base.t .......... ok
t/01-new.t ........... ok
…

Test Anything Protocol (TAP)
Test::Harness runs the scripts and
aggregates the results
test scripts return the data using TAP
Sep 20 2013 Using the Power to Prove 4
$ perl t/00-base.t
1..14
ok 1 - use Class::Accessor::Lite;
ok 2 - call mk_accessors
ok 3
ok 4
…

History of Test::Harness and TAP
TAP exists since Perl 1
Test::Harness is part of Perl core
and is part of Linux Standards Base
bindings exist for many programming
languages
 http://en.wikipedia.org/wiki/Test_Anything_Protocol
Sep 20 2013 Using the Power to Prove 5

Prove has many powerful options
Sep 20 2013 Using the Power to Prove 6
$ prove -j 8 --state hot,fast,save
- runs 8 tests in parallel
- run the tests that failed first
- run the fast tests first,
and then others that takes time
- update the test stats

Can we write tests in other programming
languages, and aggregate the results
using prove?
Sep 20 2013 Using the Power to Prove 7

Prove runs scripts written in any language
but how?
Sep 20 2013 Using the Power to Prove 8
$ cat bf.t
#! /usr/local/bin/yabi
-[----->+<]>--.---..+++.>++++++++++.-[------->+<]>.----.-[++>---<]>+.[--
>+++<]>+.>++++++++++.
$ yabi bf.t
1..1
ok 1
$ prove bf.t
bf.t .. ok
All tests successful.
Files=1, Tests=1, 0 wallclock secs ( 0.02 usr + 0.00 sys = 0.02 CPU)
Result: PASS

PerlProve runs scripts written in any language
Perl understands the shebang
Sep 20 2013 Using the Power to Prove 9
$ cat bf.t
#! /usr/local/bin/yabi
-[----->+<]>--.---..+++.>++++++++++.-[------->+<]>.----.-[++>---<]>+.[--
>+++<]>+.>++++++++++.
$ perl bf.t
1..1
ok 1

PerlProve runs scripts written in any language
but not binary executables…
Sep 20 2013 Using the Power to Prove 10
$ cat bin.c
#include <stdio.h>
int main(int argc, char** argv)
{
printf("1..1n");
printf("ok 1n");
return 0;
}
$ perl bin
Unrecognized character xCF; marked by <-- HERE after <-- HERE near
column 1 at bin line 1.

prove --exec '' solves the problem
why?
Sep 20 2013 Using the Power to Prove 11
$ prove –h
…
-e, --exec Interpreter to run the tests ('' for compiled tests.)
…
$ prove --exec '' bin
bin .. open3: exec of bin failed at
/System/Library/Perl/5.12/TAP/Parser/Iterator/Process.pm line 163.
bin .. Dubious, test returned 255 (wstat 65280, 0xff00)
No subtests run

prove --exec '' solves the problem
specify the paths, or add . to $PATH
but would test scripts stop running on Windows
Sep 20 2013 Using the Power to Prove 12
$ prove --exec '' t/bin
t/bin .. ok
All tests successful.
Files=1, Tests=1, 1 wallclock secs ( 0.02 usr + 0.01 sys = 0.03 CPU)
Result: PASS
$ PATH=".:$PATH" prove --exec '' bin
bin .. ok
All tests successful.
Files=1, Tests=1, 0 wallclock secs ( 0.02 usr + 0.01 sys = 0.03 CPU)
Result: PASS

Extensions can be other than .t
use: --ext ""
Sep 20 2013 Using the Power to Prove 13
$ prove --ext '' --exec '' .
./test.bf ... ok
./test.out .. ok
./test.sh ... ok
All tests successful.
Files=3, Tests=3, 0 wallclock secs ( 0.02 usr + 0.01 sys = 0.03 CPU)
Result: PASS

.proverc
Save the prove options for the project
Sep 20 2013 Using the Power to Prove 14
$ cat .proverc
--ext '' --exec ''
$ prove .
./test.bf ... ok
./test.out .. ok
./test.sh ... ok
All tests successful.
Files=3, Tests=3, 0 wallclock secs ( 0.02 usr + 0.01 sys = 0.03 CPU)
Result: PASS

Test scripts are searched by default from t/
Sep 20 2013 Using the Power to Prove 15
$ cat .proverc
--ext '' --exec ''
$ prove
t/test.bf ... ok
t/test.out .. ok
t/test.sh ... ok
All tests successful.
Files=3, Tests=3, 0 wallclock secs ( 0.02 usr + 0.01 sys = 0.03 CPU)
Result: PASS

Prove is powerful! Can we run programs
other than test scripts?
Sep 20 2013 Using the Power to Prove 16

Running things other than test scripts
cron tasks
service monitoring
Sep 20 2013 Using the Power to Prove 17
$ ls t
http.t memcached.t mysql.t ping.t
smtp.t
$ prove
t/http.t ....... ok
t/memcached.t .. ok
t/mysql.t ...... ok
t/ping.t ....... ok
t/smtp.t ....... ok
All tests successful.

Conclusion
Sep 20 2013 Using the Power to Prove 18

Conclusion
Prove is a proven task runner
can run any kind of tasks and generate a report
preinstalled on most systems
uses TAP - an established protocol
Sep 20 2013 Using the Power to Prove 19

- The document discusses various aspects of Unix programming using Perl, including handling errors, filehandles after forking processes, and signals. - It provides examples of how to properly check for errors, avoid resource collisions after forking, and make code cancellable using signals. - Key topics covered include using the Errno module to check for errors, closing filehandles after forks to prevent sharing issues, and trapping signals like SIGPIPE and SIGTERM.

Unix Programming with Perl 2Kazuho Oku

The document summarizes techniques for Unix programming with Perl, focusing on advanced topics like inter-process communication, signals, and avoiding race conditions. It discusses using IPC::Open3 to avoid deadlocks when communicating between processes via pipes. It also covers how to safely sleep while waiting for a signal using POSIX::pselect or a socketpair to avoid race conditions. Proper error handling for signals is mentioned but not shown.

Unix Shell Scripting BasicsDr.Ravi

Отладка в GDBAnthony Shoumikhin

The document describes debugging a C program with GDB that is causing a segmentation fault. The key steps are: 1. Running the program in GDB shows a segmentation fault occurring in the libc library function atoi(). 2. Backtracing reveals the fault occurs when trying to assign an integer to a pointer variable in main(). 3. Adding debugging symbols and setting a breakpoint allows inspecting that argv[1] is a null pointer. 4. Passing an argument fixes that fault but causes a new one in the print function when dereferencing the pointer. 5. Further debugging with breakpoints, examining variables and instructions reveals the pointer is being assigned an integer instead of a memory address.

Put on Your Asynchronous Hat and NodeMarc Fasel

The document discusses asynchronous programming in Node.js. It explains that Node.js uses an asynchronous and non-blocking model that requires using callbacks and event handlers. It compares synchronous and asynchronous code examples. It also discusses challenges with asynchronous code like the "pyramid of doom" and error handling. Finally, it introduces techniques for dealing with these challenges, like named callbacks, control flow libraries like Async.js, and promises.

Shell ScriptingGaurav Shinde

This document provides an introduction and overview of shell scripting in Linux. It discusses what a shell script is, when they should and should not be used, examples of common shell scripts, and an introduction to programming features commonly used in shell scripts such as variables, conditionals, loops, command line arguments, and more. Key points covered include that shell scripts allow automating command execution, are useful for repetitive tasks, and come with programming features to customize behavior.

Unix And Shell ScriptingJaibeer Malik

Perl one-linersdaoswald

- perl provides many command line switches to control how a Perl script is executed or the input/output behavior. Some key switches include -n, -p, -l, -e, -M, -I, -V, and -E. - Special variables like $. and eof can be used to access the current line number or detect the end of input files when iterating over lines. - Modules can be loaded at startup using -M to enhance functionality, and %INC shows where modules were loaded from. - Various quoting mechanisms like qq can be used to specify strings without interpolation.

Chap06Dr.Ravi

This document discusses shell programming in UNIX/Linux. It covers shell scripts, variables, operators, and logic structures used in shell programming. Shell scripts are text files that contain UNIX commands and do not need compilation. Common shells are Bourne, Bash, Korn and C shells. Variables, operators, and logic structures like if/else, for/while loops, and switch statements allow for programming logic and control flow in shell scripts.

Devinsampa nginx-scriptingTony Fabeen

The document discusses extending Nginx functionalities with Lua. It provides an overview of Nginx architecture and how the lua-nginx-module allows running Lua scripts inside Nginx. This provides a powerful and performant programming environment while leveraging Nginx's event-driven architecture. Examples show how to access Nginx variables and APIs from Lua, issue subrequests, and handle requests non-blockingly using cosockets. Libraries like lua-resty-memcached reuse these extensions to build applications in a scalable manner.

various tricks for remote linux exploits　 by Seok-Ha Lee (wh1ant)CODE BLUE

Modern operating systems include hardened security mechanisms to block exploit attempts. ASLR and NX (DEP) are two examples of the mechanisms that are widely implemented for the sake of security. However, there exists ways to bypass such protections by leveraging advanced exploitation techniques. It becomes harder to achieve code execution when the exploitation originates from a remote location, such as when the attack originates from a client, targeting server daemons. In such cases it is harder to find out the context information of target systems and, therefore, harder to achieve code execution. Knowledge on the memory layout of the targeted process is a crucial piece of the puzzle in developing an exploit, but it is harder to figure out when the exploit attempt is performed remotely. Recently, there have been techniques to leverage information disclosure (memory leak) vulnerabilities to figure out where specific library modules are loaded in the memory layout space, and such classes of vulnerabilities have been proven to be useful to bypass ASLR. However, there is also a different way of figuring out the memory layout of a process running in a remote environment. This method involves probing for valid addresses in target remote process. In a Linux environment, forked child processes will inherit already randomized memory layout from the parent process. Thus every client connection made to server daemons will share the same memory layout. The memory layout randomization is only done during the startup of the parent service process, and not randomized again when it is forking a child process to handle client connections. Due to the inheritance of child processes, it is possible to figure out a small piece of different information from every connection, and these pieces can be assembled later to get the idea of a big picture of the target process's remote memory layout. Probing to see if a given address is a valid memory address in context of the target remote process and assembling such information together, an attacker can figure out where the libc library is loaded on the memory, thus allowing exploits to succeed further in code execution. One might call it brute force, but with a smart brute forcing strategy, the number of minimal required attempts are significantly reduced to less than 10 in usual cases. In this talk, we will be talking about how it is possible to probe for memory layout space utilizing a piece of code to put the target in a blocked state, and to achieve stable code execution in remote exploit attempt scenarios using such information, as well as other tricks that are often used in remote exploit development in the Linux environment. http://codeblue.jp/en-speaker.html#SeokHaLee

Quick start bash scriptSimon Su

This document provides an introduction to shell scripting using Bash. It outlines different shell types and their features. It then covers basic Bash scripting concepts like environment variables, file redirection, command substitution and parameters. The document demonstrates basic Bash commands like alias, if/then, loops, functions and find/awk/sed/xargs. It concludes with an overview of vi text editor commands for navigation, editing, splitting windows and setting options.

Penetration testing using pythonPurna Chander K

Clojure: Practical functional approach on JVMsunng87

Shell scriptingGeeks Anonymes

Shell ScriptAdam Victor Brandizzi

This document provides an introduction to shell scripting. It discusses how shell scripts can help automate tasks and make computers work for developers. Some key points covered include: - Shell scripts are useful for quick, one-off tasks and automating repetitive steps. They allow getting work done faster. - Common shell scripting tools like echo, cat, grep, sed, and awk are introduced along with examples of their usage. - Concepts like piping output between commands, command substitution, quoting, escaping and variables are explained. - The Unix philosophy of small, modular programs that work together is discussed in the context of shell script design.

Shell scriptingManav Prasad

This document provides an introduction to shell scripting using the bash shell. It covers key concepts such as shell variables, command substitution, quoting, aliases, and initializing files. The shell acts as both a command-line interface and programming language. It executes commands, supports scripting through variables and control structures, and reads initialization files on startup to customize the environment. Well-formed shell scripts allow combining and sequencing commands to perform automated tasks.

Yapcasia2011 - Hello Embed PerlHideaki Ohno

Embed perl allows a C program to use Perl code and features by adding a Perl interpreter to the C program. It allows calling Perl subroutines from C, evaluating Perl statements, and performing Perl regular expressions. Using embed perl provides access to CPAN modules and Perl's powerful regex engine without needing PCRE. The basic steps are to initialize an interpreter, parse Perl code, run the code, and destruct the interpreter. Output can be captured by overriding Perl's filehandle layers to write to C variables instead of files. Embed perl is not difficult and provides a way to leverage Perl in C and C++ programs.

Redis & ZeroMQ: How to scale your applicationrjsmelo

Unix 5 enSimonas Kareiva

This document contains a lecture on working with arrays, scripts, and SSH/SCP in UNIX systems. It discusses special variables used in scripts, how to define and manipulate arrays, examples of useful scripts for renaming files, backing up data, and extracting video files from DVDs, and how to use SSH to securely connect to remote systems and SCP to securely transfer files between systems. It also covers generating and using public/private key pairs for passwordless SSH login.

Groovy on the Shellsascha_klein

Quize on scripting shelllebse123

This document contains questions and answers related to Linux/Unix shells. Some key points: - It asks about common shell commands like date, who, pwd, rm, grep, ps, kill, mail, etc. and how to use them. - It covers shell scripting concepts like variables ($VAR), conditionals (if/else), loops (for, while), I/O redirection, functions, and more. - Questions address shells basics like finding the shell, users, processes, directories and files as well as more advanced topics like process IDs, background processes, command line arguments, and Boolean/conditional operators.

Augeaslutter

Programming Under Linux In PythonMarwan Osman

PHP Internals and Virtual Machinejulien pauli

This document provides an overview of PHP's virtual machine. It discusses how PHP works internally, including: - PHP is interpreted by a software virtual machine written in C called the Zend Engine. - The Zend Engine compiles PHP code to opcodes, performs optimizations, and then executes the opcodes by interpreting them one by one. - Key parts of the compilation process include lexical analysis, semantic analysis/parsing, and opcode generation. Optimizations are then performed by the opcache extension. - Execution involves interpreting each opcode through handler functions. Common opcodes like ZEND_ECHO and ZEND_CONCAT are discussed as examples. - The opcode cache stores pre-compiled code

32 shell-programmingkayalkarnan

The document provides 22 shell programming examples covering tasks like checking if a number is even or odd, finding leap years, calculating area and circumference of a circle, checking if a number is a palindrome, finding sum of odd and even numbers in a set, calculating roots of a quadratic equation, checking if a number is Armstrong or prime, generating prime numbers between 1-50, finding sum of squares or cubes of digits of a number, executing UNIX commands using case statements, counting vowels in text, displaying student grades, finding smallest or second highest number, finding single digit sum of a number, and finding sum of odd and even digits from a number.

How to stand on the shoulders of giantsIan Barber

Unix shell scriptsPrakash Lambha

Unix Shell Scripts supports conditional statements like if-else and case statements to perform different actions based on conditions. The document discusses the syntax and examples of if-else statements with if-fi, if-else-fi, and if-elif-else-fi blocks. It also covers the case-esac statement for multi-way branching based on a variable. Finally, it explains while, for, and until loops for repetitive execution of statements until a condition is met.

3rd Workshop onSocial Information Retrieval for Technology-Enhanced Learnin...Hendrik Drachsler

Microsite – Macro IdeaMaria Podolyak

More Related Content

What's hot (20)

Chap06Dr.Ravi

Devinsampa nginx-scriptingTony Fabeen

various tricks for remote linux exploits　 by Seok-Ha Lee (wh1ant)CODE BLUE

Quick start bash scriptSimon Su

Penetration testing using pythonPurna Chander K

Clojure: Practical functional approach on JVMsunng87

Shell scriptingGeeks Anonymes

Shell ScriptAdam Victor Brandizzi

Shell scriptingManav Prasad

Yapcasia2011 - Hello Embed PerlHideaki Ohno

Redis & ZeroMQ: How to scale your applicationrjsmelo

Unix 5 enSimonas Kareiva

Groovy on the Shellsascha_klein

Quize on scripting shelllebse123

Augeaslutter

Programming Under Linux In PythonMarwan Osman

PHP Internals and Virtual Machinejulien pauli

32 shell-programmingkayalkarnan

How to stand on the shoulders of giantsIan Barber

Unix shell scriptsPrakash Lambha

Chap06Dr.Ravi

Devinsampa nginx-scriptingTony Fabeen

various tricks for remote linux exploits　 by Seok-Ha Lee (wh1ant)CODE BLUE

Quick start bash scriptSimon Su

Penetration testing using pythonPurna Chander K

Clojure: Practical functional approach on JVMsunng87

Shell scriptingGeeks Anonymes

Shell ScriptAdam Victor Brandizzi

Shell scriptingManav Prasad

Yapcasia2011 - Hello Embed PerlHideaki Ohno

Redis & ZeroMQ: How to scale your applicationrjsmelo

Unix 5 enSimonas Kareiva

Groovy on the Shellsascha_klein

Quize on scripting shelllebse123

Augeaslutter

Programming Under Linux In PythonMarwan Osman

PHP Internals and Virtual Machinejulien pauli

32 shell-programmingkayalkarnan

How to stand on the shoulders of giantsIan Barber

Unix shell scriptsPrakash Lambha

Viewers also liked (20)

3rd Workshop onSocial Information Retrieval for Technology-Enhanced Learnin...Hendrik Drachsler

Microsite – Macro IdeaMaria Podolyak

Daily Lecture And Discussionsbsutton

The document summarizes topics covered over 5 days in an education technology course, including universal design principles, technologies for students with learning disabilities and developmental delays, legislation related to assistive technology, and software and technologies to support written language development. Key areas discussed include the 7 principles of universal design, categories of learning disabilities and how technology can help students with LDs, and interventions for written language disorders including software programs and assistive technologies.

Que no sera ni dia ni nochePaulo Arieu

The document summarizes a biblical prophecy about the end times. It describes Jerusalem being attacked by nations and God fighting against them. Significant events will occur, including the splitting of the Mount of Olives. God will become king over the entire earth. All who fought against Jerusalem will be plagued. In the future, all people will come to Jerusalem yearly to worship God. Holiness will be inscribed on bells and all pots in Jerusalem will be holy.

'Fotografia privata' su Web: microstorie del Novecentostefanogambari

Тренинг продаж: проход секретаря при холодном звонкеMikhail Grafsky

Our school in winterGavranica

Marketing strategies to increase the ROI on mobileAmit Ambastha

The document discusses strategies for maximizing revenue from mobile apps. It covers the rise of smartphones and growth of the mobile app market. Key points include understanding your target audience, promoting apps through distribution in app stores and other channels like advertising and social media. Revenue models discussed include ads, in-app purchases, subscriptions and app store sales. The document concludes by emphasizing the need for an integrated approach of continuous app improvements alongside marketing.

Improve your Web Development using Visual Studio 2010Suthep Sangvirotjanaphat

Writing presentationJennifer Orr

Collecting and utilizing assessment informationJennifer Orr

D2.2.1 Evaluation FrameworkHendrik Drachsler

The main purpose of the current deliverable D2.2.1 is to hold the current version of the Evaluation Framework and to operationalise it for the LinkedUp challenge judges into a concrete evaluation instrument. This deliverable is not intended as a very elaborated report rather than a summary of the current version of the Evaluation Framework based on the extensive studies in deliverable D2.1 – Evaluation Methods and Metrics. D2.2.1will be reconsidered in the final report of WP2 to demonstrate the development of the Evaluation Framework during the life cycle of the LinkedUp project. For this purpose it is supportive to have the first version of the Evaluation Framework as a tangible outcome and an own entity as conducted in this deliverable. http://portal.ou.nl/documents/363049/27b00ab7-2c2e-4fda-90a1-6db41e6493ac http://creativecommons.org/licenses/by-nc-sa/3.0/ Drachsler, H., Greller, W., Stoyanov, S. (2013). D2.2.1 Evaluation Frameowork. LinkedUp project. Heerlen, The Netherlands.

Lyddie: Unit3 lesson5Terri Weiss

The document provides instructions for students on their research work for the day. It asks them to review questions from the previous day and identify effective ones. The learning objectives are to read sources and identify information to answer a research question, and generate supporting questions. Students are directed to review their Researcher's Roadmap Chart and select a new source, then assess their skills by reading and underlining a short article to answer questions. Homework includes continuing independent reading and starting a project.

Devops down-underRobert Postill

The document summarizes the speaker's experience with developing and improving the architecture for a Ruby on Rails application hosted on a customer's VMware infrastructure. It describes initial flaws with logging and database issues. It then discusses efforts to improve the architecture using tools like Chef but facing challenges, and moving to a model of customizing VMs using Capistrano scripts. Key lessons learned include the importance of monitoring performance, being aware of virtualization impacts, and hiring strong technical staff.

Kieeds.comIman Cinderamata

Kieeds pada dasarnya adalah sebuah layanan yang dapat digunakan bersama-sama oleh berbagai institusi secara sekaligus & mutual dan saling terhubung. Dengan ini, Kieeds dapat meningkatkan jangkauan komunikasinya tidak hanya di organisai bersangkutan juga ke pihak lain dari organisasi lain yang juga menggunakan Kieeds. Ini berguna misalnya untuk orangtua yang memiliki anak yang bersekolah di beberapa sekolah sekaligus untuk memantau perkembangan anak-anak mereka melalui satu layanan saja. Sementara sekolah dapat mendistribusikan informasi secara masal ke orangtua baik di lingkungan dalam atau luar sekolah. Tidak hanya sekolah, Kieeds juga dapat diaplikasikan pada institusi tumbuh kembang anak lainnya seperti rumah sakit, klub olahraga, aktifitas lepas sekolah, dan lainnya.

Little Ones Learning Math Using TechnologyJennifer Orr

This document describes a professional development opportunity through George Mason University for teachers to learn how to use technology tools like computers, SmartBoards, and digital cameras to teach math to young students. The training was sponsored by the Virginia Department of Education and took place at Annandale Terrace Elementary School, with teachers Jennifer Orr and Valerie Skinner from Fairfax County Public Schools participating. The teachers learned how integrate tools like desktop computers, netbooks, SmartBoards, document cameras, and digital/video cameras into their early math instruction.

Examenopleiding energieconsulent mflwweijmans

A ToolBox for Handover practices in Europe Hendrik Drachsler

Origen, filosofíaLeandro Villalobos

La filosofía surge de la conciencia humana de sus propias limitaciones frente a la naturaleza y del deseo de comprender la realidad mediante un análisis crítico y racional. Los filósofos buscan respuestas a preguntas fundamentales sobre el ser humano, su existencia, la naturaleza y el universo. La actitud filosófica implica ver las cosas con perspectiva, desvelar lo oculto y plantear preguntas sobre quién es el ser humano, de dónde viene y a qué aspira.

Integracija poslovnega sistemaDanilo Tic

3rd Workshop onSocial Information Retrieval for Technology-Enhanced Learnin...Hendrik Drachsler

Microsite – Macro IdeaMaria Podolyak

Daily Lecture And Discussionsbsutton

Que no sera ni dia ni nochePaulo Arieu

'Fotografia privata' su Web: microstorie del Novecentostefanogambari

Тренинг продаж: проход секретаря при холодном звонкеMikhail Grafsky

Our school in winterGavranica

Marketing strategies to increase the ROI on mobileAmit Ambastha

Improve your Web Development using Visual Studio 2010Suthep Sangvirotjanaphat

Writing presentationJennifer Orr

Collecting and utilizing assessment informationJennifer Orr

D2.2.1 Evaluation FrameworkHendrik Drachsler

Lyddie: Unit3 lesson5Terri Weiss

Devops down-underRobert Postill

Kieeds.comIman Cinderamata

Little Ones Learning Math Using TechnologyJennifer Orr

Examenopleiding energieconsulent mflwweijmans

A ToolBox for Handover practices in Europe Hendrik Drachsler

Origen, filosofíaLeandro Villalobos

Integracija poslovnega sistemaDanilo Tic

Similar to Using the Power to Prove (17)

Running and Developing Tests with the Apache::Test Frameworkwebhostingguy

The Apache::Test framework allows running and developing tests for Apache modules and products. Key features include: - Running existing tests through the t/TEST program - Setting up a new testing environment by installing Apache::Test and generating a Makefile - Developing new tests by writing Perl scripts that use Apache::Test functions and assert results - Options for running tests individually, repeatedly without restarts, or in parallel on different ports

Software TestingLambert Lum

Getting testy with PerlWorkhorse Computing

Continuous testing and deployment in Perl (London.pm Technical Meeting Octobe...Alex Balhatchet

The state of PHPUnitEdorian

PHPUnit provides concise summaries of test results in 3 sentences or less. The summary of the given document is: The document discusses the current state of PHPUnit, including recent versions 3.6.12 and 3.7.5. It outlines improvements made in PHPUnit 3.7 such as improved exception reporting, process isolation fixes, and new features like JSON assertion methods. The document also discusses the PHPUnit ecosystem and recommends tools like Behat, Mockery, and Travis CI for behavior driven development, mocking, and continuous integration.

Power Shell For TestersMca140 software solutions

This document provides an overview of PowerShell and discusses its usefulness for testing. It includes the following sections: Introduction, Features, Real World Examples, For Testers, and Message for Testers. The introduction explains that PowerShell is both a command shell and scripting environment from Microsoft that provides benefits for systems administrators over GUI tools. The features section outlines some of PowerShell's additional capabilities compared to command prompts, including variables, conditional logic, loops, functions, and interacting with objects. Real world examples provide a website for using PowerShell for testing and a CodePlex project for automating tests using PowerShell. The section for testers highlights resources like a blog and project for using Power

Why Perl, when you can use bash+awk+sed? :PLuciano Rocha

The document discusses advantages of using standard Unix tools like bash, awk and sed instead of Perl for certain tasks. It argues that these tools have smaller overhead, are available everywhere, have simpler documentation and can incrementally solve problems faster than Perl in some cases. Knowing your standard tools well can increase productivity by allowing problems to be solved through small automated steps.

Advanced Perl TechniquesDave Cross

The document describes an advanced Perl techniques training course that covers new features in Perl 5.10, dates and times using the DateTime module, testing and benchmarking code, and accessing databases. The one-day course will move quickly and cover dates/times, testing, databases, profiling, object-oriented programming with Moose, templates, and MVC frameworks. Resources from the training will be available online.

How to write PHPT testsScott MacVicar

The document provides information about PHP testing including goals of increasing test coverage, preparing for a PHP test fest by getting necessary tools and snapshots, how to build and run tests on Windows and Linux, what makes up a PHP test file ("phpt"), and how to write and run simple tests for PHP's Standard PHP Library (SPL). It encourages writing tests for SPL data structures and iterators and provides URLs for more documentation.

Testing Code and Assuring QualityKent Cowgill

New and improved: Coming changes to the unittest modulePyCon Italia

The document discusses upcoming changes to the unittest testing framework in Python 2.7 and 3.2, including new assertion methods, type-specific equality functions, improved set and string comparison, and changes to command line behavior. Key changes are new assert methods, a delta parameter for assertAlmostEqual, deprecated aliases being removed, type-specific comparison functions, improved set and string handling, using assertRaises as a context manager, more command line options, and test discovery.

The State of PHPUnitEdorian

The document discusses the current state of PHPUnit and upcoming changes. Some key points: - PHPUnit version 3.6.12 is the current version with over 60 contributors since 3.6.0. Version 3.7 will introduce 15+ new features and fix 10+ issues. - Efforts are being made to avoid backwards compatibility breaks between versions. A few minor BC breaks are possible. - The PHPUnit ecosystem includes tools like Behat for BDD, Mockery for mocking, and wsUnit for testing web services. - PHPUnit improvements include better exception reporting, JSON assertion methods, process isolation fixes, and more descriptive failure messages. - Upcoming features include less magic

Getting Testy With Perl6Workhorse Computing

Test tutorialmsksaba

Test::Tutorial provides documentation on testing code in Perl. It discusses the importance of testing, different types of testing like automated testing, and reasons to write tests. Key points include: testing checks code functionality, catches bugs, and promotes code that is easier to change and maintain over time. Automated tests run quickly and help developers feel confident making changes without breaking existing features.

Unit Testing using PHPUnitvaruntaliyan

PHPUnit is an automated unit testing framework for PHP. It allows developers to write tests for their code in PHP and run those tests to determine if the code is working as expected. Some key aspects of PHPUnit include writing tests in classes that extend the PHPUnit test case class, using assertions to validate expected outcomes, and the ability to test databases and output using PHPUnit extensions. PHPUnit is widely used for test-driven development in PHP projects.

Hiveminder - Everything but the Secret SauceJesse Vincent

Keeping objects healthy with Object::Exercise.Workhorse Computing

This document discusses an approach to data-driven testing of objects using Object::Exercise. Key points include: - Object::Exercise standardizes repetitive test code into a reusable framework. - Tests are defined declaratively as data, replacing hardwired test code. This avoids issues like testing the tests. - Tests can validate return values, check for exceptions, and perform more complex checks using regular expressions and code references. - The approach also allows overriding parts of an object under test by replacing methods that initialize test data. This enables flexible testing of different configurations.

Running and Developing Tests with the Apache::Test Frameworkwebhostingguy

Software TestingLambert Lum

Getting testy with PerlWorkhorse Computing

Continuous testing and deployment in Perl (London.pm Technical Meeting Octobe...Alex Balhatchet

The state of PHPUnitEdorian

Power Shell For TestersMca140 software solutions

Why Perl, when you can use bash+awk+sed? :PLuciano Rocha

Advanced Perl TechniquesDave Cross

How to write PHPT testsScott MacVicar

Testing Code and Assuring QualityKent Cowgill

New and improved: Coming changes to the unittest modulePyCon Italia

The State of PHPUnitEdorian

Getting Testy With Perl6Workhorse Computing

Test tutorialmsksaba

Unit Testing using PHPUnitvaruntaliyan

Hiveminder - Everything but the Secret SauceJesse Vincent

Keeping objects healthy with Object::Exercise.Workhorse Computing

More from Kazuho Oku (20)

HTTP/2で速くなるときならないときKazuho Oku

The document discusses the performance of HTTP/2 compared to HTTP/1.1 across different network conditions. It summarizes results from testing 8 real websites under 16 bandwidth and latency combinations with varying packet loss rates. Overall, HTTP/2 performs better for document complete time and speed index, especially on slower connections, though results vary depending on the specific site and metrics measured.

QUIC標準化動向〜2017/7Kazuho Oku

HTTP/2の課題と将来Kazuho Oku

TLS 1.3 と 0-RTT のこわ〜い話Kazuho Oku

Reorganizing Website Architecture for HTTP/2 and BeyondKazuho Oku

This document discusses reorganizing website architecture for HTTP/2 and beyond. It summarizes some issues with HTTP/2 including errors in prioritization where some browsers fail to specify resource priority properly. It also discusses the problem of TCP head-of-line blocking where pending data in TCP buffers can delay higher priority resources. The document proposes solutions to these issues such as prioritizing resources on the server-side and writing only what can be sent immediately to avoid buffer blocking. It also examines the mixed success of HTTP/2 push and argues the server should not push already cached resources.

Recent Advances in HTTP, controlling them using rubyKazuho Oku

Programming TCP for responsivenessKazuho Oku

This document discusses programming TCP for responsiveness when sending HTTP/2 responses. It describes how to reduce head-of-line blocking by filling the TCP congestion window before sending data. The key points are reading TCP states via getsockopt to determine how much data can be sent immediately, and optimizing this only for high latency connections or small congestion windows to avoid additional response delays. Benchmarks show this approach can reduce response times from multiple round-trip times to a single RTT.

Programming TCP for responsivenessKazuho Oku

The document discusses optimizations to TCP and HTTP/2 to improve responsiveness on the web. It describes how TCP slow start works and the delays introduced in standard HTTP/2 usage from TCP/TLS handshakes. The author proposes adjusting the TCP send buffer polling threshold to allow switching between responses more quickly based on TCP congestion window state. Benchmark results show this can reduce response times by eliminating an extra round-trip delay.

Developing the fastest HTTP/2 serverKazuho Oku

TLS & LURK @ IETF 95Kazuho Oku

HTTPとサーバ技術の最新動向Kazuho Oku

ウェブを速くするためにDeNAがやっていること - HTTP/2と、さらにその先Kazuho Oku

Cache aware-server-push in H2O version 1.5Kazuho Oku

This document discusses cache-aware server push in H2O version 1.5. It describes calculating a fingerprint of cached assets using a Golomb compressed set to identify what assets need to be pushed from the server. It also discusses implementing this fingerprint using a cookie or service worker. The hybrid approach stores responses in the service worker cache and updates the cookie fingerprint. H2O 1.5 implements cookie-based fingerprints to cancel push indications for cached assets, potentially improving page load speeds.

HTTP/2時代のウェブサイト設計Kazuho Oku

H2O - making the Web fasterKazuho Oku

H2O - making HTTP betterKazuho Oku

H2O - the optimized HTTP serverKazuho Oku

JSON SQL Injection and the Lessons LearnedKazuho Oku

This document discusses JSON SQL injection and lessons learned from vulnerabilities in SQL query builders. It describes how user-supplied JSON input containing operators instead of scalar values could manipulate queries by injecting conditions like id!='-1' instead of a specific id value. This allows accessing unintended data. The document examines how SQL::QueryMaker and a strict mode in SQL::Maker address this by restricting query parameters to special operator objects or raising errors on non-scalar values. While helpful, strict mode may break existing code, requiring changes to parameter handling. The vulnerability also applies to other languages' frameworks that similarly convert arrays to SQL IN clauses.

JSX 速さの秘密 - 高速なJavaScriptを書く方法Kazuho Oku

JSX の現在と未来 - Oct 26 2013Kazuho Oku

HTTP/2で速くなるときならないときKazuho Oku

QUIC標準化動向〜2017/7Kazuho Oku

HTTP/2の課題と将来Kazuho Oku

TLS 1.3 と 0-RTT のこわ〜い話Kazuho Oku

Reorganizing Website Architecture for HTTP/2 and BeyondKazuho Oku

Recent Advances in HTTP, controlling them using rubyKazuho Oku

Programming TCP for responsivenessKazuho Oku

Developing the fastest HTTP/2 serverKazuho Oku

TLS & LURK @ IETF 95Kazuho Oku

HTTPとサーバ技術の最新動向Kazuho Oku

ウェブを速くするためにDeNAがやっていること - HTTP/2と、さらにその先Kazuho Oku

Cache aware-server-push in H2O version 1.5Kazuho Oku

HTTP/2時代のウェブサイト設計Kazuho Oku

H2O - making the Web fasterKazuho Oku

H2O - making HTTP betterKazuho Oku

H2O - the optimized HTTP serverKazuho Oku

JSON SQL Injection and the Lessons LearnedKazuho Oku

JSX 速さの秘密 - 高速なJavaScriptを書く方法Kazuho Oku

JSX の現在と未来 - Oct 26 2013Kazuho Oku

Recently uploaded (20)

Managing Geospatial Open Data Serverlessly [AWS Community Day CH 2025]Chris Bingham

"AI in the browser: predicting user actions in real time with TensorflowJS", ...Fwdays

With AI becoming increasingly present in our everyday lives, the latest advancements in the field now make it easier than ever to integrate it into our software projects. In this session, we’ll explore how machine learning models can be embedded directly into front-end applications. We'll walk through practical examples, including running basic models such as linear regression and random forest classifiers, all within the browser environment. Once we grasp the fundamentals of running ML models on the client side, we’ll dive into real-world use cases for web applications—ranging from real-time data classification and interpolation to object tracking in the browser. We'll also introduce a novel approach: dynamically optimizing web applications by predicting user behavior in real time using a machine learning model. This opens the door to smarter, more adaptive user experiences and can significantly improve both performance and engagement. In addition to the technical insights, we’ll also touch on best practices, potential challenges, and the tools that make browser-based machine learning development more accessible. Whether you're a developer looking to experiment with ML or someone aiming to bring more intelligence into your web apps, this session will offer practical takeaways and inspiration for your next project.

AI in Java - MCP in Action, Langchain4J-CDI, SmallRye-LLM, Spring AIBuhake Sindi

Automating Call Centers with AI Agents_ Achieving Sub-700ms Latency.docxIhor Hamal

Automating customer support with AI-driven agents fundamentally involves integrating Speech-to-Text (STT), Large Language Models (LLM), and Text-to-Speech (TTS). However, simply plugging these models together using their standard APIs typically results in high latency, often 2-3 seconds, which is inadequate for smooth, human-like interactions. After three years of deep-diving into automation in SapientPro, I've identified several crucial strategies that reduce latency to below 700 milliseconds, delivering near-human conversational speed.

Agentic AI, A Business Overview - May 2025Peter Morgan

CloudStack + KVM: Your Local Cloud LabShapeBlue

Setting up a local cloud environment for development and testing can be complex, but with Apache CloudStack and KVM, it becomes a powerful and flexible solution. This talk guided attendees through the process of creating a fully functional CloudStack-powered private cloud on a local machine or server, using KVM as the hypervisor and Ansible for automation. -- The CloudStack European User Group 2025 took place on May 8th in Vienna, Austria. The event once again brought together open-source cloud professionals, contributors, developers, and users for a day of deep technical insights, knowledge sharing, and community connection.

How to Integrate FME with Databricks (and Why You’ll Want To)Safe Software

Databricks is a powerful platform for processing and analyzing large volumes of data at scale. But when it comes to connecting systems, transforming messy data, incorporating spatial data, or delivering results across teams – FME can take your Databricks implementation even further. In this webinar, join our special guest speaker Martin Koch from Avineon-Tensing as we explore how FME and Databricks can work together to streamline your end-to-end data journey. In this webinar, you’ll see live demos on how to: -Moving data in and out of Databricks using FME WebApps -Integrating Databricks with ArcGIS for spatial analysis -Creating a data virtualization layer on top of Databricks You’ll also learn how FME enhances interoperability, automates routine tasks, and helps deliver trusted, ready-to-use data into and out of your Databricks environment. If you’re using Databricks, or considering it, this webinar will show you how pairing it with FME can maximize both platforms’ strengths and deliver even more value from your data strategy.

Build your own NES Emulator... with KotlinArtur Skowroński

For those who have ever wanted to recreate classic games, this presentation covers my five-year journey to build a NES emulator in Kotlin. Starting from scratch in 2020 (you can probably guess why), I’ll share the challenges posed by the architecture of old hardware, performance optimization (surprise, surprise), and the difficulties of emulating sound. I’ll also highlight which Kotlin features shine (and why concurrency isn’t one of them). This high-level overview will walk through each step of the process—from reading ROM formats to where GPT can help, though it won’t write the code for us just yet. We’ll wrap up by launching Mario on the emulator (hopefully without a call from Nintendo).

A simple Introduction to Algorithmic FairnessPaolo Missier

Wondershare Filmora 14.3.2 Crack + License Key Free for Windows PCMudasir

AI Unboxed - How to Approach AI for Maximum ReturnMerelda

Keynote for a client. In this session, Merelda addressed common misconceptions about AI technologies, particularly the confusion between Predictive AI and Generative AI, and provided clarity on when to use each. Predictive AI analyzes historical data to forecast future outcomes, while Generative AI creates new content, from text to images, rapidly. Understanding the differences between these technologies is crucial for making informed, strategic decisions. She introduced the three archetypes of AI adoption: Takers, Shapers, and Makers, inviting the audience to identify which role their organisation plays. Based on these archetypes, she presented industry-specific examples relevant to Schauenburg’s portfolio, showcasing how Predictive AI can drive operational efficiency (e.g., predicting equipment maintenance), while Generative AI enhances customer interactions (e.g., generating technical documents). The session received a 10/10 rating from attendees for its practical insights and immediate applicability.

Stretching CloudStack over multiple datacentersShapeBlue

In Apache CloudStack, zones are typically perceived as single datacenters. But what if you need to extend your CloudStack deployment across multiple datacenters? How can you seamlessly distribute and migrate virtual machines across them? In this session, Wido den Hollander explored strategies, best practices, and real-world considerations for achieving a multi-datacenter CloudStack setup. -- The CloudStack European User Group 2025 took place on May 8th in Vienna, Austria. The event once again brought together open-source cloud professionals, contributors, developers, and users for a day of deep technical insights, knowledge sharing, and community connection.

Outdated Tech, Invisible Expenses – How Data Silos Undermine Operational Effi...Precisely

SQL Database Design For Developers at PhpTek 2025.pptxScott Keck-Warren

Multi-Agent AI Systems: Architectures & Communication (MCP and A2A)HusseinMalikMammadli

MCP Dev Summit - Pragmatic Scaling of Enterprise GenAI with MCPSambhav Kothari

TrustArc Webinar: Cross-Border Data Transfers in 2025TrustArc

In 2025, cross-border data transfers are becoming harder to manage—not because there are no rules, the regulatory environment has become increasingly complex. Legal obligations vary by jurisdiction, and risk factors include national security, AI, and vendor exposure. Some of the examples of the recent developments that are reshaping how organizations must approach transfer governance: - The U.S. DOJ’s new rule restricts the outbound transfer of sensitive personal data to foreign adversaries countries of concern, introducing national security-based exposure that privacy teams must now assess. - The EDPB confirmed that GDPR applies to AI model training — meaning any model trained on EU personal data, regardless of location, must meet lawful processing and cross-border transfer standards. - Recent enforcement — such as a €290 million GDPR fine against Uber for unlawful transfers and a €30.5 million fine against Clearview AI for scraping biometric data signals growing regulatory intolerance for cross-border data misuse, especially when transparency and lawful basis are lacking. - Gartner forecasts that by 2027, over 40% of AI-related privacy violations will result from unintended cross-border data exposure via GenAI tools. Together, these developments reflect a new era of privacy risk: not just legal exposure—but operational fragility. Privacy programs must/can now defend transfers at the system, vendor, and use-case level—with documentation, certification, and proactive governance. The session blends policy/regulatory events and risk framing with practical enablement, using these developments to explain how TrustArc’s Data Mapping & Risk Manager, Assessment Manager and Assurance Services help organizations build defensible, scalable cross-border data transfer programs. This webinar is eligible for 1 CPE credit.

Breaking it Down: Microservices Architecture for PHP Developerspmeth1

Transitioning from monolithic PHP applications to a microservices architecture can be a game-changer, unlocking greater scalability, flexibility, and resilience. This session will explore not only the technical steps but also the transformative impact on team dynamics. By decentralizing services, teams can work more autonomously, fostering faster development cycles and greater ownership. Drawing on over 20 years of PHP experience, I’ll cover essential elements of microservices—from decomposition and data management to deployment strategies. We’ll examine real-world examples, common pitfalls, and effective solutions to equip PHP developers with the tools and strategies needed to confidently transition to microservices. Key Takeaways: 1. Understanding the core technical and team dynamics benefits of microservices architecture in PHP. 2. Techniques for decomposing a monolithic application into manageable services, leading to more focused team ownership and accountability. 3. Best practices for inter-service communication, data consistency, and monitoring to enable smoother team collaboration. 4. Insights on avoiding common microservices pitfalls, such as over-engineering and excessive interdependencies, to keep teams aligned and efficient.

Four Principles for Physically Interpretable World ModelsIvan Ruchkin

Presented by: - Jordan Peper and Ivan Ruchkin at ICRA 2025 https://2025.ieee-icra.org/ - Yuang Geng and Ivan Ruchkin at NeuS 2025 https://neus-2025.github.io/ Paper: https://openreview.net/forum?id=bPAIelioYq Abstract: As autonomous robots are increasingly deployed in open and uncertain settings, there is a growing need for trustworthy world models that can reliably predict future high-dimensional observations. The learned latent representations in world models lack direct mapping to meaningful physical quantities and dynamics, limiting their utility and interpretability in downstream planning, control, and safety verification. In this paper, we argue for a fundamental shift from physically informed to physically interpretable world models — and crystallize four principles that leverage symbolic knowledge to achieve these ends: 1. Structuring latent spaces according to the physical intent of variables 2. Learning aligned invariant and equivariant representations of the physical world 3. Adapting training to the varied granularity of supervision signals 4. Partitioning generative outputs to support scalability and verifiability. We experimentally demonstrate the value of each principle on two benchmarks. This paper opens intriguing directions to achieve and capitalize on full physical interpretability in world models.

Introducing High Availability: Business Continuity for Every NAS UserQNAP Marketing